In V11 CE, I'm having a problem where changes to certain less files aren't being saved.

I have a third party theme installed (Crafito, though I don't know that it has any role to play in the problem) and any changes I make vanish after the screen refreshes after clicking 'Save'.

It's odd, because I can edit some of the less files, and on a test server I can edit all of them, but on my production server there are some that seem to be locked or something.

It might be helpful for my trouble shooting if I knew where in the database changes to these files are stored (I'm assuming they're not stored in the static files in the source code).

Can anyone tell me, or suggest a reason why I'm hitting this problem?