It's taken me a while but I've finally fixed some of the last missing things on this website.

Specifically, there are two main changes here:

• The CSS is now making use of CSS Variables to reference common colors, and that's quite nice :-)
• Header links are finally there

Nothing else, really. I need to come up with a better schedule for this thing, it's way too stale for my taste...