body, html
{
width:100%;
height:100%;
font-family:verdana,ariel;
margin:0;
}
div#main
{
width:760px;
/* text-align:center;
border: 1px solid black; */
margin-top:0px;
margin-left:auto;	/* this centres */
margin-right:auto;  /*   "     "     */
margin-bottom:15px;
height:100%;

}

a.nav:LINK, a.nav:VISITED, a.nav:ACTIVE, a.nav:FOCUS
{
display:block;
font-size:80%;
text-decoration: none;
color:white;
margin-bottom:5px;
}
a.nav:hover 
{	
font-size:80%;
color:black;
text-decoration: none;
}

div.highlight
{
border:1px solid #6666FF;
padding:1em;
background-color:#D6D6FB;
font-size:75%;
}

h1
{
font-size:125%;
margin-bottom:.25em;
}
h4.rrmib
{
margin-top:0;
margin-bottom:0;
}