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