Update grapher.css (#1285)

lutzroeder · Jul 9, 2024 · aeef14c · aeef14c
1 parent 84d46c6
commit aeef14c
Showing 1 changed file with 10 additions and 10 deletions.
diff --git a/source/grapher.css b/source/grapher.css
@@ -66,15 +66,15 @@
 .graph-item-output:hover path { fill: #fff; }
 
 #arrowhead { fill: #000; }
-#arrowhead-hover { fill: rgba(238, 0, 0, 0.9); }
-#arrowhead-select { fill: rgba(238, 0, 0, 0.9); }
+#arrowhead-hover { fill: rgba(220, 0, 0, 0.9); }
+#arrowhead-select { fill: rgba(220, 0, 0, 0.9); }
 
 .edge-path { stroke: #000; stroke-width: 1px; fill: none; marker-end: url("#arrowhead"); }
 .edge-path-hit-test { pointer-events: stroke; stroke-width: 0.5em; fill: none; stroke: #000; stroke-opacity: 0.001; }
 
-.select > .node.node-border { stroke: rgba(238, 0, 0, 0.9); stroke-width: 2px; }
-.select.edge-path { stroke: rgba(238, 0, 0, 0.9); stroke-width: 1px; marker-end: url("#arrowhead-select"); }
-.select.node-argument > rect { fill: rgba(238, 0, 0, 0.9); stroke: rgba(200, 0, 0, 0.9); }
+.select > .node.node-border { stroke: rgba(220, 0, 0, 0.9); stroke-width: 2px; }
+.select.edge-path { stroke: rgba(220, 0, 0, 0.9); stroke-width: 1px; marker-end: url("#arrowhead-select"); }
+.select.node-argument > rect { fill: rgba(220, 0, 0, 0.9); stroke: rgba(210, 0, 0, 0.9); }
 .select.node-argument > text { fill: #f6f6f6; }
 
 .edge-label { font-family: -apple-system, BlinkMacSystemFont, "Segoe WPC", "Segoe UI", "Ubuntu", "Droid Sans", sans-serif, "PingFang SC"; font-size: 10px; }
@@ -91,14 +91,14 @@
     .node path { stroke: #1d1d1d; }
     .node line { stroke: #1d1d1d; }
 
-    .select > .node.node-border { stroke: rgba(187, 0, 0, 0.8); }
-    .select.edge-path { stroke: rgba(187, 0, 0, 0.8); }
-    .select.node-argument > rect { fill: rgba(187, 0, 0, 0.8); stroke: rgba(120, 0, 0, 0.8); }
+    .select > .node.node-border { stroke: rgba(150, 0, 0, 0.8); }
+    .select.edge-path { stroke: rgba(150, 0, 0, 0.8); }
+    .select.node-argument > rect { fill: rgba(150, 0, 0, 0.8); stroke: rgba(75, 0, 0, 0.8); }
     .select.node-argument > text { fill: #b2b2b2; }
 
     #arrowhead { fill: #888; }
-    #arrowhead-hover { fill: rgba(187, 0, 0, 0.8); }
-    #arrowhead-select { fill: rgba(187, 0, 0, 0.8) }
+    #arrowhead-hover { fill: rgba(150, 0, 0, 0.8); }
+    #arrowhead-select { fill: rgba(150, 0, 0, 0.8) }
 
     .edge-label { fill: #b2b2b2; }