/* Created using Style Master from Western Civilisation CSS1 { 49 95 451 409 } */
body
{background-color: white;}

h1, h2, h3, h4, h5, h6 
{font-family: sans-serif;}

.spaceafter {padding-bottom: 10px;}

dt {
font-weight: bold;
font-size: 90%;
}

.big {
font-size: 110%;
color: #660000;
}

.main
{
padding-right: 20px;
width: 75%;
font-family:sans-serif;
}

a.redbox:link {color: white;}
a.redbox:visited {color: silver;}
a.redbox:active {color: black;}

.navbar {
background-color: #660000;
border-width: thin;
border-style: none;
font-family: sans-serif;
font-weight: bold;
padding: 5px;
}

code, kbd {
font-size:80%;
}