allixx c85f706601 [fix] wrong engines padding

2024-01-31 17:22:03 +01:00

..

generated

[update] make pygments.less

2023-11-27 14:43:43 +01:00

js

[feat] preferences: button to copy input to restore preferences hash

2024-01-29 18:09:22 +01:00

less

[fix] wrong engines padding

2024-01-31 17:22:03 +01:00

svg

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

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