pre {
	font-size: x-small;
	background-color: #dddddd;
	padding:5px;
}