* {
    margin: 0;
    padding: 0;
}

/*--------------------------------------------------------------------
 * Sticky footer
 * http://www.lwis.net/journal/2008/02/08/pure-css-sticky-footer/
 */

html, body, .site { height: 100%; }
body > .site { height: auto; min-height: 100%; }
.footer {
    clear: both;
    position: relative;
    z-index: 10;
    height: 3em;
    margin-top: -3em;
}
.site_content { padding-bottom: 3em; }

/*--------------------------------------------------------------------
 * Basic formatting
 */

div.preload { display: none; }

body {
    background-color: #fff;
    background-image: url('/images/imperial-logo-gradient.png');
    background-repeat: no-repeat;
    font: 0.8125em Verdana, sans-serif;
    line-height: 1;
    text-align: center;
}

/*
 * No longer want this, since the site logo should be flush top.  We
 * make sure to put the right padding between the site_header div and
 * the first body div.
 */

/* .site_content { padding-top: 20px; } */

.content {
    background-color: #fff;
    background-image: url('/images/gradient-border.png');
    background-repeat: no-repeat;
    margin-left: 200px;
    margin-right: 16px;
}

.body_separator { padding-top: 20px; }

.body {
    font-size: 0.88em;
    line-height: 1.7em;
    padding-left: 20px;
    padding-right: 20px;
    padding-bottom: 20px;
    text-align: left;
    width: 580px;
}

.body a {
    text-decoration: none;
}

.body a:link, .body a:visited {
    color: #1A60B2;
    border-bottom: 1px solid #1A60B2;
}

.body a:hover {
    color: #232445;
    background-color: #DEE9FF;
}

.body h1 {
    font-size: 1.75em;
    padding-top: 20px;
}

.body h2 {
    font-size: 1.5em;
    padding-top: 20px;
    margin-left: 16px;
}

.body h3 {
    font-size: 1.3em;
    padding-top: 20px;
    margin-left: 24px;
}

.body p {
    padding-top: 12px;
    margin-left: 32px;
}

.body blockquote {
    margin-left: 32px;
}

.body .warning {
    margin-left: 64px;
    margin-right: 48px;
    margin-top: 12px;
    padding-left: 10px;
    padding-right: 10px;
    padding-bottom: 8px;
    background-color: #FFDEE9;
    border: 3px solid #f00;
}

.body .warning p {
    margin-top: 8px;
    padding-top: 0px;
    margin-left: 0px;
}

.body code {
    font-family: "DejaVu Sans Mono", "Bitstream Vera Sans Mono",
                 "Liberation Mono", monospace;
    background-color: #f0f0f0;
    padding: 2px;
    border: 1px solid #c0c0c0;
}

.body pre {
    font-size: 12px;
    line-height: 1.25em;
    margin-top: 8px;
    margin-left: 32px;
    padding: 8px;
    border: 1px solid #808080;
    background-color: #e0e0e0;
    overflow: auto;
}

.body ol pre {
    margin-left: 0px;
}

.body pre code {
    background-color: transparent;
    border: 0px;
    padding: 0px;
}

.body .figure {
    text-align: center;
}

.body ul {
    margin-left: 64px;
}

.body ul ul {
    padding-top: 2px;
    margin-left: 32px;
}

.body ol {
    margin-left: 64px;
}

.body li {
    padding-top: 2px;
}

.body li p {
    margin-left: 0px;
}

.body img {
    border: 0px none;
}

.displace {
    position: absolute;
    left: -5000px;
}

.body .postdate {
    color: #888;
    font-size: 80%;
}

.body .postlinks {
    padding-top: 16px;
    text-align: center;
    font-size: 80%;
}

.footer .copyright {
    padding-top: 1.5em;
    color: #444;
    font-size: 80%;
}

/*--------------------------------------------------------------------
 * Tag list at bottom of each post
 */

.body .posttags {
    font-size: 80%;
    color: #444;
    padding-top: 20px;
    /*margin-left: 16px;*/
    text-align: center;
}

.body .posttags ul {
    list-style: none;
    display: inline;
    margin-left: 0px;
}

.body .posttags li {
    display: inline;
    margin-left: 4px;
}

.body .posttags a {
    text-decoration: none;
    color: #000;
    padding: 2px 4px;
    border: 1px solid #888;
    background-color: #9f9;
}

.body .posttags a:hover {
    background-color: #696;
}

/*--------------------------------------------------------------------
 * Site header
 */

.site_header {
    width: 300px;
    margin-left: 410px;
    margin-right: 16px;
    padding-top: 8px;
    margin-bottom: 12px;
}

.site_header .title {
    color: #282828;
    font-weight: bold;
    font-size: 140%;
    margin-bottom: 2px;
}

.site_header .subtitle {
    color: #444;
    font-weight: normal;
    font-size: 80%;
}

/*--------------------------------------------------------------------
 * Citations
 */

.reference {
    padding-top: 8px;
    margin-left: 0px;
    line-height: 1.35em;
    clear: right;
}

.reference .citation_number {
    float: left;
    width: 64px;
    text-align: center;
}

.reference .citation {
    margin-left: 64px;
    margin-right: 52px;
}

.reference .note {
    margin-left: 64px;
    margin-right: 52px;
    padding-top: 8px;
    color: #444;
    font-style: italic;
}

.reference .details {
    float: right;
    margin-top: -10px;
    width: 52px;
}

.reference .details a {
    display: block;
    width: 52px;
    height: 52px;
    text-decoration: none;
    border: 0px;
    background-color: transparent;
    background-image: url(/images/mag.png);
}

.reference .details a:hover {
    display: block;
    width: 52px;
    height: 52px;
    text-decoration: none;
    border: 0px;
    background-color: transparent;
    background-image: url(/images/mag-shadow.png);
}

/*--------------------------------------------------------------------
 * Download icons
 */

.downloads {
    margin-left: 16px;
}

.downloads .pdf {
    display: inline;
}

.downloads .pdf a {
    display: block;
    width: 70px;
    height: 77px;
    text-decoration: none;
    border: 0px;
    background-color: transparent;
    background-image: url(/images/icon-pdf.png);
}

.downloads .pdf a:hover {
    display: block;
    width: 70px;
    height: 77px;
    text-decoration: none;
    border: 0px;
    background-color: transparent;
    background-image: url(/images/icon-pdf-shadow.png);
}

/*--------------------------------------------------------------------
 * Left column
 */

.left {
    float: left;
    width: 200px;
}

/*--------------------------------------------------------------------
 * Navigation bar
 */

.leftnav {
    padding-top: 320px;         /* 300px for the logo, 20px for padding */
}

.leftnav h3 {
    margin-top: 2px;
    margin-bottom: 2px;
}

.leftnav a {
    font-size: 16px;
    font-weight: bold;
    color: #444;
    text-decoration: none;
}

.leftnav a:hover {
    color: #ccc;
}

/*--------------------------------------------------------------------
 * Posts list
 */

#posts ul {
    line-height: 1.35em;
    margin-left: 16px;
    margin-top: 12px;
    list-style-type: none;
}

#posts ul span {
    color: #aaa;
    font-family: Monaco, "Courier New", monospace;
    font-size: 80%;
}