different theme for ssh