document the additional scaling for the small (12px, 9px) fuctional icons (derived from the symbol sizes in the old pngs)