I want to tweak the spacing between double dots, which is a bit wide (in my context, at least). I have found ways to reduce the spacing before and after the group of dots, but can't uncover anything that relates to spacing within the group.
Any ideas? Thanks, Paul
