body {
  color: black;
  background-color: white;
  font-family: "Times New Roman", Times, serif;
  margin: 0;
  padding: 0;
}
h1 {
  font: bold 120% Verdana, Helvetica, Arial, sans-serif;
  text-align: center;
  color: #363;
}
h2 {
  font: bold 110% Verdana, Helvetica, Arial, sans-serif;
  text-align: center;
  color: #363;
}
strong {
  font-weight: bold;
}
#sidebar {
  display: none;
}
#main {
  margin: 0;
  padding: 0;
}
.padded {
  padding: 1em;
}
hr {
  background-color: transparent;
  height: 0;
  color: black;
  border: none;
  border-top: thin solid black;
}
ul.menu {
  display: none;
}
ul.links, ul.links-index {
  list-style-type: none;
}
a:after {
  content: " [" attr(href) "]";
}
/* IE doesn't uderstand a[href] and we don't use <a> as anchor, so... */
a {
  text-decoration: none;
  background-color: inherit;
  color: #009;
}
a:hover, a:active, a:focus {
  text-decoration: none;
  background-color: inherit;
  color: #900;
}
/* Bug in mozilla: it doesn't understand border (and other properties) for
 * generated content */
img {
  border: none;
}
img.main {
  float: left;
  border: none;
  margin: 0 1em 1em 0;
}
div.illustration {
  text-align: center;
  font: bold 100% Verdana, Helvetica, Arial, sans-serif;
  color: #363;
}
dt {
  font: bold 100% Verdana, Helvetica, Arial, sans-serif;
  color: #363;
  margin-top: 0.3em
}
.annotation {
  font-style: italic;
  font-family: Georgia, "Times New Roman", Times, serif;
}
.body p {
  text-indent: 2em;
}
ul.TOC, ul.TOC li ul {
  list-style-type: none;
}
blockquote {
  margin: 0.5em 2em;
  font-family: Georgia, "Times New Roman", Times, serif;
  font-style: italic;
}
cite.block {
  display: block;
  text-align: right;
  font-style: normal;
}
pre {
  margin: 0.5em 0em;
  padding: 0.5em;
  border: thin outset;
  background-color: #eee;
}
.prompt {
  color: blue;
}
.stdout {
  color: teal;
}
.stderr {
  color: red;
}
/* vim: set sts=2 sw=2 ai et: */