a { font-family: Times New Roman; "#000099" }
   a:link  { font-family: Times New Roman; "#6633ff" }
    a:visited  { font-family: Times New Roman; "#723972" }
     href:hover            { font-family: Times New Roman; "#993399" }

body { color: rgb(0, 0, 0);
 background-color: rgb(144, 144, 144);
  background-image: url(bg.gif); }


    h1  {  font-size: 18pt; color: black; margin-right:5px; vertical-align: middle; text-align: left;font-family: Times New Roman; }
     p   {  font-size: 14pt; color: black; margin-right:5px; vertical-align: middle; text-align: left;font-family: Times New Roman; }

.mainmenu { font-size: 14pt; white-space: nowrap; text-align: center; vertical-align: middle; width: 80px; font-family: Times New Roman;  height: 20px; }
  .mainmenu:hover  { color: "#993399"}