html body font-family Roboto Helvetica Arial sans-serif font-size 0em

html, body {
	font-family: Roboto, Helvetica, Arial, sans-serif;
	font-size: 1.0em;
}
address {
	font-size: 0.7em;
	color: red;
}
.page {
	margin: 0em 2.0em;
}
.sect {
	padding: 0em 2.0em;
}
pre {width: 100%;}