/* @option user-selected content font size */
#contentContainer #content,
#sidebarContainer #sidebar,
#myExtraContent3 {
	font-size: 12px;
}