/* @option theme menu font size*/

#navcontainer a {
	display: none;
}

#myExtraContent1 {
	margin-top: 6px;
	padding-top: 0;
}