changed tab colors in terminal; other updates