Update DefaultTheme.clj