|
css
|
notice: support user defined box styles #913
|
2024-09-12 07:55:24 +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 |
