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

#navigationoben {
  display: none;
}

#toc {
  display: none;
}

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

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, ul {
  font-size: 0.9em;
  font-style: normal;
  font-weight: normal;
}

dl {
  margin-left: 1em;
  font-size: 0.9em;
  font-style: normal;
  font-weight: normal;
}

dt {
  font-weight: bold;
  border-bottom: 1px dotted #036;
}

dd {
  margin-bottom: 0.5em;
  margin-right: 1em;
  font-weight: normal;
}

a {
  text-decoration: none;
}

img {
  float: right;
  margin-left: 1em;
}

#fusszeile {
  display: none;
}