body { font-family: sans-serif }
pre { font-family: monospaced }
pre.example { background: lightblue; margin-left: 1em; width: 98%; padding: 1em }
body.contents { background: lightblue; }
td {  background: lightblue; }
a.nodec img { 
	border: 0;
}