/* Define menu elements */
ul.menu
{
float:left;
padding:0;
margin:15;
border:1px solid "#0000a0";
list-style-type:none;
}
a.menu
{
float:left;
width:6em;
text-decoration:none;
color:#0000a0;
background-color:white;
padding:0.2em 0.6em;
border-right:1px solid white;
}
a.menu:hover {background-color:#0000a0; color:white;}
li.menu {display:inline}
p.current
{background-color:#0000a0; 
color:white; 
display:inline;
float:left;
width:6em;
text-decoration:none;
padding:0.2em 0.6em;
border-right:1px solid white;
margin: 0;}
/* Menu elements complete */

/* Define heading */
div.hdr
{
margin: 0;
padding: 0;
text-align: left;
}

/* Define normal styles */
p, h1, h2 {font-family: Garamond, Times, serif; color: #0000a0; margin: 5px 0px 5px 15px;}
h1 {font-size: 300%; text-align: left;}
h2 {font-size: 150%;}
h3 {font-family: Garamond, Times, serif; color: #0000a0; margin: 15; font-weight: bold;}
table {width: 800px;}