:root{
  --ink:#1A2129; --ink-soft:#4A5561; --paper:#FAFAF9;
  --teal:#0E6363; --teal-ink:#0A4A4A; --hair:#DDDAD2;
  --amber:#8F6A1E; --card:#FFFFFF;
  --mono:"IBM Plex Mono",ui-monospace,SFMono-Regular,Menlo,monospace;
  --serif:"Source Serif 4",Georgia,serif;
}
*{box-sizing:border-box}
html{scroll-behavior:smooth}
@media (prefers-reduced-motion: reduce){html{scroll-behavior:auto}}
body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--serif);
  font-size:17px;line-height:1.62;-webkit-font-smoothing:antialiased}
.wrap{max-width:1180px;margin:0 auto;padding:0 20px;display:grid;grid-template-columns:1fr;gap:0}
@media(min-width:1100px){.wrap{grid-template-columns:230px minmax(0,72ch);gap:56px}}
header.site{border-top:3px solid var(--teal);border-bottom:1px solid var(--hair);padding:44px 20px 30px}
header.site .in{max-width:1180px;margin:0 auto}
header.site h1{font-size:30px;line-height:1.2;margin:0 0 8px;font-weight:700;letter-spacing:-.01em}
header.site .sub{color:var(--ink-soft);font-size:16px;max-width:64ch;margin:0}
header.site .meta{font-family:var(--mono);font-size:12.5px;color:var(--ink-soft);margin-top:14px}
header.site .meta b{color:var(--teal-ink);font-weight:600}
 
main{padding:34px 0 90px;min-width:0}
h2{font-size:22px;margin:2.4em 0 .7em;padding-top:.9em;border-top:1px solid var(--hair);letter-spacing:-.005em}
h2:first-of-type{border-top:none;padding-top:0;margin-top:.6em}
h3{font-size:17.5px;margin:2em 0 .55em}
h3 .dn{font-family:var(--mono);font-size:13px;font-weight:600;color:var(--teal-ink);
  border:1px solid var(--teal);border-radius:3px;padding:1px 6px;margin-right:9px;
  vertical-align:2px;white-space:nowrap}
