pre {
	font-size:13px;
	line-height:14px;
	margin:0pt;
	padding:0px 25px;
	overflow: hidden;
	margin-bottom: 15px;
	border:1px solid #FFF;
	background-attachment: scroll;
	background-color: #E4E4E4;
	background-image: url(linenumbers.gif);
	background-repeat: no-repeat;
	background-position: left top;
	white-space:normal;
	color:#000;
}