Small changes to the default theme.