/*
HTML {
	FONT-SIZE: x-small;
}

BODY {
	FONT-SIZE: 80%;
}
*/
BODY {
	FONT-SIZE: 8pt;
}