<!-- A "plain" slideshow, with grey pages and a green
     motif.
-->

a { color:navyblue }
a:hover   { color:darkred }

body {
  background: gainsboro;
  color:      black;
  margin-left: 5%;
  margin-right: 5%
}

body { line-height: 150% }

div.content,
div.meta,
div.overview  {}


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: 72pt;
           margin-bottom: 36pt }

body.content a:link     { color: forestgreen }

body.content a:visited  { color: darkgreen }

body.overview           { background-color: burlywood }

body.deep               { background-color: moccasin }

body.overview h1        { color: darkred }

body.meta a:link,
body.overview a:link    { color: forestgreen }

body.meta a:visited,
body.overview a:visited { color: darkgreen }

th { color: black }

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%;
    margin-right: 25% }

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 }