body {
  background-color: #fff;
  margin:           0px;
}

dd {
  margin:           1em;
}

h1 {
  font-size:        1.5em;
  margin-top:       1.5em;
}

h2 {
  font-size:        1.3em;
  margin-top:       1.3em;
}

pre {
  background-color: #cc9;
  border:           dotted 1px #000;
  color:            #936;
  margin-right:     1.7em;
  margin-left:      1.7em;
  padding:          0.5em;
}

table, tr, th, td {
  border:           1px dotted #ccc;
  padding:          5px;
}

/* headers hilight */
th, .highlight {
  background:       #fc3;
}

.throbber {
  background:       #fc3;
  background-image: url("images/bkgrnd.gif");
  padding:          0.1em;
  text-align:       right;
}

.container {
  margin:           1em;
  margin-top:       2em;
  margin-bottom:    2em;
}

.navigation {
  font-weight:      bold;
  font-size:        0.8em;
  margin-top:       0.2em;
  margin-bottom:    0.4em;
  padding:          0.3em;
}

.links span:before {
  content: "Addendum";
}

.links td {
  font-size:        smaller;
}