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: 160%;}
h2 {font-size: 150%;}
h3 {font-size: 140%;}
h4 {font-size: 130%;}
h5 {font-size: 120%;}
h6 {font-size: 110%;}

pre { font-family: monospace; }

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