body {
  font-size: 14px;
  margin: 0px;
  padding: 0px;
  color: #000;
  background-color: #fff;
}
h1 {
  font-size: 24px;
  font-family: sans-serif;
  color: #008;
  background-color: #fff;
}
h2 {
  font-size: 20px;
  font-family: sans-serif;
  background-color: #fff;
  color: #008;
}
a {
  font-size: 14px;
  font-family: sans-serif;
}
a.navi {
  font-size: 16px;
  font-family: sans-serif;
}
a:link {
  color: #00c;
  background-color: #fff;
}
a:visited {
  color: #008;
  background-color: #fff;
}
a:hover {
  text-decoration: none;
}
a:active {
  color: #f00;
  background-color: #fff;
}
a.navi {
  font-size: 16px;
  font-family: sans-serif;
  color: #fff;
  background-color: #008;
  text-decoration: none;
  padding-left: 10px;
  padding-right: 10px;
}
a.navi:visited {
  color: #fff;
  background-color: #008;
}
a.navi:hover {
  color: #fff;
  background-color: #008;
}
a.navi:active {
  color: #fff;
  background-color: #008;
}
ul {
  padding-left: 48px;
}
blockquote {
  padding-left: 48px;
  margin-left: 0;
}
strong {
  font-weight: bold;
}
em {
  font-style: italic;
}
.indent {
  padding-left: 48px;
}
.mono {
  font-size: 14px;
  font-family: monospace;
}
.grey {
  padding-left: 12px;
  color: #000;
  background-color: #ddd;
}
.red {
  padding: 12px;
  color: #fff;
  background-color: #f00;
  font-weight: bold;
}
.warn {
  color: #f00;
  background-color: #fff;
}
.title {
  font-size: 18px;
  font-family: sans-serif;
  font-weight: bold;
  color: #fff;
  background-color: #008;
  padding-right:10px;
}
#Navi {
  color: #fff;
  background-color: #008;
  padding: 8px;
}
#Main {
  margin-bottom: 28px;
  margin-left: 28px;
  max-width: 760px;
}
pre {
  color: #000;
  background-color: #eee;
  padding: 10px;
}