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.