/* @option theme Extra content font-size*/

#myExtraContent1,
#myExtraContent2,
#myExtraContent3,
#myExtraContent4,
#myExtraContent1 a:link,
#myExtraContent2 a:link,
#myExtraContent3 a:link,
#myExtraContent4 a:link {
	font-size: 11px;
}