[gnome-text-editor] css: soften overview map borders

[Christian Hergert <chergert src gnome org>]

commit a256a874df9b06fe4fc07022a94e86e4cc55da90
Author: Christian Hergert <chergert redhat com>
Date:   Tue Oct 12 13:24:04 2021 -0700

    css: soften overview map borders

 src/TextEditor.css | 5 +++++
 1 file changed, 5 insertions(+)
---
diff --git a/src/TextEditor.css b/src/TextEditor.css
index 3e62ee9..6394063 100644
--- a/src/TextEditor.css
+++ b/src/TextEditor.css
@@ -103,6 +103,11 @@
   padding: 3px;
 }
 
+textview.source-map slider {
+  border-radius: 9px;
+  margin: 0 8px;
+}
+
 textview.source-map {
   font-family: BuilderBlocks;
   font-size: 4px;