Actually fix the default theme
Release 3.18.0-4