deleting now-obsolete css files