[gnome-builder/gnome-builder-41] css: tweak styling for overview scrubber

[Christian Hergert <chergert src gnome org>]

commit ac2cec4b780438964d813938a6410b6c29bc9a33
Author: Christian Hergert <chergert redhat com>
Date:   Thu Nov 18 12:22:36 2021 -0800

    css: tweak styling for overview scrubber

 src/libide/themes/themes/shared/shared-editor.css | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/src/libide/themes/themes/shared/shared-editor.css 
b/src/libide/themes/themes/shared/shared-editor.css
index c847028e7..c42d86e39 100644
--- a/src/libide/themes/themes/shared/shared-editor.css
+++ b/src/libide/themes/themes/shared/shared-editor.css
@@ -153,3 +153,6 @@ textview.source-map {
   /* we can't do the following in GTK 3, but supported in 4.4 */
   /* line-height: 4px; */
 }
+textview.source-map .scrubber {
+  border-radius: 5px;
+}