/* docforth style sheets */
html {
  /* background-color:white; */
}
div.code {
  padding:0.5em;
  /* background-color:black; */
  /* color:white; */
  font-size:large;
  /* font-weight:bold; */
  /* text-transform:lowercase; */
}
div.code a.name {
  font-weight:bold;
}
div.code a.ref {
  text-decoration:none;
}
div.code a.ref:hover {
  text-decoration:underline;
}