body {
  margin: 0px;
  background-color: #e9ffff;
  color: #000066;
  font-size: small;
}

h1 {
  background-color: #7fd5ff;
  color: #ffffff;
  margin: 0px;
  padding: 10px;
  font-size: x-large;
}

h2 {
  font-size: large;
  padding-left: 10px;
  padding-right: 10px;
}

p {
  font-size: normal;
  padding-left: 10px;
  padding-right: 10px;
}

div#header p {
  font-weight: bold;
}

a {
  color: #00aaff;
  font-weight: bold;
  text-decoration: none;
}

a:hover {
  color: #00aaff;
  text-decoration: underline;
}

div#update p {
  text-align: right;
  padding-top: 10px;
}

div#navigation p {
  margin: 2px;
  font-size: x-small;
}

div#language p {
  text-align: right;
  margin: 2px;
  font-size: x-small;
}

address {
  font-size: small;
  font-style: normal;
  text-align: center;
  padding: 5px;
}

address a {
  font-weight: bold;
  text-decoration: none;
}