Added the default theme to fix themes that depend on elements of it.