stopped polluting global JS namespace, added more hotkeys, improved dark theme