body {
  color: #000000;
  background-color: #ffffff;
}

div.body { 
  color: #000000;
  background-color: #ffffff;
  margin-left: 10%;
  margin-right: 10%;
}

span.point {
  font-style: italic;
  font-weight: bold;
}

h1.classname {
  font-size: x-large;
  font-weight: bold;
  text-align: center;  
}

div.classname {
  font-size: small;
  font-weight: normal;
  text-align: center;
}

div.header { 
  font-size: xx-large;
  font-weight: bold;
  text-align: center;
  border-bottom-style: dotted;
  padding-bottom: 1em;
}

div.footer { 
  font-size: small
}

pre.inline {
  background-color: #E0E0E0;
  font-weight: bold;
  font-family: monospace;
  color: #802020;
}

tt {
  background-color: #E0E0E0;
  font-weight: bold;
  font-family: monospace;
  color: #802020;
}

div.sidebar {
  float: right;
  width: 25%;
  border: thin silver solid;
  margin: 0.5em;
  padding: 0.5em;
  text-align: left;
}

p.funcops {
  border: thin silver solid;
  margin: 0.5em;
  padding: 0.5em;
  text-align: left;
}