further tweaks to text size in explorer