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.
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.