Improved search box
The navbar is starting to get a bit crowded which means the search box drops everything down below the logo. This merge request improves that by having the search box expanded over the nav links.
Closes #1001 (closed)
The navbar is starting to get a bit crowded which means the search box drops everything down below the logo. This merge request improves that by having the search box expanded over the nav links.
Closes #1001 (closed)