body {
  color: black;
  font-size: 10pt;
  font-family: verdana;
  background-color: white;
  margin-right: 35px;
}

td {
  font-size: 10pt;
  font-family: verdana;
}


a {
  oldcolor: #759FF3;
}

a:hover {
  color: red;
  oldfont-style: italic; 
}

div#menu {
  color: grey;
  font-size: 9pt;


  font-style: normal; 
  font-family: verdana;
  text-align: center;
  border-color: white;
  border-width: 1px;
  border-style: outset;
  oldborder-style: solid;
  background: #003466;
  text-decoration: none;
}

div#menu a {
  oldcolor: #F8F78A;
  color: #FFFFCC;
  font-weight: bold;
  font-style: normal; 
  text-decoration: none;
}

div#menu a:hover {
  color: red;
  font-weight: bold;
  font-style: normal; 
  text-decoration: none;
}

div#menucourse {
  color: grey;
  font-size: 9pt;


  font-style: normal; 
  font-family: verdana;
  text-align: center;
  border-color: white;
  border-width: 1px;
  border-style: outset;
  oldborder-style: solid;
  abackground: #006666;
  abackground: #663333;
  background: #983436;
  text-decoration: none;
}

div#menucourse a {
  oldcolor: #F8F78A;
  color: #FFFFCC;
  font-weight: bold;
  font-style: normal; 
  text-decoration: none;
}

div#menucourse a:hover {
  color: red;
  font-weight: bold;
  font-style: normal; 
  text-decoration: none;
}

div#menucontrast {
  color: grey;
  font-size: 9pt;


  font-style: normal; 
  font-family: verdana;
  text-align: center;
  border-color: white;
  border-width: 1px;
  border-style: outset;
  oldborder-style: solid;
  background: #006666;
  abackground: #306496;
  text-decoration: none;
}

div#menucontrast a {
  oldcolor: #F8F78A;
  color: #FFFFCC;
  font-weight: bold;
  font-style: normal; 
  text-decoration: none;
}

div#menucontrast a:hover {
  color: red;
  font-weight: bold;
  font-style: normal; 
  text-decoration: none;
}