On Thursday, 30 April 2020 14:05:24 UTC+1, Graeme wrote:
HTML is indeed no longer html, at least at my basic level. I note
Owain's suggestion to rewrite the style sheet, but that is way beyond my
experience.

You can have a look at userstyles as it may have been done for you already, eg

https://userstyles.org/styles/57/sub...eme-beautifier

Owain