/* @option theme menu font size */

#menu li a {   
	font-size: 13px;
	line-height: 17px; 
}