function body_font_size() {
	if (navigator.appVersion.toUpperCase().indexOf('WIN') < 0) {
		document.body.style.fontSize = "80%";		/* Windows以外なら100%に戻す */
	}
}