body {
  font-family: Verdana, Arial;
  font-size: 11px;
  color: #000000;
  background-color: #FFFFFF;
}

h1, h2 {
  font-family: Verdana, Arial;
}

a:link, a:active, a:visited {
  font-family: Verdana, Arial;
  font-size: 11px;
  color:#006699;
  text-decoration:none;
}

a:hover {
  font-family: Verdana, Arial;
  font-size: 11px;
  color:#dd6900;
}

acronym {
  cursor: pointer;
}

pre {
  background-color: #DEDEDE;
  border: 1px solid #AAAAAA;
  padding: 3px;
  margin-left: 10px;
  margin-top: 10px;
  font-family: Verdana, Arial;
  font-size: 9px;
  width: 740px;
}

span.code_toggle {
  font-family: Verdana, Arial;
  font-size: 10px;
  cursor: pointer;
}

div.bar_group {
  margin-left: 10px;
}