[roger64]

Thanks Ken

I was not aware of such a possibility. But I wonder what's the use of changing all these lookalike .css files.

Would it not be more simple to decide to keep, say, some "user.css" file unchanged during the update process?