|
css
|
#theme: more fallbacks for lately changed CSS vars
|
2022-02-11 09:07:58 +01:00 |
|
fonts
|
theme: remove font Novacento #83
|
2021-11-03 19:52:55 +01:00 |
|
images
|
theme: support for dark mode #175
|
2022-02-11 00:59:40 +01:00 |
|
js
|
auto-complete: document change #155
|
2021-11-19 22:18:36 +01:00 |
|
webfonts
|
chore: upgrade fontawesome to 5.15.4 #94
|
2021-09-28 22:02:06 +02:00 |
