Markus Heiser b08a779f2e make pygments.less ...

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>

2022-08-19 10:00:50 +02:00

..

generated

make pygments.less

2022-08-19 10:00:50 +02:00

js

[fix] keyboard.js - highlightResult: don't steal focus on click event

2022-06-14 15:14:19 +02:00

less

Submit GH bug: ask the user to do some checks before submitting a new issue

2022-07-08 09:04:57 +02:00

svg

Theme: all top right icons have labels including "Preferences"

2022-07-02 10:04:35 +02:00