#container
{
width: 95%;
margin: 10px auto;
background-color: #ffffff;
font-family: monospace;
font-size: 13px;
line-height: 150%;
}

#container a
{
color: #990000;
text-decoration: none;
}

#right
{
float: right;
width: 90px;
padding: 2px;
color: #990000;
text-align: right;
margin-top: -8ex;
}

#right img
{
border: 0;
width:88px;
height:31px;
margin-top: 2px;
}

#content
{
margin: 0 16ex 0 28ex;
padding: 3px;
max-width: 35em;
/*thanks IE*/
width:expression(
    document.body.clientWidth > (500/12) *
    parseInt(document.body.currentStyle.fontSize)?
        "35em":
        "auto" );
}

#content h2
{
color: #990000;
font-size: 18px;
}

#footnotes
{
margin: 0 0 0 10ex;
padding: 0;
}

#logo
{
font-weight: bold;
float: left;
margin-top: -8ex;
color: #990000;
}

#logo img
{
float: left;
width: 53px;
height: 33px;
margin-right: 15px;
margin-left: 15px;
}

#menu
{
float: left;
width: 24ex;
margin: 0;
padding: 3px;
}

#menu ul
{
margin-left: 0;
padding: 10px;
list-style-type: none;
border-top: 2px solid #990000;
border-left: 2px solid #990000;
}

#menu a
{
display: block;
padding: 3px;
width: 22ex;
}

#menu a:link, #navlist a:visited
{
text-decoration: none;
}

#menu a:hover
{
text-decoration: underline;
}

.indent1
{
text-indent: -2.5em;
}

.indent3
{
margin-left: 89px;
text-indent: -6.8em;
}

.line
{
color: #990000;
font-size: 20px;
font-weight: bold;
}

.highlight
{
color: #990000;
font-weight: bold;
}

.sma
{
font-size: 11px;
}