New look for the site

Today I sat down and changed the look of the navbar to something a little less in-your-face. Here's a comparison between the old look and the new, more minimalist look:

Still trying to work out the best font size and spacing between links, but this approximately how it's gonna be.

Nothing else to say about that... In other news, I've been thinking of putting NixOS on my laptop (not my main machine), so I can maybe learn it. I've tested it a bit in a virtual machine and getting a basic system set up has been relatively easy, but I wonder if I'll run into any big problems trying to daily drive it. I still have no idea how to build software on it— is ther no drop-in replacement for make? Do you absolutely have to make a derivation and run it with nix-build? That seems awfully cumbersome. I don't know how flakes work either, and honestly I don't really care either. I guess we'll see.