/* Witnessability Notation — figure styles for the site (generated classes of wn-notation; Specification v0.4 §8, "Site").
   The generator's variables are bound to the site's tokens, so figures follow the light and dark schemes. */
.wn-figure{--wn-ink:var(--ink);--wn-secondary:var(--muted);--wn-accent:var(--accent);--wn-tint:var(--tint);--wn-paper:var(--paper);--wn-line:var(--line);margin:32px 0 40px}
.wn-figure .wn-scroll{overflow-x:auto;-webkit-overflow-scrolling:touch}
/* 1×, as Specification §8 requires: a figure is never scaled down (labels stay at least 11 px, §9); a wide figure scrolls sideways */
.wn-figure svg.wn{display:block;max-width:none;height:auto}
.wn-figure figcaption{margin-top:12px;font-family:var(--sans);font-size:15px;line-height:1.55;max-width:46em}
.wn-figure details{margin-top:8px;font-family:var(--mono);font-size:13px;color:var(--muted)}
.wn-figure details summary{cursor:pointer}
.wn{font-family:'IBM Plex Sans',Arial,sans-serif;color:var(--wn-ink,#141412)}
.wn-mono{font-family:'IBM Plex Mono',Menlo,monospace}
.wn-claim{font-size:13px}
.wn-rec{font-size:12px}
.wn-eyebrow{font-size:11px;letter-spacing:.08em;text-transform:uppercase;fill:var(--wn-secondary,#5B5853)}
.wn-label{font-size:11px;fill:var(--wn-secondary,#5B5853)}
.wn-prem{font-size:11px;fill:var(--wn-secondary,#5B5853)}
.wn-ink{fill:currentColor}
.wn-sec{fill:var(--wn-secondary,#5B5853)}
.wn-line{stroke:currentColor;stroke-width:1;fill:none}
.wn-declared{stroke-dasharray:4 3}
.wn-tie{stroke:var(--wn-secondary,#5B5853);stroke-width:1;fill:none}
.wn-tie-unestablished{stroke-dasharray:4 3}
.wn-sq{fill:var(--wn-paper,#F6F3EE);stroke:var(--wn-secondary,#5B5853);stroke-width:1}
.wn-junction{fill:currentColor;stroke:none}
.wn-arrow{stroke:currentColor;stroke-width:1.5;fill:none;stroke-linecap:round;stroke-linejoin:round}
.wn-noteval{stroke-dasharray:0.5 4}
.wn-band{fill:var(--wn-tint,#EAE5DC)}
.wn-point{fill:var(--wn-accent,#9A3B26)}
.wn-ring{fill:var(--wn-paper,#F6F3EE);stroke:var(--wn-accent,#9A3B26);stroke-width:1.5}
.wn-box{fill:var(--wn-paper,#F6F3EE);stroke:currentColor;stroke-width:1}
.wn-assertion{stroke-dasharray:4 3}
.wn-absent{stroke-dasharray:1 3}
.wn-rule{stroke:var(--wn-line,#D4D0C9);stroke-width:1}
.wn-bar{stroke:currentColor;stroke-width:2}