body { font-family:Verdana, Arial, Helvetica, sans-serif; }
.black { color:#000000; }
.blue { color:#1080D6; }
.green { color:#689B02; }
.blackBold { color:#000000;font-weight:bold; }
.blueBold { color:#1080D6;font-weight:bold; }
.greenBold { color:#689B02;font-weight:bold; }

pre { background:#E4ECF7; }
p.logo_bluebg { background:#E4ECF7;padding:0; }