body {
  margin-left: 10px;
  margin-top: 10px;
  margin-right: 5px;
  margin-bottom: 10px;
  background-color: #D4E6F7;
  font-family: Arial, Helvetica, sans-serif;
  font-size: 12px;
  color: #000000;
}
div.mainborder {
  width: 100%;
  height: 72px;
  border: solid 1px #256F95;
  background-color: #FFFFFF;
}
div.header {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 12px;
  color: #206081;
  font-weight: bold;
  width: 100%;
  background-color: #FFFFFF;
}
div.topmenu {
  margin: 0px;
  float: right;
}
div.topmenutxt {
  text-align: right;
}
div.topmenutxt a {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 10px;
  color: #206081;
  text-decoration: none;
  line-height: 14px;
}
div.topmenutxt a:hover {
  text-decoration: underline;
}
div.topmenutxt li {
   color: #FFFFFF;
}