CODE, PRE.CODE, PRE.HTML
{
	font-family: Courier, "Courier New", monospace;
	/* background: #eaeaea; */
	background: #fafafa;
	font-size: 10pt;
	white-space: pre;
	line-height: 1.2;
}

PRE.CODE, PRE.HTML
{
	padding: 1em;
	width: 134ex;
	border: thin inset black;
}

TD PRE.CODE, TD PRE.HTML
{
	width: 75%;
	border: 0;
}

/* Colors to match TextPad's Java syntax highlighting */
        CODE B,   PRE.CODE B { font-weight: normal; }
CODE.k, CODE B.k, PRE.CODE B.k { color: rgb(0,0,255);   }  /* keywords (int, char, for, while) */
CODE.O, CODE B.O, PRE.CODE B.O { color: rgb(0,0,132);   }  /* Objects (System, String) */
CODE.b, CODE B.b, PRE.CODE B.b { color: rgb(255,0,0);   }  /* brackets {[()]} */
CODE.c, CODE B.c, PRE.CODE B.c { color: rgb(0,130,0);   }  /* comments */
CODE.s, CODE B.s, PRE.CODE B.s { color: rgb(0,130,132); }  /* strings */