* {
  margin: 0;
  padding: 0;
  text-decoration: none;
  color: black;
}

body {
  font: normal 16px sans-serif;
}

#navigation{
  position: absolute;
  height: 100%;
  min-height: 37.5em;
  width: 10em;
  background-color: #7F52FF;
}

#navigation li{
  list-style: none;
  margin: 0.5em 0 0.5em 0.5em;
  padding: 1em;
  background-color: #FFFFFF;
}

#navigation li:hover{
  background-color: #cccccc;
}

#inhalt{
  position: absolute;
  left: 12em;
  margin-right: 3em;
}

#inhalt h1{
  margin: 0.5em;
}

#inhalt details{
  margin-top: 1em;
}

#inhalt details[open]{
  margin-top: 4em;
  margin-bottom: 4em;
}

#inhalt summary{
  margin: 0.5em;
  font-size: 180%;
  text-decoration: underline;
}

#inhalt h2{
  margin: 1.5em 0.75em 0.75em 0.75em;
}

#inhalt summary+h2{
  margin-top: 1em;
}

#inhalt h3{
  margin: 0.2em 0 0.2em 1em;
}

#inhalt p+h3{
  margin: 1.5em 0 0.2em 1em;
}

#inhalt table+h3{
  margin: 1.5em 0 0.2em 1em;
}

#inhalt p{
  margin: 0.5em 0 0.5em 2em;  
}

#inhalt ul{
  margin-left: 2.5em;
}

#inhalt a{
  color: #55754b;
}

#inhalt a:hover{
  color: #bed0be;
}

#inhalt li img{
  display: inline;
  width: 1em;
}

#inhalt code{
  color: orange;
  font-family: FreeMono, ui-monospace, monospace, sans-serif;
  font-size: 125%;
  font-weight: bold;
}

#inhalt table {
  margin-left: 2em;
  padding-right: 1em;
  background-color: #f8f8f8;
}

#inhalt table+table {
  margin-top: 1em;
}

#inhalt table p{
  margin-left: 1.5em;
  margin-right: 1.5em;
  text-align: left;
  font-size: 80%;
}

#inhalt th{
  font-weight: normal;
  text-decoration: underline;
}

.klein{
  font-size: 0.7em;
}

.bg{
  color: gray;
}

#inhalt code.bsp{
  color: #7F52FF;
  font-size: 125%;
  font-weight: normal;
}