body,table,tr,td,div {
  font-family:Trebuchet MS;
  font-size:10pt;
}
hr {
  height:1px;
}

.code {
  border:1px solid black;
  margin-top:6px;
  margin-bottom:6px;
  padding-left:24px;
  font-family:Courier New;
  font-size:10pt;
  background-color:#DADADA
}

.snippet {
  font-family:Courier New;
  font-size:10pt;
  background-color:#DADADA
}

.indent {
  padding-left:18px;
}

a {
  font-weight:bold;
  color:red;
}

a:hover {
  color:black;
}

a.small {
  text-decoration:none;
  font-weight:normal;
  color:red;
}

.header {
  font-weight:bold;
  font-size:14pt;
  font-style:italic;
  padding-bottom:8px;
}