pre {
	width: 725px;
	color: #FFFFFF;
	padding: 10px;
	font-family: "Courier New", Courier, mono;
	white-space: pre;
}
pre.tab {
	background-color: #444946;
}
pre.comments {
	background-color: #31493E;
}