|
css
|
theme: fix chapter margins on big screens #315
|
2022-07-26 20:38:43 +02: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
|
mermaid: remove console warnings in IE11 #308
|
2022-07-17 19:52:23 +02:00 |
