misc changes of theme name in css files