html, body {
    margin: 0px;
    padding: 0px;
    font-family: Arial, Geneva, sans-serif;
    font-size: 13px;
    height: 100%;
}

a { text-decoration: none; }
a:link:hover { text-decoration: underline; }
a:visited:hover {text-decoration: underline; }
a[rel="external"] { background: url("pics/external.gif") right no-repeat; padding-right: 13px; }
a[rel="mailto"] { background: url("pics/mailto.gif") right no-repeat; padding-right: 15px; }

/* The rationale for this is explained in 
 * in http://www.xs4all.nl/~peterned/examples/csslayout1.html */
div#container {
    position: relative;
    margin: 0;
    width: 100%;
    height: auto !important;
    height: 100%;
    min-height: 100%;
}

/* Dark blue header */
div#header {
    background-color: #000066;
    color: white;
    margin: 0px 0px 0px 0px;
    border-bottom: 16px solid rgb(33,66,160);
}

/* Middle part: Left menu and main text.
 * The explanation for this is in
 * http://www.quirksmode.org/css/clearing.html */
div#middle {
    width: 100%;
    overflow: auto;
    padding-bottom: 6em;
}
div#leftie { float: left; width: 175px; }
div#leftieTop { line-height: 150%; }
div#leftieTop a { color: white; }

/* The lfbtn class defines the small boxes that grow when the pointer passes
 * over them */
div.lftbn {
    width: 159px;
    height: 1.6em;
    padding: .3em 2px .3em 2px;
    margin: 3px 5px 3px 5px;
    position: relative;
}
div.lftbn:hover { margin-right: -34px; background-color: black; width: 200px; }
div.lftbn a { float: left; color: white; }

/* The lilbox class defines the small boxes next to the links in the boxes */
div.lilbox { float: right; width: 15px; height: 1.6em; margin: 0px; }

/* The sml class defines the grey boxes with links to the chapters */
div.sml { background-color: #333333; }

/* The sms class defines the boxes that do not lead to chapters */
div.sms { background-color: #444444; }

/* The smn class defines the boxes with the chapter currently opened */
div.smn {
    background-color: black;
    color: white;
    margin-right: -34px;
    width: 200px;
    padding: .3em 2px .3em 2px;
    margin: 3px 5px 3px 5px;
}

/* The chapterMenu class defines the unordered list (ul) intended
 * to contain the links to the subchapters of the current chapter */
ul.chapterMenu { margin-top: 0px; margin-bottom: 0px; list-style: none; font-size: 85%; background-color: black; }

div#main { background-color: white; margin: 0px 0px 0px 175px; }
div#textbody { padding: 1em 10mm 1em 10mm; margin: auto 10mm auto 10mm; overflow: auto; }
div#textbody p { text-align: justify; }
div#textbody li { margin-bottom: 0.25em; }
div#textbody li ul { margin-top: 0.25em; }
div#textbody h2 { text-align: center; padding-bottom: 1em; }
div#textbody h3 { text-align: center; }
div#textbody h4 { text-align: left; font-weight: bold; display: inline; border: 1px #888 solid; padding-left: 0.5em; padding-right: 0.5em; }
div#textbody h5 { text-align: left; font-weight: bold; font-size: 100%;}


/* The footer */
div#footer {
    clear: both;
    font-size: 85%;
    text-align: center;
    background-color: #000066;
    color: white;
    border-top: 5px solid rgb(33,66,160);
    position: absolute;
    bottom: 0;
    width: 100%;
}
div#footer a { color: white; }

.lpic { float: left; border: 2px solid rgb(33,66,160); padding: 1.0em; margin: 0 1.0em 1.0em 0; font-size: 85%; background-color: #f0f0ff;}
.rpic { float: right; border: 2px solid rgb(33,66,160); padding: 1.0em; margin: 0 0 1.0em 1.0em; font-size: 85%; background-color: #f0f0ff;}
.lpic img { border: 0; }
.rpic img { border: 0; }

/* Colors. The numbered ones correspond to chapters. */
.c00 { background-color: white; }
.c01 { background-color: #21782D; }
.c02 { background-color: #217858; }
.c03 { background-color: #216C78; }
.c04 { background-color: #214178; }
.c05 { background-color: #2D2178; }
.c06 { background-color: #582178; }
.c07 { background-color: #78216C; }
.c08 { background-color: #782140; }
.c09 { background-color: #782D21; }
.c10 { background-color: #785821; }
.c11 { background-color: #6C7821; }
.c12 { background-color: #417821; }
.csp { background-color: #606060; } /* Special chapter color */
.cnb { background-color: #000066; } /* Ubiquitous navy blue */

/* Image thumbnails */
.thumb { width: 152px; height: 152px; background-color: #f0f0ff; float: left; text-align: center; margin: 1em; border: 1px solid rgb(33,66,160); }
.thumb img { border: 0; margin-top: auto;}

/* Styles for the table of contents page */
.longlist { list-style-position: inside; }
.longlist a:link { color: white; }
.longlist a:visited { color: #aaa; }