html {
	font-size: 80%;
}

#menu a, #submenu a { font-size: 90%; }