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

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

/* Code references embedded in narrative */
code.codeblue
	{ color: #0000FF;
	font-family: Courier, monospace, serif }


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

/* Blue text references embedded in narrative */
font.fontblue
	{ color: #0000FF }

/* End of File */