> On 13 Feb 2019, at 04:03, Jonathan S. Katz <jkatz@postgresql.org> wrote:
>
> 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.
Wasn’t the shoutbox removed from the docs pages previously to conserve vertical
space?
cheers ./daniel