/* Generated by KompoZer */
.logo {
  margin-left: 10px;
  font-family: Lucida Bright;
  font-size: 36pt;
  font-weight: bold;
}
.menulink {
  font-family: lucida sans unicode;
  color: white;
  background-color: black;
}
.menuhover {
  font-family: lucida sans unicode;
  color: white;
  background-color: #8EBCDD;

}
a.menu {
  text-decoration: none;
  color: white;
}
.mainbody {
  border-style: none;
  background-color: white;
  text-align: left;
  color: black;
  font-size: 11pt;
  font-family: Lucida Bright;
}
.notation {
  font-style: italic;
}