scrollbar hide & toolbar auto-hide

Some tweaks from @piersh

* Workaround for Chrome bug where textarea scrollbars don't obey `visibility: hidden;`

* Auto-hide the toolbar if the code has been manually hidden and there is no mouse activity for about 5 seconds