/* @option user selected miscellaneous theme setting */

#navBar {
	display: none;
}