1. 10 Aug, 2018 1 commit
  2. 26 Sep, 2015 1 commit
  3. 24 Aug, 2015 1 commit
  4. 19 Aug, 2015 1 commit
    • Willem Sonke's avatar
      Continue with the redesign · 39a13836
      Willem Sonke authored
      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
      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
  5. 21 Jul, 2015 1 commit
    • Willem Sonke's avatar
      Start with a redesign of the entire site · 7eab4c13
      Willem Sonke authored
      I did away with the leaves header on every page, but the leaves are now
      featured much more prominently on the home page. The remainder of the
      pages just contains a nicely coloured header.
      Also, some pages now have TOCs with Bootstrap scrollspies (although the
      contents of the TOC still need to be generated automatically - at the
      moment they are hard-coded).
      At the moment I only changed the English locale, so the other language
      versions are terribly broken. The English one is also broken in quite
      some places, but not terribly so.
  6. 18 Jan, 2015 1 commit
  7. 15 Jan, 2015 2 commits