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