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

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

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

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

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

a.navbar { 
  color: silver;
  font-size: small;
  text-decoration: none;
}

div.codebox {
  border: thin silver solid;
  padding: 0.5em;
}

pre.codebox {
  border: thin silver solid;
  padding: 0.5em;
}

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

span.stripe0 {
  background-color: #E0E0E0;
}

span.stripe1 {
  background-color: #ffffff;
}