On Tuesday, June 30, 2020 at 11:13:11 AM UTC-7, John H Palmieri wrote: > > > > 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 >> > And now 3.1.2 fixes the problem!
-- John -- 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/473652c4-83e2-442c-a394-d378b598eb51o%40googlegroups.com.
