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

#sidebarContainer #sidebar {
	font-size: 13px;
}