|
css
|
mermaid: add visual hints for pan/zoom #143
|
2021-11-09 21:07:22 +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
|
mermaid: apply PR18 #145
|
2021-11-09 21:13:01 +01:00 |
|
webfonts
|
chore: upgrade fontawesome to 5.15.4 #94
|
2021-09-28 22:02:06 +02:00 |
