Improve Projection bars styling for Theia (#185)

Fixes eclipse-glsp/glsp#1122
eclipse-glsp · Nov 7, 2023 · 20e6b86 · 20e6b86
1 parent e14f83d
commit 20e6b86
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/packages/theia-integration/css/diagram.css b/packages/theia-integration/css/diagram.css
@@ -154,3 +154,11 @@
     fill: var(--theia-info-color0);
     color: var(--theia-inputValidation-infoBackground);
 }
+
+.sprotty-projection-bar.vertical.bordered-projection-bar {
+    width: var(--theia-scrollbar-rail-width);
+}
+
+.sprotty-projection-bar.horizontal.bordered-projection-bar {
+    height: var(--theia-scrollbar-rail-width);
+}