pre {
	background: url(linenumbers.gif) no-repeat scroll left top #f5f5f5;
	border:1px solid #b5a3a3;
	padding-left: 35px;
	border-right: 3px solid #b5a3a3;
	font-size:12px;
	line-height:14px;
	margin:0pt;
	margin-bottom: 15px;
}