small improvements: Hotkeys and css changes