I added an "About me" page and a page with publications. Also added a
rant about Windows 10.

For managing the overflowing bucket of CSS code, I finally switched to
Less.

Also I changed the layout again: the navigation bar is now blue. There
is a lot of stuff broken right now, but at least it looks reasonably
nice.