body { line-height: 150%;
  margin-left: 5%;
  margin-right: 5% }

body.overview,
body.meta   {
  background: lightslateblue;
  color:      black
}

body    { font-family: "Palatino Linotype", serif }

address.creditsblock
        { font-family: "Verdana", sans-serif }

body h1 { color: black;
          line-height: 120%;
          font-family: "Verdana", sans-serif }

h1.title { margin-top: 36pt;
           margin-bottom: 36pt }

.content a:link     { color: forestgreen }

.content a:visited  { color: darkgreen }

.overview           { background-color: cornsilk }

.deep               { background-color: lavender }

.overview h1        { color: darkred }

.meta a:link,
.overview a:link    { color: forestgreen }

.meta a:visited,
.overview a:visited { color: darkgreen }

th { color: black }

div.content { background-color: moccasin }
div.meta { background-color: cornsilk }
div.overview  { background-color: aliceblue }


body.content td.oddrow   { background: mediumseagreen }
body.content td.evenrow  { background: palegreen }
body.overview td.oddrow  { background: palegreen }
body.overview td.evenrow { background: mediumseagreen }

span.colorfirst  { color: red }
span.colorsecond { color: blue }
span.colorthird  { color: green }
span.colorfourth { color: purple }
span.colorfifth  { color: maroon }

.codeblock
  { background: aliceblue;
    padding: 6pt;
    line-height: 120% }

td.done { font-size: 12pt;
          line-height: 6pt;
          background-color: olivedrab }
td.this { font-size: 12pt;
          background-color: olivedrab }
td.open { font-size: 12pt;
          background-color: #2F4F4F }

table.figure {
          margin-left: -5%;
          margin-right: -5% }

div.tablesmall { text-align: center }
div.tablesmall td { padding: 4pt;
                    font-size: 85% }

dl dl { margin-left: 1.5em }

a { color:darkgreen }
a:hover   { color:darkred }