tidying, removing color-theme stuff