I just noticed that the line numbering pane uses too much space. Is there already a way to alter the left/right margin of the line numbering pane? - I looked in my current theme file, but couldn’t find an entry.