.content-main{line-height:var(--lh-body);color:var(--ink-700)}.content-main .container{max-width:calc(var(--content) + 2 * var(--gutter));padding-inline:var(--gutter)}.content-main .container-read{max-width:calc(var(--read) + 2 * var(--gutter))}.content-main section{padding:0}.content-main ul,.content-main ol{list-style:none}.content-main .h-hero{font-family:var(--font-display);font-size:var(--fs-page-hero);font-weight:750;line-height:var(--lh-hero);letter-spacing:var(--track-tight);color:var(--ink-900);text-wrap:balance}.content-main .h-card{font-family:var(--font-body);font-size:var(--fs-page-h3);font-weight:600;line-height:var(--lh-title);letter-spacing:normal;color:var(--ink-900);text-wrap:balance}.content-main .lead{max-width:none;margin-top:0;font-size:var(--fs-page-lead);line-height:var(--lh-lead);color:var(--ink-700)}.content-main .small{font-size:var(--fs-page-small);line-height:var(--lh-ui);color:var(--ink-600)}.content-main .kicker{display:flex;align-items:center;gap:var(--space-3);font-size:var(--fs-page-small);font-weight:600;line-height:var(--lh-ui);color:var(--ink-700)}:lang(vi) .content-main .h-hero{line-height:1.18}.content-main .page-head{padding:var(--space-8) 0 var(--space-7)}.content-main .page-head .kicker{margin-bottom:var(--space-5)}.content-main .page-head-title{max-width:18ch;font-size:var(--fs-page-num)}.content-main .page-head .lead{max-width:40em;margin-top:var(--space-5)}.content-main .band{padding-block:var(--space-10)}.content-main .band-tight{padding-top:0}.content-main .chip-links{display:flex;flex-wrap:wrap;gap:var(--space-2);margin-top:var(--space-6)}.content-main .pill-outline{background:transparent;box-shadow:inset 0 0 0 1px var(--stroke);color:var(--ink-700)}.content-main .pill-link{min-height:var(--control-sm);padding:0 var(--space-3);font-size:var(--fs-ui-body);color:var(--ink-900)}.content-main .pill-link:hover{box-shadow:inset 0 0 0 1px var(--ink-500);text-decoration:none}.content-body > * + *{margin-top:var(--space-6)}.content-body > h2{margin-top:var(--space-9);font-family:var(--font-display);font-size:calc(var(--fs-page-h2) * .8);font-weight:700;line-height:var(--lh-h2);letter-spacing:var(--track-tight);color:var(--ink-900);text-wrap:balance}.content-body > p{max-width:var(--read);font-size:var(--fs-page-body);line-height:var(--lh-body)}.content-body > p.small{font-size:var(--fs-page-small)}.content-main .doc-layout{display:grid;grid-template-columns:minmax(0,var(--read)) minmax(0,1fr);gap:var(--space-9);padding-block:var(--space-7) var(--space-10)}.content-main .article-main{min-width:0}.content-main .article-title{margin-top:var(--space-4);max-width:24ch;font-size:var(--fs-page-h2)}.content-main .article-main > .article-title:first-child{margin-top:0}.content-main .doc-meta{display:flex;flex-wrap:wrap;gap:var(--space-2) var(--space-5);margin-top:var(--space-5);font-size:var(--fs-ui-body);line-height:var(--lh-ui);color:var(--ink-600)}.content-main .doc-meta span{display:inline-flex;align-items:center;gap:var(--space-2)}.content-main .toc{position:sticky;top:var(--space-5);align-self:start;display:grid;gap:var(--space-1);max-height:calc(100vh - 2 * var(--space-5));overflow-y:auto;padding-left:var(--space-5);border-left:1px solid var(--stroke)}.content-main .toc-title{margin-bottom:var(--space-2);font-size:var(--fs-ui-label);font-weight:600;color:var(--ink-900)}.content-main .toc a{display:block;padding:var(--space-1) 0;font-size:var(--fs-ui-body);line-height:var(--lh-ui);color:var(--ink-600)}.content-main .toc a:hover{color:var(--ink-900)}.content-main .toc-fold{display:none;margin-top:var(--space-5);border:1px solid var(--stroke);border-radius:var(--r-md);background:var(--surface-1)}.content-main .toc-fold summary{display:flex;align-items:center;justify-content:space-between;gap:var(--space-3);min-height:var(--control-md);padding:0 var(--space-4);font-size:var(--fs-ui-body);font-weight:600;color:var(--ink-900);cursor:pointer;list-style:none}.content-main .toc-fold summary::-webkit-details-marker{display:none}.content-main .toc-fold .chev{transition:transform var(--dur-fast) var(--ease-out)}.content-main .toc-fold[open] .chev{transform:rotate(180deg)}.content-main .toc-fold-list{display:grid;padding:0 var(--space-4) var(--space-3)}.content-main .toc-fold-list a{display:flex;align-items:center;min-height:var(--control-md);font-size:var(--fs-ui-body);line-height:var(--lh-ui);color:var(--ink-600)}.content-main .toc-fold-list a:hover{color:var(--ink-900)}.content-main .prose{margin-top:var(--space-6);font-size:var(--fs-page-body);line-height:var(--lh-body);color:var(--ink-700)}.content-main .prose > * + *{margin-top:var(--space-4)}.content-main .prose h2{margin-top:var(--space-8);font-family:var(--font-display);font-size:calc(var(--fs-page-h2) * .8);font-weight:700;line-height:var(--lh-h2);letter-spacing:var(--track-tight);color:var(--ink-900);text-wrap:balance;scroll-margin-top:var(--space-5)}.content-main .prose h3{margin-top:var(--space-6);font-size:var(--fs-page-h3);font-weight:600;line-height:var(--lh-title);color:var(--ink-900)}.content-main .prose ul{padding-left:var(--space-5);list-style:disc}.content-main .prose ol{padding-left:var(--space-5);list-style:decimal}.content-main .prose li + li{margin-top:var(--space-2)}.content-main .prose a{text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:.22em}.content-main .prose strong{color:var(--ink-900);font-weight:600}.content-main .prose code{padding:0 var(--space-1);border-radius:var(--r-sm);background:var(--surface-2);color:var(--ink-900)}.content-main .prose figure{margin-block:var(--space-6)}.content-main .prose figcaption{margin-top:var(--space-2);font-size:var(--fs-ui-label);line-height:var(--lh-ui);color:var(--ink-600)}.content-main .prose .table-frame{margin-block:var(--space-5)}.content-main .table .num-cell{text-align:right;font-variant-numeric:tabular-nums;white-space:nowrap}.content-main .callout{display:grid;grid-template-columns:auto minmax(0,1fr);align-items:start;gap:var(--space-3);padding:var(--space-5);border:1px solid var(--stroke);border-radius:var(--r-md);background:var(--surface-1)}.content-main .callout .icon{margin-top:var(--space-1);color:var(--brand-700)}.content-main .callout p{margin:0}.content-main .checker-soft{background-color:var(--surface-0);background-image:conic-gradient(var(--surface-2) 25%,transparent 0 50%,var(--surface-2) 0 75%,transparent 0);background-size:var(--space-4) var(--space-4)}.content-main .article-hero{margin-block:var(--space-6)}.content-main .article-hero-stage{position:relative;display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);align-items:center;justify-items:center;gap:var(--space-5);padding:var(--space-6);border-radius:var(--r-lg)}.content-main .article-hero-stage .proof-frame{width:100%;max-width:calc(var(--space-10) * 2 + var(--space-7))}.content-main .article-hero figcaption{margin-top:var(--space-3);font-size:var(--fs-ui-label);color:var(--ink-600)}.content-main .stage-pair{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:var(--space-2)}.content-main .statement-figure{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:var(--space-5)}.content-main .zoom-card{display:grid;gap:var(--space-3);margin:0}.content-main .zoom-card img{width:100%;height:auto;border:1px solid var(--stroke);border-radius:var(--r-md)}.content-main .zoom-card .px{image-rendering:pixelated}.content-main .zoom-card figcaption{display:grid;gap:var(--space-1);margin:0;font-size:var(--fs-ui-body);line-height:var(--lh-ui);color:var(--ink-600)}.content-main .zoom-card figcaption b{color:var(--ink-900)}.content-main .prose .diagram{max-width:calc(var(--space-10) * 4 + var(--space-7));margin-inline:auto}.content-main .guide-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:var(--space-5)}.content-main .guide-card{display:grid;grid-template-columns:var(--control-lg) minmax(0,1fr);column-gap:var(--space-5);row-gap:var(--space-3);align-content:start;padding:var(--space-5);border:1px solid var(--stroke);border-radius:var(--r-lg);color:var(--ink-700);background:var(--surface-0);transition:border-color var(--dur-fast) var(--ease-out)}.content-main .guide-card:hover{border-color:var(--ink-500);text-decoration:none}.content-main .guide-card > :not(.guide-icon){grid-column:2}.content-main .guide-card .guide-icon{grid-row:span 4}.content-main .guide-card-lead{grid-column:1 / -1;grid-template-columns:minmax(0,5fr) minmax(0,7fr);align-items:center;gap:var(--space-7);padding:var(--space-6)}.content-main .guide-card-lead > :not(.guide-icon){grid-column:auto}.content-main .guide-card h2,.content-main .guide-card h3{color:var(--ink-900)}.content-main .guide-card-lead h2{font-family:var(--font-display);font-size:var(--fs-page-h2);font-weight:700;line-height:var(--lh-h2);letter-spacing:var(--track-tight);text-wrap:balance}.content-main .guide-card p{font-size:var(--fs-page-small);line-height:var(--lh-body)}.content-main .guide-card .meta{display:flex;align-items:center;gap:var(--space-3);font-size:var(--fs-ui-label);color:var(--ink-600)}.content-main .guide-card .more{display:inline-flex;align-items:center;gap:var(--space-2);font-size:var(--fs-ui-body);font-weight:600;color:var(--brand-700)}.content-main .guide-body{display:grid;gap:var(--space-3)}.content-main .guide-art{display:grid;place-items:center;aspect-ratio:4 / 3;padding:var(--space-4);border-radius:var(--r-md);background:var(--surface-1)}.content-main .guide-art .diagram{width:100%;height:auto;max-width:calc(var(--space-10) * 2 + var(--space-8))}.content-main .guide-icon{display:grid;place-items:center;width:var(--control-lg);height:var(--control-lg);border-radius:var(--r-md);background:var(--surface-1);color:var(--ink-900)}.content-main .qa{border-top:1px solid var(--stroke)}.content-main .qa:last-child{border-bottom:1px solid var(--stroke)}.content-main .qa > summary{display:flex;align-items:center;justify-content:space-between;gap:var(--space-4);min-height:var(--control-lg);padding:var(--space-4) 0;list-style:none;cursor:pointer;font-size:var(--fs-page-body);font-weight:600;line-height:var(--lh-title);color:var(--ink-900)}.content-main .qa > summary::-webkit-details-marker{display:none}.content-main .qa > summary .icon{color:var(--ink-600);transition:transform var(--dur-state) var(--ease-out)}.content-main .qa[open] > summary .icon{transform:rotate(180deg)}.content-main .qa > summary:hover{color:var(--brand-700)}.content-main .qa-body{padding:0 var(--space-7) var(--space-5) 0;font-size:var(--fs-page-body);line-height:var(--lh-body);color:var(--ink-700)}.content-main .qa-body > * + *{margin-top:var(--space-3)}.content-main .qa-body ul{padding-left:var(--space-5);list-style:disc}.content-main .qa-body li + li{margin-top:var(--space-2)}.content-help{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:var(--space-7) var(--space-8);align-items:start}.content-help > * + *{margin-top:0}.content-help .help-group h2{display:flex;align-items:center;gap:var(--space-3);margin-bottom:var(--space-3);font-size:var(--fs-page-h3);font-weight:600;line-height:var(--lh-title);color:var(--ink-900);scroll-margin-top:var(--space-5)}.content-help .help-group h2 .icon{color:var(--ink-900)}.content-help .stuck{grid-column:1 / -1;display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:var(--space-5);margin-top:var(--space-4);padding:var(--space-6);border:1px solid var(--stroke);border-radius:var(--r-lg);background:var(--surface-1)}.content-help .stuck .small{margin-top:var(--space-2)}.content-main .principles{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--space-6)}.content-main .principle{display:grid;gap:var(--space-3);align-content:start;padding-top:var(--space-5);border-top:2px solid var(--ink-900)}.content-main .principle .num{font-family:var(--font-display);font-size:var(--fs-page-h2);font-weight:700;line-height:1;letter-spacing:var(--track-tight);color:var(--ink-900);font-variant-numeric:tabular-nums}.content-main .principle p{font-size:var(--fs-page-small);line-height:var(--lh-body);color:var(--ink-600)}.content-main .principle .principle-line{margin-top:calc(-1 * var(--space-1));font-size:var(--fs-ui-body);font-weight:600;color:var(--ink-900)}.content-main .check-list,.content-main .num-list{display:grid;gap:var(--space-5);max-width:var(--read)}.content-main .check-list li,.content-main .num-list li{display:grid;grid-template-columns:auto minmax(0,1fr);gap:var(--space-4);font-size:var(--fs-page-body);line-height:var(--lh-body);color:var(--ink-700)}.content-main .check-list .icon{margin-top:var(--space-1);color:var(--brand-700)}.content-main .num-list-n{display:grid;place-items:center;width:var(--control-sm);height:var(--control-sm);border-radius:50%;border:2px solid var(--ink-900);font-family:var(--font-display);font-weight:700;color:var(--ink-900);font-variant-numeric:tabular-nums}.content-main .facts{display:grid;max-width:var(--read)}.content-main .facts > div{display:grid;grid-template-columns:minmax(0,var(--side)) minmax(0,1fr);gap:var(--space-4);align-items:baseline;padding-block:var(--space-3);border-bottom:1px solid var(--stroke-soft)}.content-main .facts dt{font-size:var(--fs-ui-body);color:var(--ink-600)}.content-main .facts dd{font-size:var(--fs-text);color:var(--ink-900);overflow-wrap:anywhere}.content-main .contact-cards{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:var(--space-5)}.content-main .contact-card{display:grid;gap:var(--space-4);align-content:start;padding:var(--space-6);border:1px solid var(--stroke);border-radius:var(--r-lg)}.content-main .contact-card .icon-lg{color:var(--ink-900)}.content-main .contact-card p{font-size:var(--fs-page-small);line-height:var(--lh-body);color:var(--ink-600)}.content-main .contact-card .btn{justify-self:start}.content-main .timeline{position:relative;display:grid;gap:var(--space-7)}.content-main .timeline::before{content:"";position:absolute;left:calc(var(--node) / 2);top:var(--space-2);bottom:0;width:2px;margin-left:-1px;background:var(--stroke)}.content-main .release{position:relative;display:grid;grid-template-columns:var(--node) var(--space-10) minmax(0,1fr);gap:var(--space-5)}.content-main .release .step-node{position:relative;width:var(--node);height:var(--node);margin-top:var(--space-1);border-radius:50%;background:var(--swatch-marigold);box-shadow:0 0 0 2px var(--ink-900),0 0 0 calc(2px + var(--space-1)) var(--surface-0)}.content-main .release time{font-size:var(--fs-ui-body);font-weight:600;color:var(--ink-900);font-variant-numeric:tabular-nums}.content-main .release h2{font-family:var(--font-body);font-size:var(--fs-page-h3);font-weight:600;line-height:var(--lh-title);letter-spacing:normal;color:var(--ink-900)}.content-main .release ul{display:grid;gap:var(--space-2);margin-top:var(--space-3);padding-left:var(--space-5);list-style:disc;font-size:var(--fs-page-small);line-height:var(--lh-body);color:var(--ink-700)}.content-main .release strong{color:var(--ink-900);font-weight:600}@media (max-width:1024px){.content-main .doc-layout{grid-template-columns:minmax(0,1fr);gap:var(--space-7)}.content-main .toc{display:none}.content-main .toc-fold{display:block}.content-main .guide-grid,.content-help,.content-main .principles,.content-main .contact-cards{grid-template-columns:minmax(0,1fr)}.content-main .guide-card-lead{grid-template-columns:minmax(0,1fr)}}@media (max-width:720px){.content-main .page-head{padding:var(--space-7) 0 var(--space-6)}.content-main .band{padding-block:var(--space-8)}.content-main .band-tight{padding-top:0}.content-main .doc-layout{padding-block:var(--space-6) var(--space-8)}.content-main .article-hero-stage,.content-main .statement-figure{grid-template-columns:minmax(0,1fr)}.content-main .guide-card{grid-template-columns:minmax(0,1fr)}.content-main .guide-card > :not(.guide-icon){grid-column:auto}.content-main .guide-card .guide-icon{grid-row:auto}.content-main .facts > div{grid-template-columns:minmax(0,1fr);gap:var(--space-1)}.content-main .release{grid-template-columns:var(--node) minmax(0,1fr)}.content-main .release time,.content-main .release > div{grid-column:2}.content-main .qa-body{padding-right:0}.content-main .toc a,.content-main .chip-links a{min-height:var(--control-md);display:flex;align-items:center}}