|
css
|
badge: fix text color for IE11 #462
|
2023-02-03 00:02:47 +01: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
|
mark: fix opening of menus if search term was found #452
|
2023-02-03 08:56:01 +01:00 |
