.docs-article-hero{border-bottom:1px solid var(--border-color);z-index:2;flex-direction:column;justify-content:flex-end;min-height:40vh;padding:10vh 8% 5vh;display:flex;position:relative}.docs-article-hero .docs-title{font-family:var(--font-en);letter-spacing:.02em;margin-bottom:1.5rem;font-size:2.2rem;font-weight:900;line-height:1.4}@media (width>=768px){.docs-article-hero .docs-title{font-size:2.8rem}}.docs-article-meta{font-family:var(--font-en);color:var(--text-muted);letter-spacing:.05em;flex-wrap:wrap;align-items:center;gap:1.5rem;font-size:.85rem;display:flex}.docs-meta-tag{font-family:var(--font-en);letter-spacing:.1em;border:1px solid var(--text-color);color:var(--text-color);padding:3px 8px;font-size:.75rem;font-weight:700;transition:border-color .5s,color .5s;display:inline-block}.docs-toc{border-bottom:1px solid var(--grid-color);max-width:800px;margin:0 auto;padding:3rem 2rem}.docs-toc-title{font-family:var(--font-en);letter-spacing:.2em;color:var(--text-muted);text-transform:uppercase;margin-bottom:1.5rem;font-size:.8rem;font-weight:700}.docs-toc-list{counter-reset:toc-counter;flex-direction:column;gap:.8rem;list-style:none;display:flex}.docs-toc-list li{counter-increment:toc-counter}.docs-toc-list li a{color:var(--text-color);align-items:baseline;gap:1rem;font-size:1rem;line-height:1.6;text-decoration:none;transition:opacity .3s;display:flex}.docs-toc-list li a:before{content:counter(toc-counter, decimal-leading-zero);font-family:var(--font-en);color:var(--text-muted);min-width:1.5rem;font-size:.8rem;font-weight:700}.docs-toc-list li a:hover{opacity:.6}.docs-toc-list .toc-sub{gap:.5rem;margin-top:.4rem;padding-left:2.5rem;font-size:.95rem}.docs-toc-list .toc-sub li a:before{content:"—";color:var(--text-muted);font-size:.75rem}.docs-article{z-index:2;max-width:800px;margin:0 auto;padding:80px 2rem;position:relative}.docs-section{margin-bottom:5rem}.docs-section:last-child{margin-bottom:0}.docs-section-label{font-family:var(--font-en);letter-spacing:.2em;color:var(--text-muted);text-transform:uppercase;margin-bottom:1rem;font-size:.8rem;font-weight:700;transition:color .5s;display:block}.docs-section-heading{color:var(--text-color);margin-bottom:2rem;font-size:1.6rem;font-weight:900;line-height:1.5}@media (width>=768px){.docs-section-heading{font-size:1.9rem}}.docs-subsection-heading{color:var(--text-color);margin-top:3rem;margin-bottom:1.5rem;font-size:1.3rem;font-weight:900;line-height:1.5}.docs-subsubsection-heading{color:var(--text-color);margin-top:2.5rem;margin-bottom:1rem;font-size:1.1rem;font-weight:700;line-height:1.5}.docs-prose{color:var(--text-color);font-size:1.05rem;line-height:2;transition:color .5s}.docs-prose p{margin-bottom:1.5rem}.docs-prose p:last-child{margin-bottom:0}.docs-prose strong{font-weight:700}.docs-prose a{color:var(--text-color);text-underline-offset:3px;text-decoration:underline;transition:opacity .3s}.docs-prose a:hover{opacity:.6}.docs-prose ol,.docs-prose ul{margin-bottom:1.5rem;padding-left:1.5rem}.docs-prose ol{list-style:decimal}.docs-prose ul{padding-left:0;list-style:none}.docs-prose ul li{margin-bottom:.8rem;padding-left:1.5rem;position:relative}.docs-prose ul li:before{content:"—";color:var(--text-muted);font-family:var(--font-en);position:absolute;left:0}.docs-prose ol li{margin-bottom:.8rem}.docs-divider{background-color:var(--grid-color);border:none;width:100%;height:1px;margin:3rem 0}.docs-math-block{text-align:center;margin:2rem 0;padding:1.5rem 0;overflow-x:auto}.docs-prose .katex{font-size:1.1em}.docs-callout{border-left:3px solid var(--text-color);color:var(--text-color);background:#ffffff05;margin:2rem 0;padding:1.5rem 2rem;font-size:1.05rem;line-height:1.8;transition:border-color .5s,background-color .5s;display:block}body.light-theme .docs-callout{background:#00000005}.docs-callout-label{font-family:var(--font-en);letter-spacing:.15em;color:var(--text-muted);text-transform:uppercase;margin-bottom:.75rem;font-size:.75rem;font-weight:700;display:block}.docs-theorem{border:1px solid var(--grid-color);margin:2.5rem 0;padding:2rem;transition:border-color .5s;position:relative}.docs-theorem-tag{background:var(--bg-color);font-family:var(--font-en);letter-spacing:.1em;color:var(--text-color);border:1px solid var(--grid-color);padding:0 10px;font-size:.8rem;font-weight:700;transition:background-color .5s,color .5s,border-color .5s;position:absolute;top:-12px;left:20px}.docs-theorem .docs-prose{font-size:1rem}.docs-qed{text-align:right;margin-top:1rem;font-size:1.2rem}.docs-case{border-left:2px solid var(--grid-color);margin:1.5rem 0;padding-left:1.5rem;transition:border-color .5s}.docs-case-label{margin-bottom:.5rem;font-weight:700}.docs-glossary{margin-top:2rem}.docs-glossary-item{border-bottom:1px solid var(--grid-color);grid-template-columns:1fr;gap:.5rem;padding:1.5rem 0;transition:border-color .5s;display:grid}@media (width>=768px){.docs-glossary-item{grid-template-columns:.4fr 1fr;gap:2rem}}.docs-glossary-item:first-child{border-top:1px solid var(--grid-color)}.docs-glossary-term{color:var(--text-color);font-size:1rem;font-weight:700}.docs-glossary-term code{font-family:var(--font-en);font-size:.95rem}.docs-glossary-def{color:var(--text-muted);font-size:1rem;line-height:1.8;transition:color .5s}.docs-scratch-embed{text-align:center;margin:2.5rem 0}.docs-scratch-embed iframe{border:1px solid var(--grid-color);max-width:100%;transition:border-color .5s}.docs-scratch-embed-caption{font-family:var(--font-en);color:var(--text-muted);margin-top:1rem;font-size:.85rem;transition:color .5s}.docs-nav{border-top:1px solid var(--border-color);justify-content:space-between;align-items:center;margin-top:5rem;padding-top:3rem;transition:border-color .5s;display:flex}.docs-nav a{font-family:var(--font-en);color:var(--text-color);font-size:.9rem;font-weight:700;text-decoration:none;transition:opacity .3s}.docs-nav a:hover{opacity:.6}.docs-numbered-list{counter-reset:docs-list;margin-bottom:1.5rem;padding-left:0;list-style:none}.docs-numbered-list li{counter-increment:docs-list;align-items:flex-start;gap:1rem;margin-bottom:1rem;font-size:1.05rem;line-height:2;display:flex}.docs-numbered-list li:before{content:counter(docs-list) ".";font-family:var(--font-en);color:var(--text-muted);flex-shrink:0;min-width:1.5rem;font-weight:700}.docs-glossary-math .docs-glossary-term{font-family:var(--font-en)}@media (width<=600px){.docs-math-block{padding:1rem 0}.docs-theorem{padding:1.5rem 1rem}.docs-article-hero .docs-title{font-size:1.8rem}.docs-section-heading{font-size:1.4rem}}.docs-appendix{border-top:1px solid var(--border-color);margin-top:4rem;padding-top:3rem;transition:border-color .5s}.docs-appendix-label{font-family:var(--font-en);letter-spacing:.2em;color:var(--text-muted);text-transform:uppercase;margin-bottom:2rem;font-size:.8rem;font-weight:700;display:block}.docs-author-link{color:var(--text-color);font-weight:700;text-decoration:underline;transition:opacity .3s}.docs-author-link:hover{opacity:.6}.docs-statement-container{border-top:1px solid var(--grid-color);border-bottom:1px solid var(--grid-color);margin:4rem 0 3rem;padding:2.5rem 0;position:relative;overflow:hidden}.docs-giant-statement{font-family:var(--font-jp);letter-spacing:.05em;color:var(--text-color);border-left:4px solid var(--text-color);padding-left:1.5rem;font-size:2.2rem;font-weight:900;line-height:1.4;position:relative}.docs-academic-card{border:1px solid var(--border-color);background-color:#ffffff03;flex-direction:column;gap:2rem;margin:5rem 0 3rem;padding:2.5rem;transition:border-color .8s,background-color .8s;display:flex}body.light-theme .docs-academic-card{background-color:#00000003}.docs-card-section{border-bottom:1px dashed var(--grid-color);padding-bottom:1.5rem;transition:border-color .8s}.docs-card-section:last-child{border-bottom:none;padding-bottom:0}.docs-card-label{font-family:var(--font-en);letter-spacing:.15em;color:var(--text-muted);text-transform:uppercase;margin-bottom:.75rem;font-size:.8rem;font-weight:700;transition:color .5s;display:block}.docs-card-title{color:var(--text-color);font-size:1.25rem;font-weight:900;line-height:1.4;transition:color .5s}.docs-code-block{color:inherit;border:1px solid var(--grid-color);font-family:var(--font-mono,"Courier New", monospace);letter-spacing:.04em;text-align:center;background-color:#0000;border-radius:2px;justify-content:center;margin:1.5rem 0;padding:1.5rem 1.75rem;line-height:1.7;transition:border-color .5s;display:flex}@media (width>=768px){.docs-code-block.docs-pi-value{white-space:nowrap;text-align-last:auto}}.footnote{vertical-align:super;color:#000;cursor:help;font-size:.75em;line-height:0;text-decoration:underline;display:inline-block;position:relative}.footnote:before{content:"["}.footnote:hover:after{content:attr(data-text);white-space:normal;color:#000;z-index:999;background-color:#fff;border:1px solid #fff;width:250px;padding:12px 25px 12px 10px;font-size:16px;line-height:1.4;position:absolute;bottom:100%;left:100%;box-shadow:0 4px 15px #0000004d}