Thanks for replying Rob.
Using Windows 8.1 and Firefox 55.0.2
After seeing your post, I tried with IE11, and it was standard single spacing.
On reflection, the double spacing may have followed a recent Firefox update. It's just slightly less convenient with the extra scrolling, and I'd like to understand the cause.