html
{
	background-color:#000066;
}
body
{
	width:800px;
	margin:1ex auto;
	font-family:sans-serif;
	background-color:#FFFFFF;
	padding:1ex 1em;
}
a
{
	text-decoration:none;
}
a:hover
{
	text-decoration:underline;
}
#descr code.list
{
	display:block;
	white-space:pre;
	border-style:dashed;
	border-color:#0000FF;
	border-width:1px;
	background-color:#EEEEFF;
	padding:1ex 1em;
	margin:1ex 0;
}