body {
  font-family: sans-serif;
  /*background-image: url(openlogo-nd.png);*/
  background-repeat: no-repeat;
  background-position: center center;
  background-attachment: fixed;
}

h1 {
  background-color: #0099ff;
  color: white;
  padding: 5px 15px;
  text-align: center;
}

div.preface h2 {
  background-color: #0099ff;
  color: white;
  padding: 5px 15px;
  font-size: 150%;
}

div.chapter h2 {
  background-color: #0099ff;
  color: white;
  padding: 5px 15px;
}

div.sect1 h2 {
  background-color: transparent;
  color: black;
  font-size: 140%;
  padding: 0px 0px;
}

div.navheader th {
  display: none;
}

div.screenshot {
  text-align: center;
}

div.toc {
  padding: 1px 15px;
}

div.abstract {
  background-color: #006bb3;
  color: white;
  padding: 1px 15px;
}

div.example {
  background-color: #FFBB00;
  padding: 1px 15px;
}

div.example pre.programlisting {
  margin: 0px;
}

pre.programlisting {
  margin: -0.5em 15px;
}

div.list-of-examples {
  padding: 1px 15px;
}

div.navfooter {
  background-color: #B36500;
  color: white;
  padding: 5px 15px;
}

span.inhalt {
  font-weight: bold;
  font-style: normal;
}

em.citetitle {
  font-style: normal;
}

hr {
  display: none;
}

a#karl-marx + img {
  float: left;
  padding: 5px 15px;
}