[gnome-text-editor: 9/9] Merge branch 'wip/exalm/styles' into 'main'

[Christian Hergert <chergert src gnome org>]

commit 751caeb36045fdede348e10fa9322ea670804249
Merge: f0d5a1e 8f36349
Author: Christian Hergert <christian hergert me>
Date:   Fri Jan 7 17:22:54 2022 +0000

    Merge branch 'wip/exalm/styles' into 'main'
    
    Style polish
    
    See merge request GNOME/gnome-text-editor!36

 src/TextEditor.css           | 50 ++++++++++++--------------------------------
 src/editor-position-label.ui |  3 +++
 src/editor-recoloring.c      |  4 ++--
 3 files changed, 18 insertions(+), 39 deletions(-)
---