/* --------- shamelessly stolen from the GHC web site ----------------------
 *
 * background colors used:
 * dark green:  #008000
 * light green: #d6f3d7;
 * light grey:  #e0e0e0;
 * white:       #ffffff;
 */

BODY { 
  margin-top: 0px;
  margin-left: 0px;
  background-color: #ffffff;
  color: #000000;
  font-family: sans-serif;
  } 

A:link    { color: #0000e0; text-decoration: none }
A:visited { color: #0000a0; text-decoration: none }
A:hover   { text-decoration: underline }

TD {
  border-width: 0px;
}

LI {
  padding-left: 10px;
  padding-bottom: 8px;
}

H1 {
  font-style: italic;
  font-size: 140%;
  border-bottom-width: 2px;
  border-bottom-style: solid;
  border-bottom-color: #000000;
}
  
H2 {
  font-style: italic;
  font-size: 120%;
  border-bottom-width: 2px;
  border-bottom-style: solid;
  border-bottom-color: #000000;
}

H3 {
  font-style: italic;
  font-size: 110%;
}
  
H3.colored {
  font-style: italic;
  font-size: 110%;
  background-color: #d6f3d7;
}
  
TD.wholecontents {
  width: 0px;
  background-color: #d6f3d7;
  vertical-align: top;
}

TD.rightpane {
  width: 100%;
  vertical-align: top;
  padding-top: 20px;
  padding-left: 10px;
  }

TD.header {
  font-style: italic;
  font-weight: bold;
  font-size: 200%;
  padding: 20px;
  padding-left: 4.25em;
  color: #d6f3d7;
  background-color: #008000;
  }

TD.footer {
  padding: 10px;
  background-color: #d6f3d7;
  font-size: 90%;
  padding-top: 20px;
  }

TD.lefthead {
  padding: 6px;
  color: #ffffff;
  background-color: #008000;
  font-weight: bold;
  font-style: italic;
  }

TD.contents {
  padding-left: 6px;
  padding-right: 6px;
  padding-top: 6px;
  padding-bottom: 10px;
  }

DIV.body {
  padding-left: 15px;
}

TD.indentcell {
  padding-left: 10px;
}

TD.cellhead {
  padding-top: 7px;
  font-weight: bold;
  border-bottom-width: 1px;
  border-bottom-style: solid;
}

PRE.code {
  background-color: #e0e0e0;
}

CODE {
  font-size: 110%; // this is dodgy fiddling -- should advoid this
}