body 
{
background-color: purple;
/*background-image: url("./images/bigmapbg1.jpg");*/
background-attachment: fixed;
}

A:link { color: fuchsia; font-size: 20pt}
A:active  { color: blue; }
A:visited { color: red; }
A:hover { text-decoration: overline underline; } 

A { text-decoration: none; }

/* table.nav */
.nav
{
background-color: #d8d8bf;
font-weight: bold;
font-family: sans-serif;
font-size: 11pt;
}