.codesample
{
	border-right: gray 1px solid;
	padding-right: 10px;
	border-top: gray 1px solid;
	padding-left: 10px;
	padding-bottom: 10px;
	margin-left: 10px;
	border-left: gray 1px solid;
	padding-top: 10px;
	border-bottom: gray 1px solid;
	background-color: whitesmoke;
}

pre
{
	FONT-SIZE: 9pt;
}

a
{
	target: _blank;
}