tweaked highlighted-embedded font size.