body {background: white; color: black; margin-left: 5%; margin-right:
5%; font-family: verdana, helvetica, helc, sans-serif; }

h1 { margin-left: -3%; }
h2,h3,h4,h5,h6 { margin-left: -4%; }
h1,h2,h3,h4,h5 {font-family: verdana, helvetica, helc, sans-serif; }

h1 { font-size: 200%; }
h2 { font-size: 150%; }

pre { font-family: monospace; }

span.old {text-decoration: line-through; }
span.new {text-decoration: underline; }