I suppose it should change the preview before I hit save?
In order to debug it, which CSS (or inline style) does it add when changing the settings?
the ‘selector’ field, I assume it conjugates it to the node’s selector path, does it?
For example, if the node id is XYZ, it will automatically translate it to ‘#XYZ del’ so I don’t have to worry about it. Or should I add different selector?
1) I suppose it should change the preview before I hit save?
Yes, it should update the font size of the del tag. Maybe try .price del as your selector.
2) In order to debug it, which CSS (or inline style) does it add when changing the settings?
It adds the font-size: (VALUE)px; to that del tag.
3) the ‘selector’ field, I assume it conjugates it to the node’s selector path, does it?
Yes.
For example, if the node id is XYZ, it will automatically translate it to ‘#XYZ del’ so I don’t have to worry about it. Or should I add different selector?
Try the selector I mentioned. If that doesn’t work, it might be that you have !important in your frontend.css.php file.