body {
	font-size:10pt;
}
div.nav {display:none;}