Markus Heiser 901819359c [update] make pygments.less ...

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

2024-05-10 10:00:31 +02:00

..

generated

[update] make pygments.less

2024-05-10 10:00:31 +02:00

js

[feat] preferences: button to enable/disable all engines

2024-04-27 18:26:23 +02:00

less

[feat] preferences: button to enable/disable all engines

2024-04-27 18:26:23 +02:00

svg

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

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