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

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