/*See all.css for colorscheme info*/

#bottomStuff, #navFloat, #siteInfo, #errors, .languages, #fontChangerBar {
  display: none;
}
.finePrint {
  font-size: 85%;
  line-height: 108%;
}
.code	{
  font-family: "Bitstream Vera Sans Mono", monaco, "Courier New", courier, monospace;
  font-weight: normal;
  background: inherit;
  color: inherit;
}