@charset "utf-8";

/* Document */

html {
    padding: 0;
    font-family: serif;
    background-color: #eee;
}

body {
    margin: 0.5em auto 0.5em auto;
    padding: 1em 2em 1.75em;
    background-color: white;
    box-shadow: 0.24em 0.25em 0.5em #ccc;
    -moz-box-shadow: 0.25em 0.25em 0.5em #ccc;
    -webkit-box-shadow: 0.25em 0.25em 0.5em #ccc;
    max-width: 60em;
    border: solid thin #ddd;
}

/* Titles */

h1, h2, h3, h4, h5, h6 {
    font-weight: normal;
    color: #333;
}

body > header > h1, body > h1 {
    color: white;
    background-color: navy;
    padding: 0.25em 0.4em;
    font-size: 4em;
    margin: 0.5em 0;
}

article h1, div.content h2 {
    color: #333;
    border-bottom: solid thin gray;
    font-size: 1.5em;
    padding: 0.25em 0;
}

p {
    max-width: 55em;
    margin: 1.5em 0;
}

h2, h3, h4, h5, h6 {
    max-width: 36.5em;
}

ul {
    max-width: 55em;
}

blockquote {
    border-left: thick solid navy;
    padding: 0.25em 1.25em;
    background-color: lightblue;
}

blockquote hr {
    border-color: navy;
}

dt {
    font-weight: bold;
}

/* Text */

tt, pre, code, samp, kbd {
    font-family: monospace;
}

.codeword {
    font-variant: small-caps;
}

/* Breadcrumbs */

#crumbs {
    padding: 0.2em 0 0;
}

#crumbs .crumb {
    color: silver;
    padding: 0 0.1em;
}

#crumbs a {
}

/* Search */

#search {
    float: right;
    background-color: white;
    padding: 0 0.5em;
    margin-bottom: 0.5em;
}

#search input {

    padding: 0.1em;
}

/* Content */

.content {
    line-height: 150%;
    max-width: 55em;
}

/* Boxout */

.boxout {
    float: right;
    padding: 0.1em;
    margin: 0.25em 1.5em;
    background-color: white;
    border: solid 0.1em white;
    line-height: 1px; 				/* See [BOXOUT-LINEHEIGHT] */
    box-shadow: 0.25em 0.25em 0.5em #ccc;
    -moz-box-shadow: 0.25em 0.25em 0.5em #ccc;
    -webkit-box-shadow: 0.25em 0.25em 0.5em #ccc;
}

.boxout img {
    width: 100%;
}

.boxout .caption {
    padding: 0.5em 0.25em;
    line-height: 150%;
    background-color: #eee;
}

/* Pre-formatted */

pre {
    margin: 1em 0em;
}

.console {
    color: #333; 
    padding: 2ex; 
    border: 0;
    line-height: 110%;
    border: thin solid #eee;
    border-left-width: 2em;
    background-color: #f9f9f9;
}

code .comment {
    color: navy;
}

/* In-line box: Caution */

.caution {
    margin: 2em 0em 1em 5em;
    background-color: yellow;
    padding: 0.75em;
    border: thin solid black;
    line-height: 150%;
    display: list-item;
    list-style-image: url('/decor/hazard');
    list-style-position: outside;
}

.caution::marker {
    margin-right: 2em;
    padding: 0.5em;
    border: solid black 1px;
}

/* horizontal rule */

hr {
    text-align: center;
    width: 80%;
    border: none;
    border-top: dotted thin silver;
}

/* footnotes */

.footnotes {
    border-top: dotted thin silver;
    padding: 1em 0em;
}

.footnotes dd:target {
    background-color: yellow;
}

/* footer */

#footer {
    color: gray;
    padding: 0.5em 1em 1.5em;
    text-align: right;
    margin-top: 5em;
    margin-right: -2em;
    margin-left: -1em;
    margin-bottom: -6em;
}

/* Page-specific: Front page */

.summary {
    border: solid thick gray;
    background-color: white;
    margin: 1em;
    padding: 1em;
    max-width: 100ex;
    box-shadow: 0.5em 0.5em 1em #ccc;
    -moz-box-shadow: 0.5em 0.5em 1em #ccc;
    -webkit-box-shadow: 0.5em 0.5em 1em #ccc;
}

.summary h1 {
    border-bottom: none;
    margin: 0.25em 0;
}

.footer {
    background-color: #eee;
    margin: 0 -1em -1em;
    padding: 0.5em 1em;
}

/* Page-specific: Elsewhere */

#elsewhere li {
    display: inline;
    padding: 0.2em;
    line-height: 150%;
}

#elsewhere li:before {
    content: "»";
    display: marker;
    color: silver;
    padding-right: 0.2em;
}

#elsewhere li a {
    white-space: nowrap;
}


#navigation {
    margin: 0;
    padding: 0;
}

#navigation li {
    display: inline;
    margin: 0;
    padding: 0em 1em 0em 0em;
}

#navigation li:after {
    display: marker;
    content: "|";
    padding-left: 1em;
    color: silver;
}

/* 
 * [BOXOUT-LINEHEIGHT]
 *     Work-around rendering bug in WebKit (Safari):
 *     Boxes were set to be a multiple of line-height; in my test configuration,
 *     21px.  For an image of height 150px, this left a gap of 6px. 
 */