Bjørn Erik Pedersen f129366810 theme: Add a simple LRU cache for search

2025-03-11 16:57:59 +01:00

..

explorer.js

content: Fix typos

2025-02-18 00:06:28 -08:00

index.js

Add new theme

2025-02-11 16:30:05 +01:00

navbar.js

theme: Hide anchor until mouse-over

2025-03-09 18:05:52 +01:00

search.js

theme: Add a simple LRU cache for search

2025-03-11 16:57:59 +01:00

toc.js

theme: Get the scrollspy back working

2025-02-17 23:49:23 +01:00