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