code
	{
	white-space:pre;
	}

code.term
	{
	background-color:#000000;
	color:#CCCCCC;
	white-space:pre;
	display:block;
	width:80em;
	}

div.Note
	{
	border:1px solid yellow;
	padding:8px;
	}

span.keys
	{
	font-style:italic;
	font-family:monospace;
	}