.footnote {
	background:	#ffe000;
	width:		15em;
	float:		right;
	border:		1px;
	border-style:	solid;
	border-color:	black;
	padding:	.5em;
	margin-top:	0pt;
	margin-left:	1em;
	margin-bottom:	1em;
	margin-right:	0pt;
	clear:		right;
}

.footnote .footnote {
	background:	#ffe0c0;
	width:		90%;
}

/* "code" is expected to be a <blockquote> class */
/* XXX - Perhaps ought to consider separate entries for ".code" and ".code PRE" */
.code {
	font-family:	Courier, monospace;
	padding-left:	10pt;
	padding-right:	10pt;
	padding-top:	5pt;
	padding-bottom:	5pt;
	margin-left:	5em;
	margin-right:	5em;
/*}

.code {*/
	background:	#ffffe0;	/* LightYellow */
	border:		1;
	border-color:	orange;
	border-style:	solid;
	overflow:	scroll;
}

/* Single-line code samples */
.code > tt {
}

/* Multi-line code samples */
.code > pre {
	padding:	0px;
	margin:		0px;
}