change color-theme with putty