The error is resolved by setting the permissions on the CSS and other files edited by Theme Editor to “everyone modify”. I’d rather NOT have to set it this way, but I can not figure out which user (s) need permission to edit the files.. It’s not admin, system, or IIS user. Who else could it be?