Switching to Red Hat theme by default