Chris Sewell 53119133f2 [docs] Keep top-bar visible (#12464) ...

This commit ensures the top-bar is always visible, rather than being hidden on scrolling or navigating to a target.

2024-06-23 00:19:43 +02:00

..

static

[docs] Keep top-bar visible (#12464)

2024-06-23 00:19:43 +02:00

layout.html

[docs] Add Github repo icon-link to topbar (#12462)

2024-06-22 20:48:18 +02:00

theme.toml

Convert `theme.conf to theme.toml` (part 2)

2024-04-11 19:01:17 +01:00