Re: js-info polishing

[Gavin Smith]

On Mon, Mar 22, 2021 at 6:13 PM Per Bothner <per@bothner.com> wrote:
> There should be a triple-right-arrow in a button-box in the top-left
> of the page.  If you're not seeing that, perhaps it's a font issue.
> When you see the sidebar with the "Hide sidebar" text, there should be
> a triple-left-arrow above the text.  Are you seeing that?  If that is
> missing too, then it is almost certainly a font issue.

The arrow to hide the side bar is at the bottom of the side bar, not
the top. Once I click on it the side bar disappears completely with no
button to reshow it, although the <button class="sidebar-hider"> is
still visible in the DOM in Chrome's Inspector, it doesn't appear to
take up any visible space on the page.