html.fontsize {
	font-size: 86%
}