Related thread: https://itch.io/t/3263718/hide-able-user-tools-in-web-pages
(contains custom CSS to place the user tools at static position)
