body {
  color: #112;
  font-size: 95%;
  background-color: #f7f7f7;
  margin: 0 0 2em 0;
  padding: 0;
}

* {
  font-family: arial, sans-serif;
}

h1 {
  color: #003;
  background-color: transparent;
  font-size: 220%;
  margin: 0 0 0.5em 0;
  padding: 0.3em;
  display: none;
}

h2 {
  color: #005;
  background-color: transparent;
  font-size: 130%;
  margin: 1em 0 1em 0;
  padding: 0;
}

h3 {
  color: #007;
  background-color: transparent;
  font-size: 100%;
  text-indent: 1em;
  border-left: solid 1em #007;
  border-bottom: dashed 1px #007;
  padding: 0;
  clear: both;
}

h4 {
  color: #557;
  background-color: #eef;
  font-size: 90%;
  margin: 0.5em 0 0.5em 1.5em;
  padding: 0;
}

p {
  line-height: 150%;
  margin: 0.5em 0 0.5em 0;
  text-indent: 1em;
}

pre {
  color: #111;
  background-color: #fff;
  font-size: 85%;
  font-family: monospace;
  line-height: 130%;
  border: 1px solid #aac;
  margin: 0 1em 0 1em;
  padding: 1em 1em 0 1em;
}

a {
  font-size: 100%;
  font-weight: bold;
  text-decoration: none;
}

a:hover {
  color: #0011CC;
  text-decoration: underline;
}

a:visited {
  color: #0011CC;
}

.left {
  float: left;
}

#navi {
  text-align: right;
  margin-right: 3em;
}

#navi p {
  color: #888;
  background-color: #f7f7f7;
  font-size: 90%;
}

#main {
  color: #112;
  background-color: #fff;
  font-size: 100%;
  border: 2px solid #335;
  margin: 1em 3em 2em 3em;
  padding: 0 1em 1em 1em;
}

#main dl {
  margin-left: 1em;
}

#main dt {
  font-weight: bold;
}

#main dd {
  padding-left: 1em;
  margin-top: 0.5em;
  margin-bottom: 1em;
  line-height: 130%;
}

#main ul {
  margin-top: 0.5em;
}

#main li {
  padding: 0;
  margin: 0.3em 0;
}

#main table {
  border-collapse: collapse;
  font-size: 90%;
  margin: 0 1em 0 1em;
  padding: 1em 1em 0 1em;
}

#main th {
  line-height: 100%;
}

#main table, #main tr, #main th, #main td {
  border: 1px solid #446;
}

#main table tr th {
  color: #fff;
  background-color: #779;
  text-align: left;
  font-weight: normal;
  padding: 0.3em;
  width: auto;
}

#main table tr td {
  color: #112;
  background-color: #fff;
  padding: 0.2em;
}

#main .update-date {
  color: #557;
  background-color: #eef;
  font-size: 70%;
}

#footer {
  font-size: 100%;
  font-weight: bold;
  margin: 0 3em 1em 3em;
}

#footer address {
  font-size: 90%;
  text-align: right;
  text-decoration: none;
  font-style: normal;
  font-weight: normal;
}