[hollisbrown]

Cheers, happy to hear that!

There already is a "collapse" button if you bring up the menu top right (maybe its too subtle?). Default browser zoom out (Ctrl -) should also work fine, so you can see all shortcuts at once, e.g. on a second monitor or on a beamer, if you're teaching a group of people.

[colinwilyb]

What is a beamer? A video projector?

[hollisbrown]

Yep. German here, just realised this is another english word we use completely inapproprately, same as "handy" (mobile phone) and "public viewing" (public screening). Sorry for butchering your language.