I have enabled caching and I didn't see any change after I updated the 'headerLogoHeight' style property. After I added a new line to EXTRA.css and saved it, all is fine. Don't know if this is something from my end so posting it here...
ummm... I found the issue: I made an add-on to change the URL of style resources:
I was fetching the last_edit_date of the latest template instead of the last_mod_date of the style to fetch the date, and only the last_mod_date of the style changes when updating a proprety... sorry for missing that