Our issue with the search still working even on the home page was that we currently show the search button on mobile landing page but not on desktop. This type of inconsitency is bad + makes it confusing to know when to allow the keyboard shortcuts for triggering search.
This PR restructures the navigation so the search bar is always at the top. As such, it moved it out of the side navigation. Additionally, this PR moves the top links to a second row so they have more room to breath since the search bar is now in the top bar. I think this will be needed in the future anyway as we expand the documentation.
Closes #391
Our issue with the search still working even on the home page was that we currently show the search button on mobile landing page but not on desktop. This type of inconsitency is bad + makes it confusing to know when to allow the keyboard shortcuts for triggering search.
This PR restructures the navigation so the search bar is always at the top. As such, it moved it out of the side navigation. Additionally, this PR moves the top links to a second row so they have more room to breath since the search bar is now in the top bar. I think this will be needed in the future anyway as we expand the documentation.
Before:
After: