pre
{
/* [ shterm */
	font-family:		"DejaVu Sans Mono", monospace;
	font-size:			smaller;
	font-weight:		bold;
/* ] shterm */
	color:				LightGrey;
	background-color:	black;
	border-width:		3px;
	border-style:		solid;
	border-color:		#D0D0B0;
	width:				90%;
	max-height:			30em;
	overflow:			auto;
	margin:				0 auto 0 auto;
	padding:			0.2em 0.5em 0.2em 0.5em;
}

table
{
	border-width:		1px;
	border-style:		solid;
	background-color:	#E8E8D8;
}

td, th
{
	border:				1px solid #D0D0B0;
}