diff --git a/source/grapher.css b/source/grapher.css index 2b51018159..90bb251495 100644 --- 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; }