html {
 background-color: #ffffff;
 color: #000000;
 font-family: georgia, "times new roman", serif;
}

a, a:link, a:visited {
 color: #000000;
 text-decoration: none;
}

div#container h1 {
 font-size: 180%;
 font-variant: small-caps;
 margin: 0;
 padding: 15px 5px 5px 15px;
}

div#contents h2 {
 font-size: 140%;
 margin: 0;
 padding: 25px 5px 5px 15px;
}

div#contents h3 {
 font-size: 120%;
 margin: 0;
 padding: 25px 5px 5px 15px;
}

div#contents h4 {
 font-size: 100%;
 margin: 0;
 padding: 15px 5px 5px 15px;
}

div#contents h5 {
 font-size: 80%;
 margin: 0;
 padding: 5px 5px 0 15px;
}

div#contents blockquote {
 border: 1px solid #000000;
 margin: 5px 5px 10px 15px;
 padding: 10px 10px 5px 0;
 font-style: italic;
}

div#contents blockquote em {
 font-style: normal;
}

div#contents p, div#contents dl {
 margin: 0px;
 padding: 5px 5px 10px 15px;
}

div#contents ul, div#contents ol {
 margin: 0px;
 padding: 5px 5px 10px 35px;
}

div#contents dl.submenu dt {
 margin: 5px 0 0 0;
 padding: 0;
}

div#contents dl.submenu dd {
 margin: 0 0 0 10px;
 padding: 0;
}

div#contents table {
 border-collapse: collapse;
 margin: 5px auto 10px auto;
}

div#contents td, th {
 border: 1px solid #000000;
 font-size: 90%;
}

div#contents td {
 font-family: courier, "courier new", monotype;
 text-align: right;
}

div#contents th {
 font-family: "trebuchet ms", verdana, sans-serif;
}

div#contents thead th {
 font-weight: bold;
}

div#contents q {
 font-style: italic;
}

div#contents span.math {
 font-family: "trebuchet ms", verdana, sans-serif;
 white-space: nowrap;
}
div#contents span.math span.variable {
 font-style: italic;
}
div#contents span.math span.result {
 font-weight: bold;
}

div#subcontents {
 display: none;
}

div#footer p {
 font-size: 90%;
 margin: 0;
 padding: 5px;
 text-align: center;
}

ul#menu {
 display: none;
}