|
css
|
mermaid: remove visual hints for print #143
|
2021-11-09 21:36:14 +01:00 |
|
fonts
|
theme: remove font Novacento #83
|
2021-11-03 19:52:55 +01:00 |
|
images
|
Reworking screenshots after rebranding
|
2021-07-01 16:25:08 +02:00 |
|
js
|
auto-complete: patch library with PR46/75 #155
|
2021-11-16 01:15:46 +01:00 |
|
webfonts
|
chore: upgrade fontawesome to 5.15.4 #94
|
2021-09-28 22:02:06 +02:00 |
