Richard Edgar
Richard Edgar
Gentle ping on this, since we added it to the v.8 milestone @hildeweerts @romanlutz @adrinjalali
@bram49 did you want to reply to @romanlutz 's queries?
Thanks for the quick response @bram49 . We're thinking about our next (v0.8) release, and were hoping to have this PR included.
I suspect that this is related to the logo link in `html_theme_options` in `conf.py` but I'm not sure _exactly_ what is happening.
I wouldn't object to updating to the latest version of the theme. @adrinjalali do you have any concerns, since you were the last person tangling with the doc build?
Thanks for the detective work @iofall !
I will probably skip the 'edge correction' and parallelisation from the original PR, at least initially; For right now, I want to make sure that things work.
Ping..... @MiroDudik trying to get this back to the top of your queue
@slundberg @Harsha-Nori ?
> LGTM. One thought - several of your edits here are small formatting fixes like adding whitespace and changing a single quote to double quote. We should consider picking a...