#midcolumn pre
{
	padding: 0;
	margin: 0;
}

#midcolumn pre:hover
{
	background-color: #DDF6FF;
}

#midcolumn pre span.error
{
	background-color: black;
	color: orange;
}

#midcolumn pre span.fail
{
	color: red
	font-weight: bold;
}

#midcolumn pre span.success
{
	color: green;
	font-weight: bold;
}

#midcolumn pre a[name]
{
	float: left;
	width: 5em;
	text-align: right;
	margin-right: 1em;
}

#midcolumn pre a[name]:before
{
	content: "[";
}

#midcolumn pre a[name]:after
{
	content: "]";
}

#midcolumn abbr:before
{
	content: "{";
}

#midcolumn abbr:after
{
	content: "}";
}

#midcolumn div.options
{
	text-align: left;
	margin: 1em;
}

#midcolumn div.options a
{
	margin: 1em;
}