I would like to change the note font size in a css of a plugin (i.e. the css in the plugin's jpl file).
I can open the jpl file (as a ZIP; after copying it);
I can extract the css;
I can modify all items in it,
but I cannot exchange the existing file with the modified one; neither deleting nor overwriting is possible, even though I am the owner of the file (so it shouldn't be a sudo issue).
Any suggestions how I might achieve this?
(Sort of ; yes, I was able to modify the value defining the font size, but no; after restarting Joplin the note's font size in the plugin's css was unchanged; any idea what could block that statement? My userstyle.css has no font size definitions that might override the setting in the plugin ...)