body
  {
  padding: 0px;
  margin: 0px;
  }

body, td, p, div
  {
  font-size: 10px;
  }

.mainmenu
  {
  font-size: 12px;
  }

.mainmenu:hover
  {
  color: #FFFF00;
  }

.sidemenu:hover
  {
  color: #990000;
  }

.area
  {
  font-size: 10px;
  }


.button
  {
  font-family: verdana;
  font-size: 10px;
  background-color: #003366;
  color: #FFFFFF;
  border-color: #336699 #336699 #062952 #062952;
  }

.headinglink
  {
  font-size: 12px;
  }

.headinglink:hover
  {
  font-size: 12px;
  text-decoration: underline;
  }

.minihead
  {
  font-size: 11px;
  }

.link:hover
  {
  color: #FF0000;
  }

#htmlarea a:hover
  {
  text-decoration: none;
  color: #FF0000;
  }