|
css
|
notice: add expander to box title #901
|
2024-09-01 13:56:39 +02:00 |
|
fonts
|
theme: remove font Novacento #83
|
2021-11-03 19:52:55 +01:00 |
|
js
|
mermaid: update to 11.1.0 #904
|
2024-09-02 17:48:55 +02:00 |
|
webfonts
|
icon: update Font Awesome to 6.6.0 #881
|
2024-08-02 11:19:51 +02:00 |
