body { font-family: sans-serif }
pre { font-family: monospaced }
pre.example { background: lightblue; }
body.contents { 
  background: #dadee1; 
}
td {  background: lightblue; }
a:visited { color: #00679e; }
span.dn { color: blue; font-style: italic; font-size: x-small }