* #272 proper open sides in menu buttons
* #272 WIP, good starting point for making
the top menu work well at different UI scales
* #272 WIP top menu looking better, but inconsistent size
* #272 WIP esc nice and big
* #272 consistently sized top buttons
* #272 proper highlighting of top menu elements
* #272 proper highlighting of top menu elements
* #272 nice shiny red tutorial button
* #272 better tutorial icon
* #272 missed svg changes
* #272 consistently sized top menu
* #272 better padding / alignment of top bar with other UI sections
* #272 fix hamburger menu height to
match others
* #272 top menu name set based on
keybind, use shortened names if possible
* #272 top menu name set based on
keybind, use shortened names if possible
* #272 add top menu actions button
* #272 add top menu admin button
* #272 fix sandbox top button down status
* #272 remove todo
79dd7a7d7e