move separator from between icon border and line numbers to between bar and text

Christoph Cullmannrequested to merge
work/improve_border_rendering into master

this make the distinction between text area and border working for all themes

Merge request reports