/* Code fragments (structures, examples, etc.) */
PRE
	{ color: #000000;
	font-family: Courier, monospace, serif }

/* Code references embedded in narrative */
CODE
	{ color: #800000;
	font-family: Courier, monospace, serif }

/* Code prototypes (the bulleted function headings) */
CODE.proto
	{ color: #000000; font-weight: bold;
	font-family: Courier, monospace, serif }

/* Code font (mainly for use in <A> tags) */
.codefont
	{ font-family: Courier, monospace, serif }

/* Column title font; also used for underlined topic headings */
.coltitle
	{ color: #000000;
	font-weight: bold; text-decoration: underline;
	font-family: Arial, Helvetica, sans-serif }

/* Configuration option references */
.cfgoption
	{ color: #006666;
	font-family: Arial, Helvetica, sans-serif }

/* End of File */