html body
{
  margin: 1em 2% 1em 2%;
  line-height: 1.2;
  background-color: #ffffff;
}

body pre
{
  margin: .75em 0;
  line-height: 1.3;
  color: #4f3f3f;
  font-weight: bold;
}

pre .prompt
{
  color: gray;
  font-family: monospaced;
}

body div
{
  margin: 0;
}

h1
{
  font-size: 1.5em;
}

dl
{
  margin: .4em 0;
  line-height: 1.2;
}

.legalnotice
{
  font-size: small;
}

h1, h2, h3, h4, h5, h6
{
  color: #990000;
}

a
{
  color: #000000;
}

a:hover
{
  color: #3c3c3c;
  border-bottom: 1px solid #dc0000;
}

hr
{
  background-color: #9c9c9c;
  border-style: none;
  height: 1px;
}

li
{
  list-style-type: square;
}

.screen
{
  background-color: #F8F9FD;
  border-color: #907777;
  border-width: 1px;
  border-style: solid;
  padding: 0.5em;
}