font {
	font-family: Verdana, Arial, Georgia, sans-serif;
}

p.preline {
	white-space: pre-line;
	font-size: 80%;
}