/* @option theme extracontent font-size */

#myExtraContent1 {
	font-size: 11px;
}