/* @option user-selected ExtraContent font size */

#myExtraContent1,
#myExtraContent2,
#myExtraContent3,
#myExtraContent4,
#myExtraContent5,
#myExtraContent6,
#myExtraContent7  {
	font-size: 12px;
}