/*
Stylesheet for printing
*/

body {
	font: 62.5% /* 16px × 62.5% = 10px */ Times New Roman, Garamond, serif;
	color: #000;
	background: #fff;
	font-size: 1.2em;
}