body {
  background: #fcfcf9;
  color: #292929;
  font-family: Arial, sans-serif;
  line-height: 140%;
  margin: 1em;
}
h1 {
  border-color: #cccccc;
  border-style: solid;
  border-width: 0pt 0pt 1px;
  color: #777774;
  font-size: 150%;
  margin: 0;
}
h2 {
  color: #666663;
  font-size: 120%;
  margin-top: 2em;
}
h3 {
  font-size: 100%;
}
pre {
  color: #006000;
  font-family:'Courier New',monospace;
  margin-left:2em;
}
a {
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}

.main {
  margin: 0 2em;
}
.navi {
  font-size: 90%;
  margin-bottom: 0.5em;
}
.lastmod {
  margin: 0;
  font-size: 90%;
  text-align: right;
}