|
css
|
children: don't let list items look fiddly #567
|
2024-10-11 16:47:16 +02:00 |
|
fonts
|
theme: remove font Novacento #83
|
2021-11-03 19:52:55 +01:00 |
|
js
|
search: index file rename #888
|
2024-10-11 16:45:34 +02:00 |
|
webfonts
|
icon: update Font Awesome to 6.6.0 #881
|
2024-08-02 11:19:51 +02:00 |
