body
 {
  font-size: small;
  padding: 1em;
  margin-left: auto;
  margin-right: auto;
  width: 70%;
  font-family: verdana,sans;
  background-color: #F4FFE4;
 }
h1
 {
  font-size: x-large;
  padding: 0px;
  margin: 0px;
  line-height: 1.5em;
 }
h2
 {
  font-size: large;
  padding: 0px;
  margin: 0px;
  line-height: 1.5em;
 }
h3
 {
  font-size: medium;
  padding: 0px;
  margin: 0px;
  line-height: 1.5em;
 }
p
 {
  padding-left: 0px;
  padding-bottom: 0.5em;
  padding-top: 0.5em;
  margin: 0px;
 }
div
 {
  padding: 0.5em;
  margin: 0px;
 }
a:link
 {
  color: #06006F;
  text-decoration: underline;
 }
a:active
 {
  color: #06006F;
  text-decoration: underline;
 }
a:visited
 {
  color: #06006F;
  text-decoration: underline;
 }
a:hover
 {
  color: #E6E5EA;
  text-decoration: underline;
  background-color: #06006F;
 }
form
 {
  padding: 0.5em;
  margin: 0px;
 }
.links
 {
  position: relative;
  top: 0px;
  left: auto;
  margin: 0px;
  padding: 0px;
  width: auto;
 }
.links_p
 {
  position: relative;
  top: 0px;
  left: 0px;
  float: left;
  margin: 0px;
  padding-left: 0px;
  padding-right: 1ex;
  padding-top: 0px;
  padding-bottom: 0px;
  width: auto;
 }
.copy_notice
 {
  position: fixed;
  bottom: 0px;
  right: 0px;
  margin: 0px;
  padding: 0px;
  width: auto;
 }
.menus
 {
  padding: 0px;
  margin: 0px;
  position: relative;
  left: 2em;
  font-size: x-small;
 }