/* @option user selected font size setting */

body {
	font-size: 75%;
}