css
|
clipboard: move head styles to stylesheet #286
|
2022-06-23 21:39:47 +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
|
swagger: avoid builtin syntax-highlightning #280
|
2022-06-23 00:08:07 +02:00 |