Bartuccio Antoine be32486115 Merge pull request #1106 from ae-utbm/navbar-keyboard-navigation ...

Refactor navbar css and use details instead of div for better semantics

2025-06-05 18:17:58 +02:00

..

core

Merge pull request #1106 from ae-utbm/navbar-keyboard-navigation

2025-06-05 18:17:58 +02:00

search/indexes

search: reduce user index size

2021-09-28 01:44:15 +02:00