/* @option theme menu font size*/

#navcontainer a {
	font-size: 20px;
}