/* ******************************************** */
/* Global rules
***************/
html {
    background-color: #CCCCCC;
}

body {
    background-color: white;
    font-family: "Lucida Grande", Arial, sans-serif;
    color: black;
    padding: 0;
    width: 60em;
    border: 1px solid black;
    margin: 1em auto;
}

a {
    color: #971000;
    font-weight: normal;
    text-decoration: underline;
}

a:hover {
    color: black;
}
/* ******************************************** */


/* ******************************************** */
/* Header
*********/
#header {
    padding: 0.5em 0;
    margin: 0;
    border-bottom: 1px solid black;
    background-color: #395998;
    color: white;
    font-size: 2em;
    text-align: left;
    padding-left: 1em;
}

#header a {
    color: white;
    text-decoration: none;
    font-weight: normal;
}
/* ******************************************** */


/* ******************************************** */
/* Content area
***************/
#content {
    background-color: transparent;
    margin: 1em 2em 0 12em;
    line-height: 1.2em;
}

#content h1 {
    text-align: center;
}

#content h1, #content h2, #content h3 {
    color: #395998;
    padding-bottom: 0.3em;
    margin-bottom: 0.5em;
}

#content h1 a, #content h2 a, #content h3 a, #content h4 a {
    text-decoration: none;
    color: #395998;
    font-weight: bold;
}

#content h1 {
    border-bottom: 0.1em solid #395998;
}

#content h2 {
    border-bottom: 1px solid  #395998;
}

#content h3 {
    border-bottom: 1px dotted #395998;
}

#content p {
    margin: 0 0 1em 0;
    text-align: justify;
}

#content li, #content ol {
    text-align: justify;
}

#content li, #content li {
    margin: 0 0 0.5em 0;
}

#content dd, #content dt {
    margin-bottom: 0.5em;
}

#content div.image {
    text-align: center;
}

#content div.image img {
    padding: 0;
    margin-bottom: 1em;
    border: 1px solid #CCCCCC;
}
/* ******************************************** */


/* ******************************************** */
/* Main navigation
******************/
#navigation {
    font-size: 0.9em;
    list-style-type: none;
    padding: 0.2em 0 0.5em 2em;
    float: left;
    width: 10em;
    border: 1px solid #CCCCCC;
    border-bottom: 0;
    padding: 0;
    margin-left: 2em;
}

#navigation li {
    font-size: 0.9em;
    padding: 0;
    margin: 0;
    background-color: #EEEEEE;
}

#navigation li a {
    display: block;
    color: black;
    font-weight: bold;
    text-decoration: none;
    margin: 0;
    padding: 0.2em;
    border-bottom: 1px solid #CCCCCC;
}

#navigation li.last a {
    border-bottom: 0;
}

#navigation li a:hover {
    text-decoration: none;
    color: white;
    background-color: #395998;
    border-bottom: 1px solid #CCCCCC;
}

#navigation li.current a {
    color: white;
    background-color: #395998;
}

#navigation li ul {
    list-style-type: none;
    padding: 0;
}

#navigation li ul li a {
    border-left: 0;
    padding-left: 1.5em;
}

#navigation li ul li.current a {
    color: white;
    background-color: #395998;
}
/* ******************************************** */


/* ******************************************** */
/* Table of contents
********************/
#content div.contents {
    float: right;
    font-size: 80%;
    padding: 0;
    margin: 0 0 1em 1em;
    border: 1px solid #CCCCCC;
    border-bottom: 0;
}

#content div.contents p {
    background-color: #EEEEEE;
    border-bottom: 1px solid #CCCCCC;
}

#content div.contents p {
    margin: 0 0 0 0;
    padding: 0 1em;
    text-align: center;
}

#content div.contents p a {
    color: black;
    font-style: italic;
    text-decoration: none;
}

#content div.contents ul {
    font-size: 0.9em;
    list-style-type: none;
    padding: 0;
    margin: 0;
}

#content div.contents ul li {
    padding: 0;
    margin: 0;
    background-color: #EEEEEE;
}

#content div.contents ul li a {
    display: block;
    color: black;
    font-weight: bold;
    text-decoration: none;
    margin: 0;
    padding: 0.2em 1em;
    border-bottom: 1px solid #CCCCCC;
}

#content div.contents ul li a:hover {
    text-decoration: none;
    color: white;
    background-color: #395998;
    border-bottom: 1px solid #CCCCCC;
}
/* ******************************************** */


/* ******************************************** */
/* Footer
*********/
#footer {
    background-color: #395998;
    font-size: 0.9em;
    list-style-type: none;
    border-top: 1px solid black;
    padding: 0.2em 0 0.5em 0;
    text-align: center;
    margin: 1em auto 0 auto;
    clear: both;
}

#footer a {
    color: white;
    font-weight: normal;
    text-decoration: none;
    border-bottom: 1px solid white;
    padding-bottom: 0.1em;
}

#footer li a:hover {
    color: black;
    border-bottom: 1px solid black;
}

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

#footer li.last {
    border-right: none;
    margin: 0;
}
/* ******************************************** */


/* ******************************************** */
/* Code et al.
**************/
span.pre {
    font-family: Monaco, Courier, sans-serif;
    border: 1px solid #CCCCCC;
    background-color: #EEEEEE;
    font-size: 85%;
}

div.highlight pre, pre.literal-block {
    font-family: Monaco, Courier, sans-serif;
    font-size: 0.9em;
    margin: 1em;
    margin-top: 0.5em;
    padding: 0.2em;
    border: 1px solid #CCCCCC;
    background-color: #EEEEEE;
    overflow: auto;
}
/* ******************************************** */


/* ******************************************** */
/* Note, warning, danger
************************/
div.note, div.warning, div.danger {
    background-color: #EEEEEE;
    border: 1px solid #CCCCCC;
    margin: 1em 0;
    padding: 0.2em;
}

#content div.note p,
#content div.warning p,
#content div.danger p {
    margin: 0;
}

div.note p.first,
div.warning p.first,
div.danger p.first {
    float: left;
    padding: 40px 0.2em 0 0;
    overflow: hidden;
    background-repeat: no-repeat;
    background-position: 0.2em 0.2em;
    height: 0px;
}

#content div.note p.first + p + p,
#content div.warning p.first + p + p,
#content div.danger p.first + p + p {
    padding-top: 0.5em;
}

div.note p.last,
div.warning p.last,
div.danger p.last {
    padding: 0;
    margin: 0;
}

div.note p.first {
    background-image: url("/img/info.png");
}

div.warning p.first {
    background-image: url("/img/alert.png");
}

div.danger p.first {
    background-image: url("/img/stop.png");
}
/* ******************************************** */