Rework various things to port the theme to martinwolf.org