body {
  font-size: 110%; 
  background: linear-gradient(90deg, #007733 115px, #ffffff 125px);
  /* background-image: url(/background.gif); */
  background-repeat: repeat-y; 
  color: #005522;
  width: 75%;
}
body {margin-left: 125px}
a:link {color: #005522}
a:visited {color: #116633}
h1 {font-size: 300%; font-family: sans-serif; font-style: italic}
h2 {font-size: 150%; font-style: italic}
h5 {font-size: 100%; font-family: sans-serif; color: #FFFFFF}
h1 {margin: .5em 0 .2em}
h2 {margin: .6em 0}
h5 {margin: 0 -120px}
ol,p {margin: .2em 0}
pre {
margin: .2em 0 0 15px; 
color: #000000; 
font-family: sans-serif; 
font-size: 85%; 
white-space: pre-wrap; 
}