Use gruber-darker theme.