body 
{
background-color:#e6e6fa;
/* this is the page background colour */
color:blue;
/* this is the default text colour */
}

a:link {text-decoration:none;}
a:visited {text-decoration:none;}
a:hover {color:red; text-decoration:underline;}
a:active {color:green; text-decoration:none;}

a.menu:link,a.menu:visited
{
display:inline;
font-weight:bold;
color:#0000ff;
background-color:#86CEFA;
text-align:center;
padding:4px;
text-decoration:none;
}

a.menu:hover
{
color:#86CEFA;
background-color:#0000ff;
}

a.menu:active
{
color:#ffffff;
background-color:#000000;
}

page_title
{
font-size:24pt;
color:black;
font-weight:bold;
}

dateline
{
color:black;
font-weight:bold;
}