Improve styling

eclipse-glsp · Nov 6, 2023 · 8a20893 · 8a20893
1 parent d4fd38f
commit 8a20893
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 3 deletions.
diff --git a/examples/workflow-standalone/css/diagram.css b/examples/workflow-standalone/css/diagram.css
@@ -62,3 +62,24 @@ polygon.sprotty-node {
 .sprotty-node.selected {
     stroke: rgb(87, 87, 214);
 }
+
+.bordered-projection-bar {
+    border-color: #a1a1a1;
+}
+
+.sprotty-viewport {
+    border-width: 1px;
+    border-color: #555555;
+}
+
+.sprotty-projection-bar.horizontal.bordered-projection-bar {
+    height: 15px;
+}
+
+.sprotty-projection-bar.vertical.bordered-projection-bar {
+    width: 15px;
+}
+
+.projection-scroll-bar {
+    background-color: #555555;
+}
diff --git a/packages/client/css/toast.css b/packages/client/css/toast.css
@@ -15,12 +15,11 @@
  ********************************************************************************/
 .toast {
     position: absolute;
-    bottom: 1rem;
-    width: 100%;
+    bottom: 48px; /* same as top of toolbar by default */
     display: grid;
     grid-template-columns: 1fr 1fr 1fr;
     grid-column-gap: 1rem;
-    margin: 0 1rem;
+    left: 40px; /* same as right of toolbar by default */
 }
 
 .toast-column-left {