Erik Faye-Lund db8e49682d docs: expand mobile-menu without js ...

Without javascript support, a user can't expand the menu. So let's
leave it always-expanded in that case.

Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/24721>

2023-08-21 12:03:20 +00:00

..

static

docs: upgrade bootstrap to 5.3.1

2023-08-16 10:47:36 +00:00

layout.html

docs: expand mobile-menu without js

2023-08-21 12:03:20 +00:00

search.html

docs: add custom html theme

2023-04-26 22:45:41 +00:00

theme.conf

docs: add custom html theme

2023-04-26 22:45:41 +00:00