setting Lavender as default theme for 0.4.0, woo!