body {
	font-size: 80% !important; /* 10px */
}