body {
  margin-left: 2%;
  margin-right: 2%;
  color: black;
  background: white;
  font-size: 24px;
  font-family: arial, helvetica, sans-serif;
}

div.chapternav {
  display: none;
}

div.fulltext {
  display: none
}


div.slide {
  display: block;
  padding-bottom: 10em;
  margin-left: 2%;
  margin-right: 2%;
}

div.slide:before {
  content: "Techniken der Logikprogrammierung";  
  display: block; 
  font-weight: bold;  
  font-size: 80%; 
  text-align: center; 
} 

a[rel=previous-chapter]:before { content: url(../Images/last.gif); }

a[rel=previous]:before {content: url(../Images/left.gif);}

a[rel=toc]:before {content: url(../Images/toc.gif);}

a[rel=next]:after {content: url(../Images/right.gif);}

a[rel=next-chapter]:after { content: url(../Images/next.gif); }

div.navbar {
  display: block;
  text-align:right;
  padding-bottom: 0em;
  margin-bottom: 0em;
}

div.slidebody {
  color: black;
  background: white;
  margin: 0;
  height: 130mm;
}

div.code {
  padding-left: 2em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  display: block;
}
  
div.programm:before { 
  content: "Programm P";  
  vertical-align:super; 
  font-weight:bold;
  } 
 
div.programm:after {
  content: ":"; 
  vertical-align:super; 
  font-weight:bold;
  padding-bottom:1em;
  }
  
div.explanation {
  padding-top: 0.2em;
  padding-left: 2em;
  color: maroon;
  background: white;
  font-style: italic;
  }

div.introduction { 
  padding-bottom: 0.5em;
  }

div.definition { 
  padding-bottom: 1em;
  }

div.theorem { 
  padding-bottom: 1em;
  }

div.content { 
  padding-bottom: 0.5em;
  }

div.comment { 
  padding-bottom: 0.5em;
  }

code {
  color: navy;
  background: white;
  font-weight: bold;
  white-space:pre;
  font-family: "Courier New", courier, monospace;
  }

.einzug1 {
  margin-left: 4em;
  }

a.extern {
  color: brown;
  }

a.intern {
  color: navy;
  }

a:link    {
  color: navy;
  background: white;
  text-decoration: none
  }
 
a:visited {
  color: black;
  background: white;
  text-decoration: none
  }

a:active  {
  color: red;
  background: white;
  }

a.offsite {
  color: blue;
  background: white;
  }

span.newConcept {text-decoration: underline}

li { 
  padding-bottom: 0.5em;
  }

UL, OL { 
  color: black;
  background: white;
  margin-left: 0em;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  font-size: 100%;
}

UL UL, UL OL, OL UL, OL OL {
  font-size: 90%;
}


hr {
  padding: 0em; 
  margin-top: 0em;
  color: black;
  background: white;
}

h1 {
  color: navy;
  background: white;
  font-size: 150%;
  font-weight: bold;
  font-family: arial, helvetica, sans-serif;
  padding: 0em;
  margin: 0em;
}

h2 {
  color: black;
  background: white;
  font-size: 100%;
  font-family: arial, helvetica, sans-serif;
  padding: 0em;
  margin: 0em;
}

h3 {
  color: black;
  background: white;
  font-size: 80%;
  font-family: arial, helvetica, sans-serif;
}  

h4 {
  color: black;
  background: white;
  font-size: 70%;
  font-family: arial, helvetica, sans-serif;
}