body{
  margin:0;
  font-family: sans-serif;
  font-size: 1em;
  line-height: 1.5;
}
code{
  font-size: 1.2em;
}
header{
  background-color: black;
  color:white;
  margin: 0;
  text-align: center;
  width:100%;
}
@media only screen and (min-width: 1000px) {
  main{
    max-width: 1000px;
    margin-left: auto;
    margin-right: auto;
  }
}


header h1{
  margin: 0;
}

p{
  margin: 0 8px 8px 8px;
}

div.task{
  clear:both;
  border-style: solid;
  border-width: 2px;
  margin:  8px;
  padding: 0;
}
div.task h3:before{
  content: "Aufgabe " counter(h2counter) "." counter(taskcounter) ":\0000a0";
  counter-increment: taskcounter;
}

div.hide{
  background-color: rgb(100,100,100,0.5);
  display: none;
}

h1{
  background-color: black;
  color: white;
  padding-left: 8px;
}

h2{
  background-color: rgb(51,51,51);
  color: white;
  padding-left: 8px;
  margin: 1em 0 0 0;
  counter-reset: taskcounter;
  counter-increment: h2counter;
}

h3{
  border-bottom: 2px solid black;
  margin: 1em 8px 0 8px;
}

h1 {
    counter-reset: h2counter;
}
h2:before {
    content: counter(h2counter) ".\0000a0\0000a0";
}
nav p a:before{
  content: counter(navcounter) ".\0000a0\0000a0";
  counter-increment: navcounter;
}
nav p a:visited{
  color: white;
  text-decoration: none;
}


img{
  display: block;
  margin-left: auto;
  margin-right: auto;
}

img.smallfloat{
  margin: 5px;
  float: right;
  width:20%;
}

img.inline{
  display: inline;
  height: 1em;
}


nav{
  counter-reset: navcounter;
  color: white;
  background-color: black;
  position: fixed;
  font-size:24px;
  right: -250px;
  top:-550px;
  width: 300px;
  height: 600px;
  color: white;
  font-size: 1em;
}
nav:hover{
  background-color: black;
  right:0px;
  top: 0px;
}
p.right {
  text-align: right;
}
pre{
  border: 5px solid black;
  margin:8px;
}
div.box{
  border: 5px solid black;
  margin: 8px;
}
div.def{
  border: 5px solid black;
  margin: 8px;
}
div.def h3:before{
  content: "Definition: ";
}
ul,ol{
  margin: 0 8px 1em 8px;
}

table,th,td{
  border: 1px solid black;
  border-collapse: collapse;
}
table{
  margin: 8px;
}

@media print{
  iframe{
    display: none !important;
  }
  .no-print, .no-print *
    {
        display: none !important;
    }
    div.hide{
      display:block;
    }
}

footer{
  background-color: black;
  color:white;
  margin: 0;
  text-align: center;
  width:100%;
}