Ah, I’d forgotten about the dark theme. Fixed.
Oh, very neat! Manually entering three grave-marks
was not terribly intuitive, I think!
Thank you for adding this. 
Ah, I’d forgotten about the dark theme. Fixed.
Oh, very neat! Manually entering three grave-marks
was not terribly intuitive, I think!
Thank you for adding this.