body {
    font-family: "Palatino Linotype", Georgia, "Times New Roman", Times, serif;
    margin: 0;
    background: #330000;
    color: white;
}

h1 {
    text-decoration: underline;
    display: inline;
    padding: 0;
    margin: 0;
}

h1#header {
    text-decoration: none;
    top: 0px;
    position: fixed;
    margin: 0;
    padding: 2px 0 0 0.5em;
    margin-bottom: 0.5em;
    border-bottom: 2px dashed white;
/*
    border-width: 1px 0;
*/
    text-align: center;
    width: 98.5%;
    z-index: 20;
    background: #660000;
}

#footer {
    margin: 0; 
    padding: 0 2em 0 0; 
    border: 1px solid #ccc; 
    border-width: 1px 0 0 0; 
    font-weight: bold; 
    text-align: right;
    width: 60%;
    color: #999;
    float: right;
    clear: both;
}

div#toc {
    font-size: small;
    position: fixed;
    width: 30%;
    padding: 0 0.8em;
    margin: 4em 1em; 
    float: left;
}

div#toc h1 {
    display:none;
}

div#sections {
    float: right;
    width: 65%;
    margin-top: 4em;
/* 
    position: absolute;
    width: 70%;
    right: 0px;
    top: 50px;
    vertical-align: center;
*/
}

.section_root {
    padding-top: 0;
    padding-right: 1em;
    padding-left: 1em;
    margin: 3em 1em 3em 0em;
/*
    border-top: 1px gray solid;
    border-left: 1px gray solid;
    border-right: 2px gray solid;
    border-bottom: 2px gray solid;
    background: rgb(244,250,250);
*/
}

.section {
    margin: 1em 1em 3em 2em;
}

.root_header {
    text-decoration: underline;
    display: inline;
    padding: 0;
    margin: 0;
}

a		{ color: #FFCC99; text-decoration: underline; }
a:link		{ color: #FFCC99; text-decoration: underline; }
a:visited	{ color: #CC9966; text-decoration: underline; }
a:active	{ color: Yellow;  }
a:hover		{ color: Yellow;  }

strong {
    background:blue;
}

pre {
    font-family:geneva, verdana, arial, sans-serif;
    font-size:13px;
    color:#EEE;
    line-height:15px;
    background-color: #333;
    border: 1px dashed #EEE;
    padding: 2px;
    padding-left: 10px;
    margin-left: 30px;
    margin-right: 75px;
}

.ullevel2
{ display: none; 
  margin: 1em 0;
  padding-left: 1em;
}

.ullevel1 {
  background: #990033;
  padding: 1em 2em;
}

.lilevel1 {
 margin: 0.5em 0;
}

.floatleft
{ float: left;
  margin: 0 1em 1em 0;
}

.thumbnail
{
 display: inline;
 float: left;
 min-width: 250px;
 height: 170px;
 margin: 0.2em;
 padding: 0.5em;
 text-align: center;
 vertical-align: center;
 border: 1px solid gray;
 border-top: 1px gray solid;
 border-left: 1px gray solid;
 border-right: 2px black solid;
 border-bottom: 2px black solid;
}

div.thumbnail img
{border: none;}

ul.ullevel1 { list-style-type: none }

ol {list-style-type: decimal;}
ol ol {list-style-type: upper-roman;}
ol ol ol {list-style-type: lower-roman;}