/* @option user selected sidebar font size setting */

#aside {
	font-size: 90%;
}