:root{--pg-postulate:var(--content-faint);--pg-edge:var(--color-neutral-350);--pg-ink:var(--content);--pg-bg:var(--surface-secondary);--pg-font:var(--font-sans);--tint-hover:9%;--tint-select:18%}html{background:var(--surface-secondary)}body{color:var(--content);background:var(--surface-secondary);font:var(--text-lg)/1.6 var(--font-serif);--gutter:16px;margin:0;padding:0 16px}header.site{border-bottom:1px solid var(--edge-primary);max-width:1500px;margin:0 auto 1.6rem;padding:2rem 0 1.4rem}header.site .kicker{font:500 var(--text-xs)/1.4 var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--content-subtle);margin:0 0 .5rem}header.site h1{font:500 var(--text-4xl)/1.2 var(--font-serif);text-wrap:balance;-webkit-hyphens:manual;hyphens:manual;max-width:none;margin:0}header.site h1 .item{font-weight:600}header.site h1 .dash{color:var(--content-subtle);margin:0 .1em}header.site .standfirst{font:italic var(--text-lg)/1.5 var(--font-serif);color:var(--content-subtle);text-wrap:balance;-webkit-hyphens:manual;hyphens:manual;max-width:none;margin:.8rem 0 0}header.site .kicker{max-width:none}header.site .nav-row{font:500 var(--text-xs)/1 var(--font-mono);letter-spacing:.08em;text-transform:uppercase;flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.5rem 1.5rem;margin:0 0 1.1rem;display:flex}header.site .step{gap:.5rem;display:flex}header.site :is(.step a,.nav-btn){white-space:nowrap;font:inherit;letter-spacing:inherit;text-transform:inherit;cursor:pointer;color:var(--content-light);background:var(--surface-primary);border:1px solid var(--edge-secondary);border-radius:var(--radius-md);align-items:center;gap:.5rem;padding:.4rem .65rem;text-decoration:none;display:inline-flex}header.site :is(.step a,.nav-btn):hover{color:var(--content);background:var(--surface-primary-hover);border-color:var(--edge-emphasis)}header.site :is(.step a,.nav-btn):focus-visible{outline:2px solid var(--ring);outline-offset:2px}header.site .nav-row .arrow{fill:none;stroke:currentColor;stroke-width:1.5px;stroke-linecap:round;stroke-linejoin:round;flex:none}@media (width<=700px){header.site h1{font-size:var(--text-2xl)}}.page{grid-template-columns:minmax(0,1fr) minmax(420px,50%);align-items:start;gap:2.4rem;max-width:1500px;margin:0 auto;display:grid}.page>*{min-width:0}@media (width<=1000px){.page{grid-template-columns:minmax(0,1fr)}aside.graph{position:static}}main.exposition{max-width:46rem}main.exposition p{text-align:justify;-webkit-hyphens:manual;hyphens:manual;text-justify:inter-word}main .att{cursor:pointer;border-bottom:1.5px solid #0000;padding-bottom:1px}main .att:hover,main .att.hov,main .att.formula-hl{border-bottom-color:currentColor}main .att.att-thm,main .att.att-thm math{color:var(--lean)}main .att.att-def,main .att.att-def math{color:var(--lean-def)}.eqtag sup .att.cite{margin-left:0}main :is(.att:hover,.att.hov,.att-sent.att-hl){--t:var(--tint-hover)}main :is(.att.formula-hl,.att-sent.formula-hl){--t:var(--tint-select)}main .att:hover,main .att.hov,main .att.formula-hl{background:color-mix(in srgb, var(--content) var(--t), transparent);border-radius:var(--radius-xs) 2px 0 0}main .att:hover .disp,main .att.hov .disp,main .att.formula-hl .disp{background:color-mix(in srgb, var(--content) var(--t), transparent);box-shadow:0 0 0 .45rem color-mix(in srgb, var(--content) var(--t), transparent);border-radius:var(--radius-sm)}main .att:focus-visible{outline-offset:2px;outline:2px solid}main .att .pt{color:var(--content);border-bottom:4px solid var(--surface-secondary);margin-bottom:-4px;line-height:1;display:inline-block}main .att:hover .pt,main .att.hov .pt,main .att.formula-hl .pt{border-bottom-color:color-mix(in srgb, var(--content) var(--t), var(--surface-secondary))}main .att-sent{transition:background 80ms}main sup .att.cite{background:0 0;border-bottom:0;margin-left:.15rem;padding:0;font-size:0;line-height:0;display:inline-block;position:relative}main sup .att.cite:before{content:"";background:var(--pg-theorem);border-radius:50%;width:10px;height:10px;transition:box-shadow 80ms;display:inline-block}main sup .att.cite.att-def:before{background:var(--pg-definition)}main sup .att.cite:after{content:"";position:absolute;inset:-8px}main sup .att.cite:hover,main sup .att.cite.hov,main sup .att.cite.formula-hl{background:0 0}main sup .att.cite:is(:hover,.hov,.formula-hl):before{box-shadow:0 0 0 3px color-mix(in srgb, currentColor calc(var(--t) * 3), transparent)}main .att-sent.att-thm.att-hl,main .att-sent.att-thm.formula-hl{background:color-mix(in srgb, var(--lean) var(--t), transparent);border-radius:var(--radius-xs);-webkit-box-decoration-break:clone;box-decoration-break:clone}main .att-sent.att-def.att-hl,main .att-sent.att-def.formula-hl{background:color-mix(in srgb, var(--lean-def) var(--t), transparent);border-radius:var(--radius-xs);-webkit-box-decoration-break:clone;box-decoration-break:clone}main .att-sent.att-thm.att-hl .disp,main .att-sent.att-thm.formula-hl .disp{background:color-mix(in srgb, var(--lean) var(--t), transparent);box-shadow:0 0 0 .45rem color-mix(in srgb, var(--lean) var(--t), transparent);border-radius:var(--radius-sm)}main .att-sent.att-def.att-hl .disp,main .att-sent.att-def.formula-hl .disp{background:color-mix(in srgb, var(--lean-def) var(--t), transparent);box-shadow:0 0 0 .45rem color-mix(in srgb, var(--lean-def) var(--t), transparent);border-radius:var(--radius-sm)}.nb,main.exposition math{white-space:nowrap}aside.graph{box-sizing:border-box;max-height:100vh;font:15px/1.45 var(--font-sans);padding:1rem 0 2rem;position:sticky;top:0;overflow:auto}aside.graph h2{font-family:var(--font-sans);color:var(--content-subtle);text-align:center;margin:.2rem 0 .5rem;font-size:1rem;font-weight:600}.graph-head{position:relative}.graph-svg svg{width:auto;max-width:100%;height:auto;margin:0 auto;display:block}.legend{color:var(--content-subtle);flex-wrap:wrap;justify-content:center;gap:.25rem 1.4rem;margin:0 0 .6rem;padding:0;font-size:13px;line-height:1.4;list-style:none;display:flex}.legend li{white-space:nowrap;cursor:default;align-items:center;gap:.45em;display:inline-flex}.legend li[data-tier]:hover{color:var(--content);cursor:pointer}.legend li.on{color:var(--content);font-weight:600}.legend li.on:before{box-shadow:0 0 0 2px var(--surface-secondary), 0 0 0 3.5px var(--c)}.legend li:before{content:"";box-sizing:border-box;background:var(--c);border:1.2px solid var(--pg-ink);border-radius:50%;flex:none;width:12px;height:12px}.legend{margin-bottom:.2rem}.legend li.arrow:before{content:none}.legend li.arrow svg{flex:none}.legend li.arrow svg line{stroke:var(--content-subtle);stroke-width:1.3px}.legend li.arrow svg path{fill:var(--content-subtle)}.graph-note{text-align:center;color:var(--content-faint);margin:0 0 .7rem;font-size:12px;line-height:1.4}.node-panel{border:1px solid var(--edge-primary);border-radius:var(--radius-lg);background:var(--surface-primary);min-height:6rem;padding:.8rem 1rem}.node-panel h3{margin:.15rem 0 .4rem;font-size:1.05rem}.node-panel pre{font-family:var(--font-mono);background:color-mix(in srgb, var(--edge-primary) 40%, transparent);border-radius:var(--radius-md);white-space:pre;padding:.6rem .8rem;font-size:.8rem;overflow-x:auto}.node-panel .kind-def{--k:var(--lean-def);--kg:var(--pg-definition)}.node-panel .kind-thm{--k:var(--lean);--kg:var(--pg-theorem)}.node-panel button.sym{color:var(--k,var(--content));cursor:pointer;font:inherit;background:0 0;border:0;padding:0;text-decoration:underline dotted}.node-panel .loc{font:.82rem/1.4 var(--font-sans);color:var(--content-subtle);margin:1rem 0 0}.node-panel .reading{font:15px/1.7 var(--font-serif);text-align:justify;text-justify:inter-word;-webkit-hyphens:manual;hyphens:manual;margin:.55rem 0 .1rem;padding:.3rem 0;overflow-x:auto}.node-panel .postulate{font:15px/1.5 var(--font-serif);border-left:3px solid var(--pg-postulate);margin:.4rem 0 .6rem;padding:.5rem .7rem}.node-panel .postulate .lbl{font:500 var(--text-xs)/1 var(--font-mono);letter-spacing:.06em;text-transform:uppercase;color:var(--content-subtle);margin:0 0 .35rem}.node-panel .postulate dl{grid-template-columns:max-content 1fr;gap:.15rem .8rem;margin:0;display:grid}.node-panel .postulate dt{font:600 12px/1.55 var(--font-sans);color:var(--content-subtle);white-space:nowrap}.node-panel .postulate dd{margin:0}.node-panel .reading math{white-space:nowrap}.node-panel .reading .rd{cursor:default;box-shadow:inset 0 -2px 0 color-mix(in srgb, var(--content-subtle) 55%, transparent);padding:.05em 0;transition:background 80ms}.node-panel .reading .rd[data-c]{cursor:pointer}.node-panel .reading .rd[data-c].kind-def,.node-panel .reading .rd[data-c].kind-thm{box-shadow:inset 0 -2px 0 var(--kg)}.node-panel .reading .rd.rd-hl{background:color-mix(in srgb, var(--k,var(--content)) 12%, transparent);box-shadow:inset 0 -2px 0 var(--kg,var(--content))}.node-panel pre code button.sym.rd-hl,.node-panel pre code span.n.rd-hl,.node-panel pre code span.ext.rd-hl{background:color-mix(in srgb, var(--k,var(--content)) 14%, transparent);box-shadow:inset 0 -2px 0 var(--kg,var(--content));color:var(--k,var(--content));border-radius:0}.drawer-head{justify-content:space-between;align-items:center;gap:.6rem;margin:0 0 .5rem;display:flex}.drawer-head:empty,.drawer-head:not(:has(h3)){margin:0}.drawer-head h3{min-width:0;margin:0;font-size:1.05rem;line-height:1.3}.card-trail{font:13px/1.4 var(--font-sans);color:var(--content-light);margin:0 0 .55rem;display:flex}.card-trail[hidden]{display:none}.card-trail .back{font:inherit;color:inherit;cursor:pointer;text-align:left;background:0 0;border:0;align-items:center;gap:.4rem;padding:0;display:inline-flex}.card-trail .back:hover{color:var(--content)}.card-trail .back:hover span{text-underline-offset:.2em;text-decoration:underline}.card-trail .back:focus-visible{outline:2px solid var(--ring);outline-offset:2px;border-radius:var(--radius-xs)}.card-trail .back-arrow{fill:none;stroke:currentColor;stroke-width:1.4px;stroke-linecap:round;stroke-linejoin:round;flex:none}.drawer-head .btns{white-space:nowrap;flex:none;gap:.15rem;display:flex}.drawer-head .btns button{cursor:pointer;font:500 var(--text-xs)/1 var(--font-mono);letter-spacing:0;text-transform:uppercase;color:var(--content-subtle);border-radius:var(--radius-md);background:0 0;border:0;align-items:center;gap:.4rem;padding:.35rem .5rem;display:inline-flex}.drawer-head .btns button[hidden]{display:none}.drawer-head .btns button:hover{color:var(--content);background:var(--surface-primary-hover)}.drawer-head .btns button:focus-visible{outline:2px solid var(--ring);outline-offset:2px}.drawer-head .btns .icon{fill:none;stroke:currentColor;stroke-width:1.5px;stroke-linecap:round;stroke-linejoin:round;flex:none}.drawer-head .btns .close-x{transform:translateY(-.5px)}pre code button.sym{font:inherit;color:var(--k,var(--content));cursor:pointer;text-underline-offset:.2em;background:0 0;border:0;margin:0;padding:0;text-decoration:underline 1px dotted}pre code button.sym:hover{background:color-mix(in srgb, var(--k,var(--content)) 12%, transparent)}button.sym.on{background:color-mix(in srgb, var(--k,var(--content)) 16%, transparent);border-radius:var(--radius-sm)}pre code .k{color:var(--content-subtle);font-weight:600}pre code .n{font-style:italic}pre code .c{color:var(--content-subtle);font-style:italic}pre code .ext,pre code span.n[data-b]{color:inherit;text-decoration:underline dotted var(--content-subtle);text-underline-offset:.2em;cursor:default;text-decoration-thickness:1px}pre code .ext{color:var(--content-subtle)}.node-panel .loc a{color:var(--content-light);text-decoration:underline;text-decoration-color:var(--edge-emphasis);text-underline-offset:.2em}.node-panel .loc a:hover{color:var(--content);text-decoration-color:currentColor}.hint{color:var(--content-subtle);text-align:justify;text-justify:inter-word;-webkit-hyphens:manual;hyphens:manual;font-size:.9rem}h1{font-size:var(--text-2xl);margin:1.2rem 0 .4rem;line-height:1.25}h2{font-size:var(--text-xl);margin:2rem 0 .6rem}main.exposition :is(h1,h2){font-weight:600}main.exposition h1{margin:2.4rem 0 .5rem}main.exposition h2{margin:2rem 0 .4rem}main.exposition>h1:first-child{margin-top:0}math{font-family:STIX Two Math,math}p{margin:0 0 .9rem}:where(mtd){padding:.5ex .4em}:where(mtr:first-child>mtd){padding-top:0}:where(mtr:last-child>mtd){padding-bottom:0}:where(mtd:first-child){padding-inline-start:0}:where(mtd:last-child){padding-inline-end:0}main.exposition :is(ul,ol){margin:0 0 .9rem;padding-left:1.6em}main.exposition ul{list-style:outside}main.exposition ol{list-style:decimal}a{color:inherit}.disp{grid-template-columns:minmax(0,1fr) minmax(0,auto) minmax(4.2em,1fr);align-items:center;margin:.9rem 0;display:grid;position:relative}.disp math[display=block]{grid-column:2;min-width:0;max-width:100%;margin:0;padding-block:.15em;overflow:auto hidden}.eqtag{color:var(--content-subtle);white-space:nowrap;grid-column:3;justify-self:end;margin-right:1.1em;font-size:.95rem;position:relative}.eqtag sup{margin-left:.25em;position:absolute;top:50%;left:100%;transform:translateY(-50%)}a.eqref{color:var(--content-light);text-decoration:none}a.eqref:hover{color:var(--content);text-underline-offset:.15em;text-decoration:underline 1px}main .disp{scroll-margin-block:30vh}.disp.ref-hl{background:color-mix(in srgb, var(--content) var(--tint-hover), transparent);border-radius:var(--radius-sm);box-shadow:0 0 0 .45rem color-mix(in srgb, var(--content) var(--tint-hover), transparent)}mo.hat{font-size:1.5em}.thm{border:1px solid var(--edge-primary);border-radius:var(--radius-md);margin:1.2rem 0;padding:.85rem 1rem}main.exposition :is(h1,h2)+.thm,.thm>:first-child{margin-top:0}.thm>:last-child{margin-bottom:0}.disp.formula-hl{--c:var(--content);background:color-mix(in srgb, var(--c) var(--tint-select), transparent);border-radius:var(--radius-sm);box-shadow:0 0 0 .45rem color-mix(in srgb, var(--c) var(--tint-select), transparent)}.disp.formula-hl:has(.att-thm){--c:var(--lean)}.disp.formula-hl:has(.att-def){--c:var(--lean-def)}.how-to{max-width:1500px;font:var(--text-sm)/1.5 var(--font-sans);color:var(--content-subtle);margin:-.6rem auto 1.6rem}.card-popover{z-index:30;box-sizing:border-box;border-color:var(--edge-secondary);flex-direction:column;width:min(34rem,100vw - 24px);min-height:0;max-height:min(70vh,36rem);display:flex;position:fixed;overflow:hidden}.card-popover #drawer-content{overscroll-behavior:contain;flex:auto;min-height:0;overflow:auto}.card-popover .card-trail,.card-popover .drawer-head{flex:none}.card-popover[hidden]{display:none}.card-popover .drawer-head{cursor:grab;touch-action:none}.card-popover.dragging,.card-popover.dragging .drawer-head{cursor:grabbing;user-select:none}.card-popover .drawer-head button{cursor:pointer}@media (width<=700px){.card-popover .drawer-head{cursor:auto}.card-popover{border-radius:var(--radius-lg) var(--radius-lg) 0 0;border-bottom:0;width:auto;max-height:60vh;bottom:0;right:0;top:auto!important;left:0!important}}.circuit-eq{flex-wrap:wrap;justify-content:center;align-items:center;gap:.6rem;margin:.2rem 0 1rem;display:flex}.circuit-eqsign{font:1.3rem var(--font-serif);color:var(--content-subtle)}svg.circuit{max-width:100%;height:auto;font:12px var(--font-sans);overflow:visible}.cg-wire{stroke:var(--content);stroke-width:1.2px}.cg-wire-label{fill:var(--content-subtle);font-size:11px}.cg-vert{stroke:var(--content);stroke-width:1.4px}.cg-dot{fill:var(--content)}.cg-xor{fill:var(--surface-secondary);stroke:var(--content);stroke-width:1.4px}.cg-box{fill:var(--surface-secondary);stroke:var(--content);stroke-width:1.2px}.cg-label{fill:var(--content);font-size:12px;font-weight:600}.cg-x{fill:var(--content);font-size:16px}.cg-cond{fill:var(--content-subtle);font-size:10px;font-style:italic}.cg-sym{cursor:pointer}.cg-sym:hover .cg-box,.cg-sym:hover .cg-xor{stroke:var(--pg-definition);stroke-width:2px}.cg-sym:hover .cg-dot{fill:var(--pg-definition)}.nav{--row-hover:var(--color-paper-100);--row-here:var(--color-paper-150);position:relative}.nav-chapters{--row-hover:var(--color-paper-150)}.nav-menu{z-index:40;box-sizing:border-box;width:min(56rem, calc(100vw - 2 * var(--gutter,16px)));height:min(70vh,34rem);font:400 14px/1.4 var(--font-sans);letter-spacing:normal;text-transform:none;color:var(--content);background:var(--surface-primary);border:1px solid var(--edge-emphasis);border-radius:var(--radius-lg);flex-direction:column;display:flex;position:absolute;top:calc(100% + 6px);left:0;overflow:hidden}header.site .nav-btn[aria-expanded=true]{color:var(--content);background:var(--surface-primary-hover);border-color:var(--edge-emphasis)}.nav-menu[hidden]{display:none}.nav-menu ul{margin:0;padding:0;list-style:none}.nav-search{border-bottom:1px solid var(--edge-primary);padding:10px}.nav-search input{box-sizing:border-box;width:100%;font:inherit;color:var(--content);background:var(--surface-secondary);border:1px solid var(--edge-primary);border-radius:var(--radius-md);padding:7px 10px}.nav-search input:focus{border-color:var(--edge-emphasis);outline:none}.nav-panes{flex:1;grid-template-columns:19.5rem minmax(0,1fr);min-height:0;display:grid}.nav-chapters{border-right:1px solid var(--edge-primary);background:var(--surface-secondary);padding:6px 0;overflow-y:auto}.nav-items{min-height:0;overflow-y:auto}.nav-list,.nav-results{padding:6px 0}.nav-results{flex:1;min-height:0;overflow-y:auto}.nav-menu a.nav-intro{color:var(--content-light);padding:6px 12px 6px calc(12px + 1.6rem);display:block}.nav-menu a.nav-intro:hover{color:var(--content);background:var(--row-hover)}.nav-chapters button{text-align:left;width:100%;font:inherit;color:var(--content-light);cursor:pointer;background:0 0;border:0;grid-template-columns:1.6rem minmax(0,1fr);align-items:baseline;padding:6px 12px;display:grid}.nav-chapters .n{font:500 var(--text-xs)/1 var(--font-mono);color:var(--content-subtle)}.nav-chapters .t,.nav-menu a.nav-intro{font:15px/1.35 var(--font-serif);color:var(--content)}.nav-chapters button[aria-current=true] .t{font-weight:500}.nav-chapters button:hover{color:var(--content);background:var(--row-hover)}.nav-chapters button[aria-current=true],.nav-chapters button[aria-current=true]:hover{color:var(--content);background:var(--surface-primary);box-shadow:inset 3px 0 0 var(--edge-high-contrast), inset 0 1px 0 var(--edge-primary), inset 0 -1px 0 var(--edge-primary)}.nav-chapters button:focus-visible{outline:2px solid var(--ring);outline-offset:-2px}.nav-menu a{color:var(--content);grid-template-columns:8.5rem minmax(0,1fr);align-items:baseline;gap:0 .75rem;padding:5px 14px;text-decoration:none;display:grid}.nav-menu a .r{font:500 var(--text-xs)/1.4 var(--font-mono);letter-spacing:.04em;text-transform:uppercase;color:var(--content-light);white-space:nowrap}.nav-menu a .t{min-width:0}.nav-menu a .c{color:var(--content-subtle);grid-column:2;font-size:12px}.nav-menu a:hover{background:var(--row-hover)}.nav-menu a.here,.nav-menu a.here:hover{background:var(--row-here);box-shadow:inset 3px 0 0 var(--edge-high-contrast)}.nav-menu a.here .t{font-weight:500}.nav-menu a:focus-visible{outline:2px solid var(--ring);outline-offset:-2px}.nav-none{color:var(--content-subtle);margin:0;padding:14px}.nav-back-bar{z-index:1;background:var(--surface-primary);border-bottom:1px solid var(--edge-primary);padding:8px 10px 6px;display:none;position:sticky;top:0}.nav-back{font:500 var(--text-xs)/1 var(--font-mono);letter-spacing:.08em;text-transform:uppercase;color:var(--content-light);background:var(--surface-primary);border:1px solid var(--edge-secondary);border-radius:var(--radius-md);cursor:pointer;align-items:center;gap:.5rem;padding:.35rem .6rem;display:inline-flex}.nav-back .arrow{fill:none;stroke:currentColor;stroke-width:1.5px;stroke-linecap:round;stroke-linejoin:round}@media (width<=640px){.nav-panes{grid-template-columns:minmax(0,1fr)}.nav-chapters{background:0 0;border-right:0}.nav-chapters button[aria-current=true]{box-shadow:none;background:0 0}.nav-chapters button[aria-current=true] .t{font-weight:400}.nav-menu[data-pane=items] .nav-chapters,.nav-menu:not([data-pane=items]) .nav-items{display:none}.nav-back-bar{display:block}.nav-menu a{grid-template-columns:minmax(0,1fr)}.nav-menu a .c{grid-column:1}}@media print{.nav{display:none}}.pg-graph{font-family:var(--pg-font,system-ui, -apple-system, "Segoe UI", Roboto, sans-serif)}.pg-graph .pg-edge{fill:none;stroke:var(--pg-edge,#9a968f);stroke-width:1.3px;marker-end:url(#pg-arrow);transition:opacity .12s,stroke .12s}.pg-graph #pg-arrow path{fill:context-stroke}.pg-graph .pg-node{cursor:pointer;outline:none;transition:opacity .12s}.pg-graph .pg-node :is(circle,rect){stroke:var(--pg-ink,#2a2823);stroke-width:1.2px;transform-box:fill-box;transform-origin:50%;transition:transform .12s}.pg-graph .pg-node .halo{stroke:none;opacity:0;transition:opacity .12s}.pg-graph .pg-node.hl-src .halo{opacity:.28}.pg-graph .pg-node text{fill:var(--pg-ink,#2a2823);text-anchor:middle;paint-order:stroke;stroke:var(--pg-bg,Canvas);stroke-width:3px;stroke-linejoin:round}.pg-graph .pg-label{font:inherit;color:var(--pg-ink,#2a2823);text-align:center;white-space:nowrap;text-shadow:0 0 3px var(--pg-bg,Canvas), 0 0 3px var(--pg-bg,Canvas), 0 0 3px var(--pg-bg,Canvas);line-height:1.25}.pg-graph .pg-label math{font-size:1.05em}.pg-graph .tier-definition :is(circle,rect){fill:var(--pg-definition,#1f5c8b)}.pg-graph .tier-theorem :is(circle,rect){fill:var(--pg-theorem,#7a4a1f)}.pg-graph .pg-node text{transition:opacity .12s}.pg-graph.pg-has-hl .pg-node:not(.hl){opacity:.3;filter:grayscale()}.pg-graph.pg-has-hl .pg-node:not(.hl) :is(circle,rect){transform:scale(.7)}.pg-graph.pg-has-hl .pg-node:not(.hl) text{opacity:0}.pg-graph.pg-has-hl .pg-node.hl:not(.hl-src){opacity:.7}.pg-graph.pg-has-hl .pg-node.hl-src :is(circle,rect):not(.halo){transform:scale(1.25)}.pg-graph.pg-has-hl .pg-edge:not(.hl){opacity:.18}.pg-graph .pg-edge.hl{stroke:var(--pg-hl,var(--pg-ink,#2a2823));stroke-width:2px;opacity:.6}.pg-graph .pg-node.hl :is(circle,rect){stroke:var(--pg-hl,var(--pg-ink,#2a2823));stroke-width:2.4px}.pg-graph .pg-node.selected :is(circle,rect){stroke:var(--pg-select,var(--pg-hl,var(--pg-ink,#2a2823)));stroke-width:3px}.pg-graph .pg-node.selected text{font-weight:600}.pg-graph .pg-node:focus-visible :is(circle,rect){stroke-dasharray:2 2;stroke-width:3px}.pg-graph .pg-bands rect{fill:var(--surface-tertiary)}.pg-graph .pg-bands text{font:500 1em var(--font-mono);letter-spacing:.08em;text-transform:uppercase;fill:var(--content-light);paint-order:stroke;stroke:var(--surface-tertiary);stroke-width:4px;stroke-linejoin:round}.pg-graph :is(.pg-root,.tier-postulate){--pg-bg:var(--surface-tertiary)}.graph-svg:focus,.graph-svg svg.pg-graph:focus{outline:none}