/*pre.prettyprint{padding:8px;border:1px solid #888;font-size:9pt;background:#eef}*/
pre.prettyprint{
	max-height:400px;
	overflow: auto;
	background-color:#EEEEEE;
	-moz-border-radius: 8px;
	-webkit-border-radius: 8px;
	border: 1px solid #EEEEEE;
	padding: 10px;
}