|
css
|
theme: replace font Work Sans with Roboto Flex #922
|
2024-10-11 16:47:22 +02:00 |
|
fonts
|
theme: replace font Work Sans with Roboto Flex #922
|
2024-10-11 16:47:22 +02:00 |
|
js
|
search: improve handling of multiterm search #407
|
2024-10-27 12:37:05 +01:00 |
|
webfonts
|
icon: update Font Awesome to 6.6.0 #881
|
2024-08-02 11:19:51 +02:00 |
