On Fri, Jul 25, 2025 at 05:41:27PM +0100, Gavin Smith wrote: > I am afraid to say that I liked the older formatting better. The > screen shots show the comparison (taken at 200% zoom in Chromium).
Not sure that it is really helpful, but I personally find that both are ok in term of esthetics of the formatting and convey the structure correctly. -- Pat
