.article-prose{font-family:var(--font-prose);color:rgb(var(--color-fg));max-width:40rem;font-size:1.125rem;line-height:1.75}.article-prose>*+*{margin-top:1.15em}.article-prose h2{font-family:var(--font-ui);letter-spacing:-.015em;color:rgb(var(--color-ink));margin-top:2.6em;scroll-margin-top:5.5rem;font-size:1.55rem;font-weight:700;line-height:1.25}.article-prose h3{font-family:var(--font-ui);margin-top:2em;scroll-margin-top:5.5rem;font-size:1.2rem;font-weight:650}.article-prose a:not(.src-mark):not(.link){color:rgb(var(--color-ink));text-decoration:underline;text-decoration-color:rgb(var(--color-accent-pop));text-underline-offset:-.05em;-webkit-text-decoration-skip-ink:none;text-decoration-skip-ink:none;text-decoration-thickness:.28em}.article-prose a:not(.src-mark):not(.link):hover{text-decoration-color:rgb(var(--color-ink))}.article-prose ol,.article-prose ul{padding-left:1.4em}.article-prose ol{list-style:decimal}.article-prose ul{list-style:outside}.article-prose li+li{margin-top:.55em}.article-prose li::marker{font-family:var(--font-ui);color:rgb(var(--color-fg-muted));font-weight:700}.article-prose table{border-collapse:collapse;width:100%;font-family:var(--font-ui);font-variant-numeric:tabular-nums;margin-top:1.6em;margin-bottom:1.6em;font-size:.95rem;line-height:1.45}.article-prose thead th{text-align:left;color:rgb(var(--color-fg-muted));border-bottom:2px solid rgb(var(--color-ink));padding:.5rem .75rem .5rem 0;font-weight:600}.article-prose tbody td{border-bottom:1px solid rgb(var(--color-border-strong));vertical-align:top;padding:.65rem .75rem .65rem 0}.article-prose tbody td:last-child{white-space:nowrap;padding-right:0}@media (width<=480px){.article-prose tbody td:last-child{white-space:normal}.article-prose>table{max-width:100%;display:block;overflow-x:auto}}.article-prose strong{font-weight:700}.article-prose .katex{font-size:1.05em}.article-prose .katex-display{padding-bottom:.15em;overflow:auto hidden}