1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-16 18:13:49 +01:00

4 Commits

Author SHA1 Message Date
Mikolai Gütschow
154e0bd881
doc/doxygen: remove default value for search form 2024-05-21 15:09:19 +02:00
Benjamin Valentin
7812564d16 doc/doxygen: use DuckDuckGo for search 2022-07-22 14:39:51 +02:00
Karl Fessel
e91dc15304 doc/search: do not hide search on mobile and make it work
move and resize results if they are not within the document-window

modify the search result display with some javascript patching
    (in page grease(tamper)monkey approach)
2020-07-04 15:15:58 +02:00
Martine Lenders
b092179787
doc: utilize smartmenus 2017-04-25 09:35:50 +02:00