body
{
	margin: 2ex 2em;
	font-family: sans-serif;
	color: #000;
	background: #fff;
}
code
{
	font-size: 100%;
}
pre
{
	margin-top: 0;
}
#buggydiv
{
	padding: 1ex .5em;
	font-size: x-large;
	border: thin dotted gray;
	margin-top: 1ex;
}
#buggydiv.highlighted
{
	background-color: #ffe;
	color: #f00;
}
#buggydiv.lowlighted /* ahem :-)*/
{
	background-color: #eee;
	color: #aaa;
}