/* @option user selected font size */

body {
	font-size: 80%;
}