Nick Craig-Wood 358e2b2665 Revert "docs: make the website navbar stick to top" ...

Unfortunately this breaks the anchor links - the titles are under the
navbar, so revert this for the moment.

This reverts commit cdfb3f7194.

2020-09-02 16:43:05 +01:00

..

menu.html

docs: fix cosmetic issue in menu

2020-05-27 17:31:09 +01:00

navbar.html

Revert "docs: make the website navbar stick to top"

2020-09-02 16:43:05 +01:00