On 2/11/19 8:59 PM, Daniel Gustafsson wrote:
> If you are referring to the navbar hiding content on the documentation pages,
> it’s discussed in 558C4385-EEA2-43EF-BC9E-B12AB6316D35@yesql.se and Jonathan is
> working on a patch for it.
I have pushed a fix for this. Apologies for the delay.
Jonathan