Fix blueintro and default themes