@CHARSET "UTF-8";

caption{
	font-weight: bold;
	font-family: Tahoma, Helvetica, sans-serif;
	font-size: xx-small;
	line-height: 110%;
}

pre{
	margin: 0px 20px 0px 20px;
	padding: 2px 2px 2px 2px;
	background-color: #F0F0F0;
	border: solid 1px lightgrey;
}