Manuel Dobusch 25f8b6d385 ui: shortcut list ...

udpated style of shortcut list

2017-02-01 21:29:15 +01:00

..

keyboard_shortcuts.css

ui: shortcut list

2017-02-01 21:29:15 +01:00