body {
  background-color: whitesmoke;
  color: black;
  }


div.chapter {}


div.chapternav {
  text-align: center;
  }


div.section {}

div.subsection {}

div.fulltext {}

div.slide {
  display:none;
  }

div.theorem {
  vertical-align:super;
  color: black;
  background-color:#ccccc0;
  border-style:groove;
  border-width:medium;
  border-color:#111111;
  margin: 3ex 3ex 3ex 3ex;
  padding: 0.5ex;
  }


div.definition {
  vertical-align:super;
  color: black;
  background-color:#aac0ee;
  border-style:groove;
  border-width:medium;
  border-color:black;
  margin: 3ex 3ex 3ex 3ex;
  padding: 0.5ex;
  }


.einzug1 {
  margin-left: 4em;
  }

a.extern {
  color: brown;
  }

a.intern {
  color: navy;
  }

a:link {
  color:navy; 
  background-color: whitesmoke;
  text-decoration: none;
  }

a:visited {
  color:purple;
  background-color: whitesmoke;
  text-decoration: none;
  }

div.code {
  padding-left: 4ex;
  padding-top: 1.5ex;
  padding-bottom: 1.5ex;
  }

div.introduction {
  padding-top: 1ex;
  padding-bottom: 1ex;
  }

div.comment {}

div.example {
  padding-bottom: 1.5ex;
  }

div.titeledExample:before { 
  content:"Beispiel:";
  font-weight:bold;
  }

div.formula {}

code {
  white-space:pre;
  font-size: 100%;
  }

div.definition:before {
  content:"Definition:";
  font-weight:bold;
  display:block;
  }

div.theorem:before {
  content:"Satz:";
  font-weight:bold;
  display:block;
  }

div.programm {
  font-size:10pt;
  font-weight:bold;
  vertical-align: sub;
  padding-bottom: 0.5ex;
  padding-top: 1ex;
  }

div.programm:before {
  content: "Programm P";
  vertical-align:super;
  font-weight:bold;
  font-size:12pt;
  }

div.programm:after {content: ":";
  vertical-align:super;
  font-weight:bold;
  font-size:12pt;
  }

div.content {}


div.graph {
  padding-top: 1ex;
  padding-bottom: 1ex;
  }

span.newConcept {
  text-decoration: underline;
  }

h1.start {font-size:30pt;}

ol.section {}

ol.chapter {list-style-type:upper-roman;}

ol.content1 {
  padding-left:1.5ex;
  }

li { 
  padding-bottom:0.5em;
  }

div.title {
  display: block;
  text-align: center;
  }


p.start {
  padding-top: 0.5em;
  }