|
css
|
theme: use --bpx1 consistently throughout CSS
|
2024-05-28 20:00:08 +02:00 |
|
fonts
|
theme: remove font Novacento #83
|
2021-11-03 19:52:55 +01:00 |
|
js
|
search: remove JSON outputformat for search index #846
|
2024-04-27 00:21:02 +02:00 |
|
webfonts
|
fontawesome: update to 6.5.2 #834
|
2024-04-19 07:27:13 +02:00 |
