Alexandre Flament 4d051c43f3 [fix] simple theme: various about the hotkeys help
* dark mode: #555 border (same as infoboxes and other borders)
* remove a call to console.log
* center the dialog without using the style attribute.
2021-11-05 12:42:44 +01:00
..
2021-11-05 07:16:58 +00:00
2021-10-02 16:54:11 +02:00
2020-12-11 14:37:08 +01:00
2021-10-29 10:18:17 +00:00