I would like to add some padding in the editing area in Gedit. Here is an illustration of the desired result:
I have the intuition it should be easy to do with a trick similar to this one I already use to add padding in Gnome Terminal:
However I cannot find the proper CSS selectors to do this.
Here is what I found so far:
Some CSS showing some
.gedit-document-panelselector, but this only affects the side panel you open with F9