body {
  font-size: 10pt;
  line-height: 110%;
  margin-left: 20px;
  margin-right: 20px;
  color: #4444bb;
  background-color: #ffffff;
}

a:link {
  text-decoration: underline;
  color: #1166ff;
}
a:visited {
  text-decoration: underline;
  color: #3366ff;
}
a:active {
  text-decoration: underline;
  color: #1111ff;
}

table.menu {
  border: 0;
  width: 400px;
  height: 80px;
}

h1 {
  color: #eeeeff;
  background-color: #6699cc;
  padding: 0.5em;
  font-size: x-large;
  font-weight: bold;
  text-align: center;
  border-style: double;
  border-width: 3px 5px;
  border-color: #0000cc;
}

h2 {
  color: #eeeeff;
  background-color: #9999ff;
  padding: 4px;
  font-size: large;
  font-weight: bold;
  text-align: left;
  border-style: solid;
  border-width: 1px 3px;
  border-color: #000099;
}

p {
  margin-left: 1em;
}

div.footer {
  text-align: right;
  font-size: smaller;
}

div.index {
  color: #3333cc;
  background-color: #ccccff;
  border-style: solid;
  border-width: 1px 2px;
  border-color: #333399;
  margin: 1em 2em;
}

i.mail {
  font-style: italic;
}

pre {
  border-style: solid;
  border-width: 1px 1px 1px 3px;
  border-color: #8888ff;
  background-color: #eeffff;
  color: #5566bb;
  padding: 0.5em;
  margin-left: 2em;
}