// schrift-groessen-anpassung fuer ueber-normale-einstellungen (120dpi etc.)
if (screen.logicalXDPI > '96'){
	document.all.tags("body")[0].style.fontSize = screen.logicalXDPI/1.52 + '%';
}