body {
  font-family: Helvetica, Arial, sans-serif;
  font-style: italic;
}

#navigationoben {
  display: none;
}

#toc {
  display: none;
}

#manual {
  border-bottom: 1px solid #999;
}

table {
  margin-right: auto;
  margin-left: auto;
  border-bottom: 1px solid #999;
  border-right: 1px solid #999;
  border-left: 1px solid white;
  border-top: 1px solid white;
}

td {
  border-bottom: 1px solid #f0f0f0;
}

h1, h2, h3 {
  clear: right;
  font-style: normal;
  font-weight: bold;
  border-bottom: 1px solid #999;
  border-left: 1px solid #999;
  padding-left: 0.5em;
}

h1 {
  font-size: 1.5em;
}

h2 {
  font-size: 1.1em;
}

h3 {
  font-size: 1em;
}

p, th, td, dt, dd, li {
  font-size: 0.9em;
  font-style: normal;
  font-weight: normal;
}

dt {
  clear: right;
  font-weight: bold;
}

dl ol {
  list-style-type: lower-alpha;
}

img {
  float: right;
  margin-left: 1em;
  margin-bottom: 0.5em;
  border: 1px solid black;
}

#fusszeile {
  display: none;
}