--- a/styles/macosx.style Tue Jun 12 17:59:55 2018 +0200 +++ b/styles/macosx.style Wed Jun 13 11:33:29 2018 +0200 @@ -281,6 +281,7 @@ text.selectionBackgroundColor (Color rgbValue:16rb3d7fd) text.selectionForegroundColor Color black +text.topMargin 4 codeView2.level 0