html,body  {margin:0; width:100%; height:98%; background-color:#EFE;
            font-family: Comic Sans MS, helvetica, arial, sans-serif}
h1         {font-size:1em; font-weight:bold; text-decoration:underline}
h2         {margin-left:10px;font-size:.9em;font-weight:bold}
h3         {margin-left:20px;font-size:.8em;font-weight:bold}
p,td       {margin-left:30px;font-size:.8em}
ul         {width:88%;margin:0 0 0 30px;padding:0 0 0 30px;font-size:.8em}
pre        { 
             width:             95%; 
             padding:          .5em;
             background-color: #CCC;
             font-size:        0.8em;
             font-family:      monospace, mono, monotype, serif, sans-serif;
             border:           1px solid black;
}
hr         {width: 50%}
.warning   {text-align:center; color:red}
.hidden    {display: none}
img.imgleft{margin-left:40px; float:left} 

div.header {height:36px; padding:2px 0 0 2px}
div.header h1 {font-size: 1.2em; text-decoration:none; text-align:center} 

div.menu
{
    width:              18%;
    height:             90%;
    float:              left;
    overflow:           auto;
    background-color:   #EEE;
    border-top:         1px solid black;
    border-right:       1px solid black;
}
div.menu h3              {margin:.2em 0 0 .2em}
div.menu ul              {width: 80%; margin: 0 0 0 .5em; padding:0 0 0 1.5em}
div.menu ul li a         {text-decoration:none;}
div.menu ul li a.current {background-color:#CCE}
div.menu ul li a:hover   {background-color:blue; color:black}

#xtoc {color:black}
#toc ul                  {list-style-type:none; margin-left:0; padding:0}
#toc a                   {color:black}

div.content
{
    margin:                 0;
    padding:                0;
    width:                80%;
    height:               90%;
    overflow:            auto;
    padding-left:        .2em;
    background-color:   white;
}
div.content ul ul {width:92%;margin:0 0 0 20px;padding:0 0 0 20px;font-size:1em}

div.sponsors     {height:42px; width:70%; overflow:hidden}
div.sponsors ul  {list-style-type:none}
div.sponsors img {float:left; padding-right:1em; border:none}