h4{font-size:16px;margin:1.6em 0 .4em}
p,li{max-width:72ch}
a{color:var(--teal);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:2.5px}
a:hover{color:var(--teal-ink)}
strong{font-weight:600}
em{font-style:italic}
code{font-family:var(--mono);font-size:.85em;background:#F1EFEA;border-radius:3px;padding:.08em .3em}
pre{background:#F1EFEA;border:1px solid var(--hair);border-radius:4px;padding:14px 16px;
  overflow-x:auto;font-size:13.5px;line-height:1.5}
pre code{background:none;padding:0}
blockquote{margin:1em 0;padding:.2em 1em;border-left:3px solid var(--hair);color:var(--ink-soft)}
hr{border:none;border-top:1px solid var(--hair);margin:2.6em 0}
table{border-collapse:collapse;margin:1.2em 0;font-size:15px;width:100%}
th,td{border-bottom:1px solid var(--hair);padding:8px 12px 8px 0;text-align:left;vertical-align:top}
th{font-weight:600;font-size:13.5px;color:var(--ink-soft);border-bottom:2px solid var(--ink)}
td code,th code{font-size:.9em}
ul,ol{padding-left:1.4em}
li{margin:.35em 0}
li::marker{color:var(--ink-soft)}
 
/* figures */
figure.fig{margin:1.8em 0}
figure.fig svg{width:100%;height:auto;display:block}
figure.fig figcaption{font-family:var(--mono);font-size:12px;color:var(--ink-soft);margin-top:9px;max-width:72ch}
.fig .bx{fill:var(--card);stroke:var(--hair);stroke-width:1.2}
.fig .bx-gate{stroke:var(--teal);stroke-width:1.5}
.fig .bx-warn{stroke:var(--amber)}
.fig .ln{stroke:var(--ink-soft);stroke-width:1.2;fill:none}
.fig .lnd{stroke:var(--hair);stroke-width:1.2;stroke-dasharray:3 3}
.fig text{font-family:var(--mono)}
.fig .t{font-size:12px;fill:var(--ink)}
.fig .tb{font-weight:600}
.fig .ts{font-size:10.75px;fill:var(--ink-soft)}
.fig .tt{font-size:11px;font-weight:600;fill:var(--teal-ink)}
.fig .ta{font-size:10.75px;fill:var(--amber)}
 
/* rationale / evidence / overturning-condition notes */
p.note{font-size:15px;color:var(--ink-soft);border-left:2px solid var(--hair);
  padding:.15em 0 .15em 14px;margin:.9em 0}
p.note em{color:var(--teal-ink);font-style:normal;font-weight:600;font-size:13.5px}
 
/* collapsed decision detail */
details.more{margin:.9em 0 1.4em;border-left:2px solid var(--hair);padding-left:14px;max-width:72ch}
details.more>summary{cursor:pointer;list-style:none;font-family:var(--mono);font-size:12.5px;color:var(--teal-ink);font-weight:600;
  padding:2px 0;user-select:none;display:flex;gap:10px;align-items:baseline}
details.more>summary::-webkit-details-marker{display:none}
details.more>summary::before{content:"▸";font-size:11px;color:var(--teal)}
details.more[open]>summary::before{content:"▾"}
details.more>summary .tags{font-weight:400;color:var(--ink-soft)}
details.more>summary .cnt{margin-left:auto;font-weight:400;color:var(--hair)}
details.more[open]>summary{margin-bottom:.4em}
details.more>:not(summary){margin-left:0}
details.more p,details.more li{max-width:70ch}
.xall{font-family:var(--mono);font-size:12px;margin-top:8px}
.xall button{font:inherit;color:var(--teal);background:none;border:1px solid var(--hair);border-radius:3px;padding:2px 8px;cursor:pointer;margin-right:6px}
.xall button:hover{border-color:var(--teal)}
@media print{details.more{border-left:none;padding-left:0}details.more>summary{display:none}}
 
/* heading permalinks */
.hl{margin-left:8px;font-size:.75em;color:var(--hair);text-decoration:none;opacity:0}
h2:hover .hl,h3:hover .hl,.hl:focus-visible{opacity:1;color:var(--teal)}
 
/* glossary */
dl.gloss{margin:1.4em 0 0;padding:0}
.g-row{display:grid;grid-template-columns:190px minmax(0,1fr);gap:18px;
  padding:11px 0;border-bottom:1px solid var(--hair)}
.g-row:last-child{border-bottom:none}
.g-row dt{font-weight:600;font-size:15.5px;margin:0}
.g-row dd{margin:0;font-size:15.5px;color:var(--ink-soft)}
.g-row dd p{margin:0 0 .3em;max-width:none}
.gl-inline{font-family:var(--mono);font-size:11.5px;white-space:nowrap}
@media(max-width:640px){.g-row{grid-template-columns:1fr;gap:4px}}
 
/* glossary terms */
.term{border-bottom:1px dotted var(--teal);cursor:help;color:inherit}
.term:hover,.term:focus-visible{background:rgba(14,99,99,.07);outline:none;border-bottom-style:solid}
#gcard{position:absolute;z-index:50;max-width:340px;background:var(--card);
  border:1px solid var(--hair);border-top:2px solid var(--teal);border-radius:4px;
  box-shadow:0 6px 22px rgba(26,33,41,.13);padding:13px 15px 12px;font-size:14.5px;line-height:1.5;
  display:none}
#gcard.on{display:block}
#gcard .gt{font-weight:700;font-size:14px;margin:0 0 5px}
#gcard p{margin:.35em 0;max-width:none}
#gcard code{font-size:.85em}
#gcard .gl{display:block;margin-top:8px;font-family:var(--mono);font-size:11.5px}
 
/* left rail */
.rail{display:none}
@media(min-width:1100px){
  .rail{display:block;position:sticky;top:26px;align-self:start;max-height:calc(100vh - 52px);
    overflow-y:auto;padding:34px 0 40px;font-size:13px;scrollbar-width:thin}
  .rail a{text-decoration:none;display:block;color:var(--ink-soft)}
  .rail a:hover{color:var(--teal-ink)}
  .rail .rh{font-weight:600;color:var(--ink);margin:14px 0 4px;font-size:12.5px}
  .rail .rh:first-child{margin-top:0}
  .rail .rg{display:flex;flex-wrap:wrap;gap:4px 6px}
  .rail .rd{font-family:var(--mono);font-size:11px;border:1px solid var(--hair);
    border-radius:3px;padding:1px 5px;color:var(--ink-soft)}
  .rail .rd:hover{border-color:var(--teal);color:var(--teal-ink)}
}
footer{border-top:1px solid var(--hair);color:var(--ink-soft);font-size:13.5px;
  padding:20px;text-align:left}
footer .in{max-width:1180px;margin:0 auto}
:target{scroll-margin-top:18px}