body { background: white; }

body, ol, ul, li, p
{
font-family: verdana, arial, helvetica, sans-serif;
color: black;
}

h1, h2, h3, h4, h5, h6
{
font-family: "Times New Roman", times, serif;
color: #990000;
}

h1
{
font-size: 150%;
font-weight: normal;
}

h2
{
font-size: 120%;
font-weight: normal;
}

h3
{
font-size: 100%;
font-weight: normal;
}

h4
{
font-size: 80%;
font-weight: bold;
}

h5
{
font-size: 70%;
font-weight: bold;
}

h6
{
font-size: 64%;
font-weight: bold;
}

ol, ul, li
{
line-height: 120%;
}

p
{
font-size: 80%;
line-height: 120%;
}

pre
{
font-family: monospace;
font-size: 80%;
}

a { color: #000099; }
a:visited { color: purple; }
a:active { color: red; }

/* local custom */
h1, h2, h3 { border-bottom: solid 1px; }

pre
{
padding: 5px;
border: solid thin;
}