/* The rule network drawing (network_view.js), shared by network.html and viewer.html; colours come from theme.css. */
.nv-svg { width: 100%; height: 100%; cursor: grab; display: block; }
.nv-svg.drag { cursor: grabbing; }
.nlabel { font: 500 12.5px 'JetBrains Mono', monospace; fill: var(--ink); }
.bnum { font: 600 11px 'JetBrains Mono', monospace; }
.flabel { font: 600 13.5px Inter, system-ui, sans-serif; fill: var(--ink); }
.base { stroke: var(--line2); stroke-width: 1; }
.edge { fill: none; stroke-width: 1.4; }
.edge.m11 { stroke: var(--m11); stroke-width: 2.4; }
.edge.m1n { stroke: var(--m1n); stroke-width: 1.6; }
.edge.mn1 { stroke: var(--mn1); stroke-width: 1.6; }
.edge.mnn { stroke: var(--mnn); stroke-width: 1.4; stroke-dasharray: 2 3; stroke-linecap: round; }
.badge rect { stroke: none; }
.badge text { font: 700 11.5px 'JetBrains Mono', monospace; fill: #ffffff; }
.dim .node:not(.on) > rect:not(.hit), .dim .node:not(.on) > line, .dim .node:not(.on) .badge { opacity: .42; }
.dim .node:not(.on) text { opacity: .7; }
.dim .edgeg:not(.on) .pill { display: none; }
.dim .edgeg:not(.on) { opacity: .24; }
.dim .fam:not(.on) { opacity: .55; }
.edgeg.on .edge { stroke-width: 3; }
.edgeg.on .edge.m11 { stroke-width: 3.6; }
.pill rect { fill: var(--pill); stroke: var(--line2); }
.pill text { font: 500 11px 'JetBrains Mono', monospace; fill: var(--ink); }
.node .hit { fill: transparent; cursor: pointer; }
.node.sel .hit { stroke: var(--hi); stroke-width: 1.5; stroke-dasharray: 3 2; }
