modified the default terminal theme a bit (darker background)