On Tuesday, June 30, 2020 at 4:01:48 AM UTC-7, Matthias Geier wrote: > > 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! >
In my limited testing, it does work for me, thanks! > > 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 sphinx-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sphinx-users/fa153c7d-b31b-463d-ba1c-eb69321f49b8o%40googlegroups.com.
