Petri Salminen cdfb3f7194 docs: make the website navbar stick to top ... Navbar will remain visible on the top of the screen, even when the user has scrolled down. This makes it easier to navigate the site quickly.		2020-06-25 11:47:56 +01:00
..
menu.html	docs: fix cosmetic issue in menu	2020-05-27 17:31:09 +01:00
navbar.html	docs: make the website navbar stick to top	2020-06-25 11:47:56 +01:00