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

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