/* @option user-selected header height and submenu display */

#header {
	height: 238px;
}

#headerborder {
	margin-top: 238px;
}

#myExtraContent3,
#myExtraContent4,
#ec3bg,
#ec3bgborder{
	display: none;
}

#sidebarContainer {
	margin-top: 59px;
}

#contentContainer {
	margin-top: 62px;
}

#submenuborder {
	margin-top: 42px;
}

#menu2topline {
	margin-top: 19px;
}

#menu2 {
	margin-top: 21px;
}

#submenubg {
	margin-top: 19px;
}