:root{
  --bg:#07090C;--bg-2:#0B0E12;--line:#1C2228;--line-2:#2A323A;
  --text:#E8EAED;--text-2:#AEB4BD;--muted:#818992;
  --amber:#ED9A2B;--red:#E5646A;--green:#5BD98A;
}
*{box-sizing:border-box}
html{background:var(--bg);overflow-x:clip}
body{margin:0;background:var(--bg);color:var(--text);font-family:'Inter Tight',system-ui,sans-serif;font-size:17px;line-height:1.55;-webkit-font-smoothing:antialiased}
a{color:inherit}
img{max-width:100%;display:block}
.wrap{max-width:1200px;margin:0 auto;padding:0 40px}
h1,h2,h3{margin:0;font-weight:500;letter-spacing:-.02em}
h1,.serif{font-family:'Fraunces',Georgia,serif;font-weight:400;font-variation-settings:'opsz' 144;letter-spacing:-.015em}
h1{font-size:clamp(40px,4.7vw,62px);line-height:1.04}
h2{font-size:clamp(28px,3vw,38px);line-height:1.15}
h3{font-size:18px;line-height:1.3}
p{margin:0 0 1em}
.mono{font-family:'JetBrains Mono',ui-monospace,monospace}
.btn{font-family:'JetBrains Mono',ui-monospace,monospace;font-size:12.5px;letter-spacing:.08em;text-transform:uppercase;text-decoration:none;display:inline-flex;align-items:center;padding:15px 20px;border:1px solid var(--line-2);color:var(--text);background:transparent;border-radius:0;white-space:nowrap}
.btn:hover{border-color:var(--text)}
.btn.fill{background:var(--text);color:var(--bg);border-color:var(--text)}
.btn.fill:hover{background:#fff}
.btn:focus-visible,a:focus-visible{outline:2px solid var(--amber);outline-offset:3px}
.cap{font-size:13.5px;color:var(--muted)}
.rule{border:0;border-top:1px solid var(--line);margin:0}
.acts{display:flex;gap:12px;flex-wrap:wrap}

nav{display:flex;align-items:center;justify-content:space-between;height:72px;border-bottom:1px solid var(--line);position:sticky;top:0;z-index:50;background:var(--bg)}
nav::before{content:"";position:absolute;top:0;bottom:0;left:50%;width:100vw;transform:translateX(-50%);background:var(--bg);z-index:-1}
.mark{font-weight:600;font-size:20px;letter-spacing:-.02em;text-decoration:none;white-space:nowrap}
.mark .p{font-family:'Fraunces',serif;font-style:italic;font-weight:400;color:var(--muted)}
.mark .s{color:var(--line-2);font-weight:400;margin:0 9px}
.mark .i{color:var(--amber)}
nav ul{list-style:none;margin:0;padding:0;display:flex;gap:30px;align-items:center}
nav ul a{text-decoration:none;color:var(--text-2);font-size:15px}
nav ul a:hover,nav ul a.on{color:var(--text)}
nav .btn{padding:11px 16px;font-size:11.5px}
.menu{display:none}
details.mnav summary{list-style:none;cursor:pointer;font-family:'JetBrains Mono',monospace;font-size:12px;letter-spacing:.08em;text-transform:uppercase;padding:8px 0}
details.mnav summary::-webkit-details-marker{display:none}
details.mnav{position:relative}
details.mnav div{position:absolute;right:0;top:44px;background:var(--bg-2);border:1px solid var(--line-2);padding:8px 18px;z-index:5;min-width:190px}
details.mnav div a{display:block;padding:10px 0;text-decoration:none;color:var(--text)}

/* page hero (inner pages) */
.phead{padding:72px 0 52px;display:grid;grid-template-columns:1.15fr .85fr;grid-template-areas:'h l' 'a l';gap:0 56px;align-items:start}
.phead .ph{grid-area:h}.phead .lede{grid-area:l}.phead .acts{grid-area:a;margin-top:30px}
.phead h1{max-width:20ch}
.phead .lede{font-size:18px;line-height:1.55;color:var(--text-2);max-width:44ch;margin:8px 0 0}
.phead .lede b{color:var(--text);font-weight:500}
.phead .kicker{font-size:13px;color:var(--muted);margin-bottom:18px}

/* home hero */
.hero{padding:84px 0 0}
.hero .top{display:grid;grid-template-columns:1.15fr .85fr;gap:56px;align-items:start;margin-bottom:48px}
.hero h1{max-width:20ch}
.hero .acts{margin-top:30px}
.hero .lede{font-size:18px;line-height:1.55;color:var(--text-2);max-width:42ch;margin:8px 0 0}
.hero .lede b{color:var(--text);font-weight:500}
.hero.bleed{position:relative;padding:0;margin-bottom:72px}
.hero-bg{position:absolute;top:0;left:50%;width:100vw;height:100%;transform:translateX(-50%);display:block;z-index:0;pointer-events:none}
.hero .top.art{position:relative;z-index:1;grid-template-columns:1fr 1fr;align-items:center;gap:40px;margin:0;min-height:600px;padding:72px 0 64px}
.hero .top.art h1{max-width:14ch}
.hero .top.art .lede{margin-top:22px;max-width:40ch}
.hero .copy{position:relative}
.art-key{position:absolute;right:0;bottom:22px;font-size:12px;color:var(--muted);pointer-events:none;z-index:1}
.art-key .dot{display:inline-block;width:6px;height:6px;border-radius:50%;margin:0 5px 0 12px;vertical-align:middle}
.art-key .dot.a{background:var(--amber)}.art-key .dot.r{background:var(--red)}.art-key .dot.w{background:var(--text)}.art-key .dot.g{background:#6F7780}
.schem{padding:0 0 8px;margin-bottom:72px}
.schem svg{width:100%;height:auto;display:block}
.schem .m{display:none}
.schem .nd{cursor:default}
.schem .nd rect:first-child{transition:stroke .2s}
.schem .flow{stroke:#2A323A}
.schem .flow.slow{stroke:#262D35}
.schem .nd:hover rect:first-child{stroke:#AEB4BD}
.schem .nd.gate:hover rect:first-child{stroke:#F6B454}
.schem-tip{margin-top:14px;min-height:44px;font-size:14px;color:var(--text-2);display:flex;justify-content:space-between;gap:24px}
.schem-tip .default{color:var(--muted)}
.figwide{border:1px solid var(--line);padding:22px}
.figwide svg{width:100%;height:auto;display:block}

section{padding:60px 0}
section.tight{padding-top:0}
.sec-head{display:grid;grid-template-columns:1fr 1fr;gap:56px;align-items:end;margin-bottom:36px}
.sec-head p{color:var(--text-2);max-width:52ch;margin:0}

/* generic grid rows */
.row{display:grid;grid-template-columns:1fr 1fr;gap:56px;align-items:center;padding:56px 0;border-top:1px solid var(--line)}
.row>*{min-width:0}
.row.policy{grid-template-columns:1.2fr .8fr;align-items:start;border-top:0;padding-top:24px}
.row:first-of-type{border-top:0;padding-top:0}
.row .fig{border:1px solid var(--line);padding:22px;min-width:0}
.fighead{font-size:13.5px;color:var(--muted);padding-bottom:10px;border-bottom:1px solid var(--line-2);margin-bottom:4px}
.row .fig pre.code{border:0;padding:0}
.row .fig svg{width:100%;height:auto;display:block}
.row .txt p{color:var(--text-2);max-width:48ch}
.row .txt h2{margin-bottom:16px}
.row .txt ul{margin:18px 0 0;padding:0;list-style:none}
.row .txt li{padding:10px 0;border-top:1px solid var(--line);color:var(--text-2);font-size:16px}
.row .txt li b{color:var(--text);font-weight:500}
.row.flip .fig{order:2}

/* definition rows */
dl.defs{margin:0;border-top:1px solid var(--line)}
dl.defs div{display:grid;grid-template-columns:220px 1fr;gap:28px;padding:18px 0;border-bottom:1px solid var(--line)}
dl.defs>div>*{min-width:0}
dl.defs dt{font-weight:500;margin:0;color:var(--text)}
dl.defs dt small{display:block;font-weight:400;color:var(--muted);font-size:13.5px;margin-top:3px}
dl.defs dd{margin:0;color:var(--text-2);font-size:16.5px}
dl.defs dd b{color:var(--text);font-weight:500}
dl.defs.stack div{grid-template-columns:1fr;gap:6px;padding:14px 0}
dl.defs.stack dt small{display:inline;margin-left:8px}

/* bordered grid of cells */
.cells{display:grid;grid-template-columns:repeat(3,1fr);border:1px solid var(--line)}
.cells>div{padding:26px 26px 28px;border-left:1px solid var(--line);min-width:0;display:flex;flex-direction:column}
.cells>div .acts{margin-top:auto!important;padding-top:22px}
.cells>div:first-child{border-left:0}
.cells h3{margin-bottom:10px}
.cells p{color:var(--text-2);font-size:16px;margin:0}
.cells .k{font-size:13px;color:var(--muted);margin-bottom:10px}
.cells.four{grid-template-columns:repeat(4,1fr)}
.cells.two{grid-template-columns:repeat(2,1fr)}

/* tables */
table.cmp{width:100%;border-collapse:collapse;font-size:15px}
table.cmp th,table.cmp td{border:1px solid var(--line);padding:15px 18px;text-align:left;vertical-align:top}
table.cmp th{font-weight:500;font-size:14px;color:var(--text-2)}
table.cmp th.us{color:var(--amber)}
table.cmp td{color:var(--text-2)}
table.cmp td.us{color:var(--text)}
table.cmp td:first-child{color:var(--text);font-weight:500;width:24%}

table.ledger{width:100%;border-collapse:collapse;font-family:'JetBrains Mono',ui-monospace,monospace;font-size:13px}
table.ledger td{padding:10px 10px 10px 0;border-top:1px solid var(--line);vertical-align:top;color:var(--text-2)}
table.ledger tr:first-child td{border-top:0}
table.ledger .t{color:var(--muted);width:76px;white-space:nowrap}
table.ledger .k{width:68px}
table.ledger .v{color:var(--text)}
table.ledger .d{text-align:right;white-space:nowrap;padding-right:0;width:90px}
table.ledger .d.b{color:var(--red)}
table.ledger .d.p{color:var(--amber)}
table.ledger .d.g{color:var(--green)}
table.ledger .why{display:block;color:var(--muted);margin-top:4px;max-width:46ch}
.ledger-foot{border-top:1px solid var(--line-2);margin-top:4px;padding-top:10px;font-family:'JetBrains Mono',ui-monospace,monospace;font-size:12px;color:var(--muted);display:grid;grid-template-columns:1fr auto;gap:4px 24px}
.ledger-foot .ok{color:var(--green)}

/* code */
pre.code{margin:0;border:1px solid var(--line);padding:20px 22px;font-family:'JetBrains Mono',ui-monospace,monospace;font-size:13px;line-height:1.6;color:var(--text-2);overflow-x:auto;-webkit-overflow-scrolling:touch;scrollbar-width:thin;scrollbar-color:var(--line-2) transparent}
pre.code b{color:var(--text);font-weight:500}
pre.code i{color:var(--muted);font-style:normal}
pre.code em{color:var(--amber);font-style:normal}
code.k{font-family:'JetBrains Mono',ui-monospace,monospace;font-size:.92em;color:var(--text);background:var(--bg-2);border:1px solid var(--line);padding:1px 6px;white-space:nowrap}

/* figure stat strip */
.strip{display:grid;grid-template-columns:repeat(5,1fr);border:1px solid var(--line);margin-bottom:16px}
.strip>div{padding:14px 16px;border-left:1px solid var(--line)}
.strip>div:first-child{border-left:0}
.strip .n{font-family:'JetBrains Mono',ui-monospace,monospace;font-size:20px;color:var(--text)}
.strip .l{font-size:12.5px;color:var(--muted);margin-top:2px}

/* logos */
.logos{display:flex;align-items:center;gap:24px 30px;flex-wrap:wrap;padding-top:8px}
.logos .cap{flex-basis:100%;margin-bottom:4px}
.logos img{height:24px;width:auto;opacity:.95}
.logos img[alt="Santa Clara University"]{height:28px}
.hero-logos{margin-top:32px;gap:18px 26px}
.hero-logos img{height:22px}
.hero-logos img[alt="Apple"]{height:24px}
.hero-logos img[alt="AWS"]{height:36px}

/* faq rows */
.faq{border-top:1px solid var(--line)}
.faq div{display:grid;grid-template-columns:1fr 1.4fr;gap:48px;padding:24px 0;border-bottom:1px solid var(--line)}
.faq div:last-child,dl.defs div:last-child,.doclist a:last-child{border-bottom:0}
.faq h3{font-size:17.5px;font-weight:500}
.faq p{margin:0;color:var(--text-2);font-size:16.5px}

/* doc cards (docs page) */
.doclist{border-top:1px solid var(--line)}
.doclist a{display:grid;grid-template-columns:200px 1fr auto;gap:28px;align-items:baseline;padding:22px 0;border-bottom:1px solid var(--line);text-decoration:none}
.doclist a:hover h3{color:var(--amber)}
.doclist .k{font-size:13px;color:var(--muted)}
.doclist p{margin:4px 0 0;color:var(--text-2);font-size:16px}
.doclist .go{font-size:13px;color:var(--muted)}

/* toc */
.toc{display:flex;flex-wrap:wrap;gap:8px 22px;padding:18px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);font-size:14px}
.toc a{text-decoration:none;color:var(--text-2)}
.toc a:hover{color:var(--text)}
.sec h2{margin-bottom:18px}
.sec>p{color:var(--text-2);max-width:62ch}

/* close */
.close{padding:72px 0;border-top:1px solid var(--line);display:grid;grid-template-columns:1fr 1fr;gap:56px}
.close h2.serif{font-size:clamp(34px,4.2vw,54px);line-height:1.06;max-width:16ch}
.close p{color:var(--text-2);max-width:50ch}
.close .acts{margin-top:8px}
.close .brief{border:1px solid var(--line);padding:22px 24px;margin-top:28px;font-size:15px;color:var(--text-2)}
.close .brief b{color:var(--text);font-weight:500;display:block;margin-bottom:8px}
.close .brief ol{margin:0;padding-left:18px}
.close .brief li{padding:2px 0}

footer{border-top:1px solid var(--line);padding:30px 0 44px;display:flex;justify-content:space-between;gap:24px;flex-wrap:wrap;font-size:14px;color:var(--muted)}
footer ul{list-style:none;margin:0;padding:0;display:flex;gap:22px;flex-wrap:wrap}
footer a{text-decoration:none;color:var(--text-2)}
footer a:hover{color:var(--text)}

/* prose pages */
.prose{max-width:66ch;padding:64px 0 90px}
.prose h1{margin-bottom:28px}
.prose h2{font-size:22px;margin:36px 0 10px}
.prose p{color:var(--text-2)}

@media (max-width:900px){
  .wrap{padding:0 20px}
  nav ul{display:none}.menu{display:block}
  .hero{padding:0}.hero .top,.hero .top.art{grid-template-columns:1fr;gap:26px;margin-bottom:0;min-height:0;padding:40px 0 360px}
  .art-key{left:0;right:auto;bottom:14px}
  .phead{padding:44px 0 28px;grid-template-columns:1fr}.phead .lede{margin-top:18px}
  .hero .acts .btn,.phead .acts .btn,.close .acts .btn{width:100%;justify-content:center}
  .schem{padding:0;margin-bottom:48px}.schem .d{display:none}.schem .m{display:block}
  .figwide{overflow-x:auto}
  .figwide svg{min-width:860px}
  .schem-tip{display:none}
  .sec-head,.row,.faq div,.close{grid-template-columns:1fr;gap:20px}
  .row,.row.policy{padding:40px 0;grid-template-columns:1fr}.row.flip .fig{order:0}
  .phead{grid-template-areas:'h' 'l' 'a';gap:0}
  .phead .acts{margin-top:22px}
  section{padding:44px 0}
  dl.defs div{grid-template-columns:1fr;gap:6px}
  .cells,.cells.four,.cells.two{grid-template-columns:1fr}
  .cells>div{border-left:0;border-top:1px solid var(--line)}
  .cells>div:first-child{border-top:0}
  .strip{grid-template-columns:repeat(5,1fr)}
  .strip>div{padding:10px 6px}
  .strip .n{font-size:14px}
  .strip .l{font-size:10.5px}
  .doclist a{grid-template-columns:1fr;gap:6px}
  table.cmp,table.cmp tbody{display:block}
  table.cmp thead{display:none}
  table.cmp tr{display:block;border:1px solid var(--line);margin-bottom:12px}
  table.cmp td{display:grid;grid-template-columns:118px 1fr;gap:12px;border:0;border-top:1px solid var(--line);padding:10px 14px;width:auto;font-size:14.5px}
  table.cmp td:first-child{display:block;border-top:0;padding:12px 14px;font-size:15.5px;width:auto}
  table.cmp td:not(:first-child)::before{content:attr(data-col);color:var(--muted);font-size:13px}
  table.cmp td.us::before{color:var(--amber)}
  table.ledger,table.ledger tbody{display:block}
  table.ledger tr{display:grid;grid-template-columns:72px 1fr auto;grid-template-areas:'t k d' 'v v v';gap:2px 10px;padding:10px 0;border-top:1px solid var(--line)}
  table.ledger td{display:block;border:0;padding:0;width:auto}
  table.ledger .t{grid-area:t}table.ledger .k{grid-area:k}table.ledger .d{grid-area:d;width:auto}table.ledger .v{grid-area:v}
  .ledger-foot{grid-template-columns:1fr}
}