.controls, p.note, p.topnote, p.error, #footer, #bug, #leftbug, #headercontrols
  {
  display: none;
  }

.printonly 
  {
  display: normal;
  }

body
  {
  font-family: Georgia;
  }

h1
  {
  font-weight: normal;
  font-size: 1.2em;
  }

td.code
  {
  border: 1pt solid #808080;
  margin: 6pt;
  padding: 3pt 12pt;
  }

div.highlight
  {
  margin: 12pt 0;
  }

.controlbar
  {
  clear: both;
  text-align: left;
  }
  
#topbar
  {
  clear: both;
  }