Continue with the redesign
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.
Showing with 9150 additions and 203 deletions