pre {
	font-size: larger;
}