michael_abrahams writes

It is nice to have the option to write a CSS file with an editor of choice. However I expect most users like myself would only want to make very small changes like font and color, and switching context to a whole different app and reading/writing files to disk is more trouble than it’s worth in those cases. It would be nice to be able to edit the CSS in the User Interface tab using a dialog box, the way it’s done with the "Edit result page html header insert" button in the Results List tab.

medoc writes

Are you referring to the snippets window ? I had a look at the code and it could certainly use improvement and cleanup, this was an even quicker hack than the rest of the recoll GUI …

medoc writes

The patch should work with the 1.20 branch too.