h2.version {
  font-size: 120%;
  font-weight: bold;
  text-align: center;
  background-color: #fff;
  color: #f00;
}

.contents {
  margin: 10px 0 30px 10px;
  background-color: #fff;
  border-bottom: 2px solid #a0d0f0;
  border-right: 2px solid #a0d0f0;
  color: #000;
}

.contents h1 {
  padding: 4px 0 2px 10px;
  border-bottom: 2px solid #000080;
  border-right: 2px solid #000080;
  background-color: #2040e0;
  color: #fff;
}

.contents h2 {
  font-size: 120%;
  font-weight: bold;
  padding: 4px 8px;
  text-decoration: underline;
}

.contents p {
  margin: 4px 12px 24px 12px;
}

#menu ul {
  list-style-type: none;
  padding-left: 0;
}

#menu li {
  font-size: 80%;
  font-weight: bold;
  color: #fff;
  padding: 4px 0 2px 8px;
  margin: 4px 0;
  background-color: #2040e0;
  border-bottom: 2px solid #000080;
  border-right: 2px solid #000080;
}

#menu li a {
  color: #fff;
  text-decoration: none;
}

#menu li a:hover {
  color: #fcc;
  text-decoration: underline;
}

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