/* jbaltz css 
 */

body {  
  color: black; 
  font-family: "Bitstream Vera Sans", "Gill Sans", "Lucida Sans Unicode", LucidaSans, "Arial Black", sans-serif;
}

div.big {
  font-size: 125%;
}

div.comp {
  border: 1px solid black;
  background-color: yellow;
  font-size: 10pt;
  font-family: "OCR-A", "OCR-B", "Bitstream Vera Sans", "Gill Sans", "Lucida Sans Unicode", LucidaSans, "Arial Black", sans-serif;
}

div.boxed {
  border: 1px solid black;
  padding: 3px;
}

#twitter_div {
  border: 1px solid blue;
  padding: 2px;
  font-size: 8pt;
  }