:root{--article-bg: #faf9f5;--article-text: #2d2a24;--article-heading: #1f2937;--article-border: #e0d8c8;--article-dark-bg: #0d0d0f;--article-dark-text: #d4d4d8;--article-dark-heading: #f4f4f5;--article-dark-border: #2a2a2e}.article-banner{background-color:#1a1a2e}.article-navbar,.article-page-bg,.article-body-bg{background-color:var(--article-bg)}.full-width-separator{border:none;border-top:1px solid var(--article-border);margin:3rem 0 1.5rem}.content p,.content li{font-size:1.125rem;line-height:1.7;color:var(--article-text)}.content p{margin:20px 0}.content h2{margin:28px 0 12px;font-size:1.75rem;font-weight:600;color:var(--article-heading)}.content h3{margin:24px 0 10px;font-size:1.375rem;font-weight:600;color:var(--article-heading)}.content h4{margin:20px 0 8px;font-size:1.2rem;font-weight:500;color:var(--article-heading)}.article-page-bg .content pre{overflow-x:auto;max-width:100%;font-size:1rem}@media (min-width: 768px){.article-page-bg .content pre{font-size:1.125rem}}.content code{word-break:break-word}.content :not(pre)>code{font-size:.85em;padding:.2em .4em;white-space:pre-wrap;word-break:break-word;background-color:#f5f0e8;color:#2d2a24;border-radius:4px;border:1px solid #e0d8c8}.prose code:not(pre code){background-color:#f3f3f3;color:#1f2937;padding:.125rem .375rem;border-radius:.25rem;font-size:.875rem;font-family:ui-monospace,monospace}.prose code:not(pre code):before,.prose code:not(pre code):after{content:none}.content table{display:block;overflow-x:auto;width:100%;white-space:nowrap}@media (min-width: 768px){.content table{display:table;white-space:normal}}.content th,.content td{padding:.5rem 1rem;border:1px solid var(--article-border)}.content th{background-color:var(--article-border);color:var(--article-heading);font-weight:500}.article-page-bg .expressive-code .title{color:#6a9bcc}.article-page-bg .expressive-code pre,.article-page-bg .expressive-code code{font-size:.8rem}@media (min-width: 768px){.article-page-bg .expressive-code pre,.article-page-bg .expressive-code code{font-size:.9rem}}.expressive-code .copy{opacity:0}.expressive-code:hover .copy,.expressive-code:active .copy{opacity:1}.expressive-code .copy button{width:1.5rem!important;height:1.5rem!important;padding:.25rem!important}@media (min-width: 768px){.expressive-code .copy button{width:2rem;height:2rem;padding:.35rem}.expressive-code .copy button svg{width:1.1rem;height:1.1rem}}.content .expressive-code+h2{margin-top:3rem}.article-dark .article-page-bg,.article-dark .article-body-bg{background-color:var(--article-dark-bg)}.article-dark .article-page-bg .text-black,.article-dark .article-page-bg .text-\[\#141413\]{color:var(--article-dark-text)}.article-dark .article-page-bg .text-gray-900,.article-dark .article-page-bg .case-title,.article-dark .article-page-bg .font-crimson-pro{color:var(--article-dark-heading)}.article-dark .article-page-bg .case-summary,.article-dark .article-page-bg .case-meta,.article-dark .article-page-bg .font-lora,.article-dark .article-page-bg .font-inter{color:var(--article-dark-text)}.article-dark .full-width-separator{border-top-color:var(--article-dark-border)}.article-dark .content p,.article-dark .content li{color:var(--article-dark-text)}.article-dark .content h2,.article-dark .content h3,.article-dark .content h4,.article-dark .content strong,.article-dark .content b{color:var(--article-dark-heading)}.article-dark .content blockquote{border-left-color:#6a9bcc;color:#a1a1aa}.article-dark .content a{color:#6a9bcc}.article-dark .content a:hover{color:#8bb8d6}.article-dark .content :not(pre)>code{background-color:#1a1a1e;color:#d4d4d8;border-color:#2a2a2e}.article-dark .prose code:not(pre code){background-color:#1a1a1e;color:#d4d4d8}.article-dark .content th,.article-dark .content td{border-color:#2a2a2e}.article-dark .content th{background-color:#1a1a1e;color:#f4f4f5}.article-dark .content td{color:#d4d4d8}.article-dark .article-banner{background-color:#6a9bcc}.article-dark .article-navbar{background-color:#0d0d0f}.article-dark .article-nav .nav-link-mono,.article-dark .article-nav #menu-icon,.article-dark .article-nav .dark-mode-toggle{color:#d4d4d8}.article-dark .article-nav .dark-mode-toggle:hover{color:#6a9bcc}.article-dark .article-nav .proposal-toggle{border-color:#ffffff4d;background:transparent;color:#fff}.article-dark .article-nav .proposal-toggle:hover{border-color:#ffffff80;background:#ffffff1a}