Make the navbar less wide

Removed the "Projects" thingy because the navbar was being broken
across two lines in portrait mode.
Remove broken Nixpkgs PDF manual link

Fixes https://github.com/NixOS/nixpkgs/issues/5097.