Hi John and Jörg (and everyone else). This appeared in version 3.1.0 and has already been reported at https://github.com/sphinx-doc/sphinx/issues/7838.
> I had postponed the task of debugging that particular issue because the > visual appearance is suboptimal anyway :-) Exactly! I tried to improve this in https://github.com/sphinx-doc/sphinx/pull/7657, but this was only a partial improvement and led to the increased spacing. I've since fixed the spacing in https://github.com/sphinx-doc/sphinx/pull/7852. Please check if that works for you! I hope this will become part of release 3.1.2. cheers, Matthias -- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sphinx-users/CAFesC-fOmqfyoWRP_CwP3ORHpi8%3Dnt77HF7eh-T7meF2YKbgLw%40mail.gmail.com.
