/* @option user-selected navigation height setting */

#horizontalBar,
#barFill {
	height: 35px;
}

#nav li {
	line-height: 35px;
}

#nav ul ul {
	top: 34px;
}

#nav ul ul li {
	line-height: 35px;
}

#nav ul li span.arrow {
	top: 13px;
}

#nav ul ul li span.arrow {
	top: 12px;
}

#menuBarSearchContainer {
	top: 6px;
}

#dateTimeFunction,
#functionBreadcrumb,
#dateFunction,
#lastUpdatedFunction {
	margin-top: 7px;
}