body {
  background: #899989;
  font: .94em Georgia, Arial, Helvetica, sans-serif;
  text-align: center;
  margin-top: 0; margin-bottom: 0;
}
div#main {
  width: 720px;
  background-color: #f0f0f0;
  text-align: left;
  padding: 5px 0;
  margin-top: 0; margin-bottom: 0;
  margin-left: auto; margin-right: auto;
}
h2, h3 {
  font-style: italic;
  text-align: center;
}
h2 {
  margin: 25px 0 30px;
}
h3 {
  margin: 20px;
}
p, ul, ol {
  color: #004400;
}
p {
  text-align: justify;
  margin: 14px 16px;
}
img {
  float: right; 
  margin: 2px 0 12px 15px;
}
img.left {
  float: left;
  margin: 2px 12px 12px 0;
}
pre {
  margin: 18px 40px;
}
code, pre {
  color: #000000;
  font-size: 15px;
}
code {
  line-height: 100%;
  margin: 0 1px;
}
code.big {
  font-size: 1.4em;
}
code b b {
  color: #000080;
}
ul, ol {
  padding-left: 40px;
  margin: 20px 16px;
}
ul li, ol li {
  margin-bottom: 3px;
}
ul li span, ol li span {
  margin-left: 10px; 
}
ul code, ol code {
  margin: 0 3px;
}
ul code b, ol code b {
  font-weight: normal; 
}
i.tt {
  color: #990099;
  margin-right: 5px;
}
i.sep {
  color: #ff0000;
  font-style: normal;
}
p.signature {
  font-style: italic;
  line-height: 140%;
  text-align: right;
  margin: 25px;
}
h2 a, h3 a { text-decoration: none; }
h2 a:link, h3 a:link,
h2 a:visited, h3 a:visited {
  color: #007000;
}
a:link { color: #008000; }
a:visited { color: #004400; }
a:hover, h2 a:hover, h3 a:hover { color: #00a600; }
h2 a { border-bottom: double #366936 6px; }
h3 a { border-bottom: solid #366936 2px; }
a.big {
  font-size: 1.1em;
  line-height: 140%;
}