Guillaume Gomez
|
82969e5c4e
|
Allow to go through clippy lints page without javascript
|
2024-10-18 18:03:16 +02:00 |
|
Guillaume Gomez
|
603934336d
|
Greatly reduce generated HTML page size
|
2024-10-03 11:17:33 +02:00 |
|
Guillaume Gomez
|
823c1246ab
|
Move inlined CSS into style.css
|
2024-10-03 11:12:19 +02:00 |
|
Guillaume Gomez
|
aeb548a4f7
|
Put back interactions with settings menus
|
2024-10-03 11:12:11 +02:00 |
|
Guillaume Gomez
|
574e3dd922
|
Finish porting lint functionalities to vanilla JS
|
2024-09-22 22:30:45 +02:00 |
|
Guillaume Gomez
|
934e98d591
|
Unify theme and settings menus
|
2024-08-11 19:39:19 +02:00 |
|
Guillaume Gomez
|
7c5209121d
|
Add new settings menu
|
2024-07-30 17:31:42 +02:00 |
|
Guillaume Gomez
|
b7e7975ded
|
Move style into its file
|
2024-07-30 16:01:36 +02:00 |
|