/* @option user-selected font size */

body {
	font-size: 70%;
}