Switch terminal theme to grb3