.history-group[data-astro-cid-32djay6g]{flex-direction:column;align-items:stretch;display:inline-flex}.history-stage-control[data-astro-cid-32djay6g]{width:7.5rem}.history-stage-toggle[data-astro-cid-32djay6g]{width:100%;height:1.9rem;color:var(--text-secondary);font:inherit;cursor:pointer;touch-action:manipulation;background:0 0;border:0;border-radius:999px;padding:0;display:block}.history-stage-toggle[data-astro-cid-32djay6g]:hover .history-stage-track[data-astro-cid-32djay6g]{border-color:var(--accent-primary)}.history-stage-toggle[data-astro-cid-32djay6g]:focus-visible{outline:3px solid var(--focus-ring);outline-offset:2px}.history-stage-track[data-astro-cid-32djay6g]{--history-thumb-size:1.15rem;--history-thumb-inset:.18rem;--history-edge-center:calc(var(--history-thumb-inset) + var(--history-thumb-size) / 2);border:1px solid var(--border-strong);background:var(--background-secondary);border-radius:999px;width:100%;height:100%;transition:border-color 50ms linear,background-color 50ms linear;display:block;position:relative}.history-stage-position[data-astro-cid-32djay6g]{background:var(--text-secondary);opacity:.38;border-radius:50%;width:.28rem;height:.28rem;position:absolute;top:50%;transform:translate(-50%,-50%)}.history-stage-position[data-astro-cid-32djay6g]:first-child{left:var(--history-edge-center)}.history-stage-position[data-astro-cid-32djay6g]:nth-child(2){left:50%}.history-stage-position[data-astro-cid-32djay6g]:nth-child(3){left:calc(100% - var(--history-edge-center))}.history-stage-thumb[data-astro-cid-32djay6g]{z-index:1;top:50%;left:var(--history-thumb-inset);width:var(--history-thumb-size);height:var(--history-thumb-size);border:1px solid color-mix(in srgb, var(--text-primary) 18%, transparent);background:var(--background-primary);box-shadow:0 1px 3px color-mix(in srgb, var(--text-primary) 24%, transparent);border-radius:50%;transition:left 50ms linear;position:absolute;transform:translateY(-50%)}.history-stage-toggle[data-astro-cid-32djay6g][data-state=read] .history-stage-track[data-astro-cid-32djay6g]{border-color:var(--accent-primary);background:linear-gradient(to right, var(--accent-primary) 0 50%, var(--background-secondary) 50% 100%)}.history-stage-toggle[data-astro-cid-32djay6g][data-state=understood] .history-stage-track[data-astro-cid-32djay6g]{border-color:var(--accent-primary);background:var(--accent-primary)}.history-stage-toggle[data-astro-cid-32djay6g][data-state=read] .history-stage-position[data-astro-cid-32djay6g]:nth-child(-n+2),.history-stage-toggle[data-astro-cid-32djay6g][data-state=understood] .history-stage-position[data-astro-cid-32djay6g]{background:var(--on-accent);opacity:1}.history-stage-toggle[data-astro-cid-32djay6g][data-state=read] .history-stage-thumb[data-astro-cid-32djay6g]{left:calc(50% - var(--history-thumb-size) / 2)}.history-stage-toggle[data-astro-cid-32djay6g][data-state=understood] .history-stage-thumb[data-astro-cid-32djay6g]{left:calc(100% - var(--history-thumb-size) - var(--history-thumb-inset))}.history-stage-labels[data-astro-cid-32djay6g]{font-size:calc(.61rem * var(--text-scale));text-align:center;grid-template-columns:repeat(3,1fr);gap:.1rem;margin-top:.18rem;line-height:1.25;display:grid}.history-stage-control[data-astro-cid-32djay6g][data-state=none] .history-stage-labels[data-astro-cid-32djay6g]>[data-astro-cid-32djay6g]:first-child,.history-stage-control[data-astro-cid-32djay6g][data-state=read] .history-stage-labels[data-astro-cid-32djay6g]>[data-astro-cid-32djay6g]:nth-child(2),.history-stage-control[data-astro-cid-32djay6g][data-state=understood] .history-stage-labels[data-astro-cid-32djay6g]>[data-astro-cid-32djay6g]:nth-child(3){color:var(--accent-primary);font-weight:700}@media (width<=767px){.history-group[data-astro-cid-32djay6g]{width:min(7.5rem,100%)}.history-stage-control[data-astro-cid-32djay6g]{width:100%}}.reading-progress[data-astro-cid-qxn7cirp]{z-index:40;pointer-events:none;background:0 0;height:3px;position:fixed;inset:0 0 auto}.reading-progress-bar[data-astro-cid-qxn7cirp]{background:var(--accent-primary);width:0;height:100%;transition:width 80ms linear}[data-astro-cid-qxn7cirp][data-pref-motion=reduced] .reading-progress-bar[data-astro-cid-qxn7cirp]{transition:none}.article-bottom-history[data-astro-cid-qxn7cirp]{margin-top:var(--space-5);padding-top:var(--space-3);border-top:1px solid var(--border-default);justify-content:flex-end;display:flex}.back-to-toc[data-astro-cid-qxn7cirp]{margin-top:var(--space-4);font-size:calc(.9rem * var(--text-scale))}.article-concept-nodes[data-astro-cid-qxn7cirp]{gap:var(--space-1);margin:var(--space-3) 0;display:grid}.article-concept-nodes[data-astro-cid-qxn7cirp]>span[data-astro-cid-qxn7cirp]{color:var(--text-secondary);font-size:calc(.82rem * var(--text-scale));font-weight:700}.article-concept-nodes[data-astro-cid-qxn7cirp]>div[data-astro-cid-qxn7cirp]{gap:var(--space-2);flex-wrap:wrap;display:flex}.article-concept-nodes[data-astro-cid-qxn7cirp] a[data-astro-cid-qxn7cirp]{border:1px solid var(--accent-primary);border-radius:var(--radius);color:var(--text-primary);padding:.35rem .6rem;text-decoration:none}.article-concept-nodes[data-astro-cid-qxn7cirp] a[data-astro-cid-qxn7cirp]:hover{background:var(--accent-primary);color:var(--background-primary)}.article-layout[data-astro-cid-qxn7cirp]{gap:var(--space-4);grid-template-columns:12.5rem minmax(0,1fr) 14rem;align-items:start;max-width:86rem;display:grid}.article-toc[data-astro-cid-qxn7cirp]{top:var(--space-3);font-size:calc(.9rem * var(--text-scale));max-height:calc(100vh - var(--space-5));position:sticky;overflow-y:auto}.toc-list[data-astro-cid-qxn7cirp]{padding:var(--space-2);margin:0;list-style:none}.toc-list[data-astro-cid-qxn7cirp] a[data-astro-cid-qxn7cirp]{padding:var(--space-1) var(--space-2);color:var(--text-secondary);border-left:3px solid #0000;text-decoration:none;display:block}.toc-list[data-astro-cid-qxn7cirp] a[data-astro-cid-qxn7cirp]:hover{color:var(--accent-primary)}.toc-list[data-astro-cid-qxn7cirp] a[data-astro-cid-qxn7cirp][aria-current=true]{border-left-color:var(--accent-primary);color:var(--accent-primary);background:var(--accent-subtle);font-weight:600}.toc-depth-3[data-astro-cid-qxn7cirp] a[data-astro-cid-qxn7cirp]{padding-left:var(--space-4)}.toc-depth-4[data-astro-cid-qxn7cirp] a[data-astro-cid-qxn7cirp]{padding-left:var(--space-5)}.article-toc[data-astro-cid-qxn7cirp] .math-toc-sublist{padding:0 0 0 var(--space-2);margin:0;list-style:none}.article-toc[data-astro-cid-qxn7cirp] .math-toc-sublist a{padding:var(--space-1) var(--space-2) var(--space-1) var(--space-4);color:var(--text-secondary);border-left:3px solid #0000;text-decoration:none;display:block}.article-toc[data-astro-cid-qxn7cirp] .math-toc-sublist .toc-depth-4 a{padding-left:var(--space-5)}.article-toc[data-astro-cid-qxn7cirp] .math-toc-sublist a:hover{color:var(--accent-primary)}.article-toc[data-astro-cid-qxn7cirp] .math-toc-sublist a[aria-current=true]{border-left-color:var(--accent-primary);color:var(--accent-primary);background:var(--accent-subtle);font-weight:600}.article-header[data-astro-cid-qxn7cirp]{padding-bottom:var(--space-3);border-bottom:2px solid var(--accent-primary)}.article-title-row[data-astro-cid-qxn7cirp]{justify-content:space-between;align-items:flex-start;gap:var(--space-3);display:flex}.article-title-row[data-astro-cid-qxn7cirp] h1[data-astro-cid-qxn7cirp]{overflow-wrap:anywhere;min-width:0;margin:0}.article-badges[data-astro-cid-qxn7cirp]{gap:var(--space-1);flex-wrap:wrap;flex:none;justify-content:flex-end;margin:0;display:flex}.article-actions[data-astro-cid-qxn7cirp]{gap:var(--space-2);margin-top:var(--space-2);flex-wrap:wrap;display:flex}.bookmark-btn[data-astro-cid-qxn7cirp]{align-items:center;gap:var(--space-1);padding:var(--space-1) var(--space-3);border:1px solid var(--accent-primary);border-radius:var(--radius,4px);color:var(--accent-primary);font:inherit;font-size:calc(.9rem * var(--text-scale));cursor:pointer;background:0 0;display:flex}.bookmark-btn[data-astro-cid-qxn7cirp]:hover{background:var(--accent-subtle)}.bookmark-btn[data-astro-cid-qxn7cirp][aria-pressed=true]{background:var(--accent-primary);color:var(--bg,#fff)}.history-btn[data-astro-cid-qxn7cirp]{border-color:var(--border-strong);color:var(--text-secondary)}.history-btn[data-astro-cid-qxn7cirp]:hover{border-color:var(--accent-primary);color:var(--accent-primary)}.translation-info[data-astro-cid-qxn7cirp]{font-size:calc(.9rem * var(--text-scale))}.translation-links[data-astro-cid-qxn7cirp]{margin-inline-start:var(--space-2)}.article-exercise[data-astro-cid-qxn7cirp]{margin-block:var(--space-3)}.article-body[data-astro-cid-qxn7cirp]{margin-block:var(--space-3);min-width:0;max-width:100%;overflow-x:clip}.article-body[data-astro-cid-qxn7cirp] h2{border-bottom:1px solid var(--border-default);padding-bottom:var(--space-1);margin-top:var(--space-4);margin-bottom:var(--space-2)}.article-body[data-astro-cid-qxn7cirp] h3{margin-top:var(--space-3);margin-bottom:var(--space-1)}.article-body[data-astro-cid-qxn7cirp] p,.article-body[data-astro-cid-qxn7cirp] ul,.article-body[data-astro-cid-qxn7cirp] ol{margin-block:.7em}.article-body[data-astro-cid-qxn7cirp].kanji-article{line-height:1.9}.article-body[data-astro-cid-qxn7cirp].kanji-article h2{background:color-mix(in srgb, var(--accent-primary) 8%, var(--background-primary));border-bottom:0;border-left:4px solid var(--accent-primary);margin-top:var(--space-5);border-radius:0 .35rem .35rem 0;padding:.55rem .75rem}.article-body[data-astro-cid-qxn7cirp].kanji-article h3{border-bottom:1px solid var(--border-default);color:var(--accent-primary);font-size:calc(1rem * var(--text-scale));margin-top:var(--space-4);padding-bottom:.25rem}.article-body[data-astro-cid-qxn7cirp].kanji-article table{border:1px solid var(--border-default);border-radius:.35rem;margin:1rem 0 1.4rem;display:table;overflow:hidden}.article-body[data-astro-cid-qxn7cirp].kanji-article th,.article-body[data-astro-cid-qxn7cirp].kanji-article td{border-bottom:1px solid var(--border-default);vertical-align:middle;padding:.55rem .7rem}.article-body[data-astro-cid-qxn7cirp].kanji-article th{background:var(--accent-subtle);color:var(--text-primary);letter-spacing:.04em;white-space:nowrap;font-size:.78em}.article-body[data-astro-cid-qxn7cirp].kanji-article td:first-child{color:var(--text-primary);text-align:center;width:5rem;font-family:Hiragino Mincho ProN,Yu Mincho,serif;font-size:1.35em;font-weight:700}.article-body[data-astro-cid-qxn7cirp].kanji-article tr:last-child td{border-bottom:0}@media (width<=767px){.article-body[data-astro-cid-qxn7cirp].kanji-article table{max-width:100%;display:block;overflow-x:auto}}.article-body[data-astro-cid-qxn7cirp].math-article ol{padding-inline-start:1.55rem;list-style:decimal}.article-body[data-astro-cid-qxn7cirp].math-article ul{padding-inline-start:1.55rem;list-style:outside}.article-body[data-astro-cid-qxn7cirp].math-article ol>li,.article-body[data-astro-cid-qxn7cirp].math-article ul>li{padding-inline-start:.15rem;display:list-item}.article-body[data-astro-cid-qxn7cirp].math-article .math-figure{box-sizing:border-box;text-align:center;max-width:100%;margin:1.5rem auto}.article-body[data-astro-cid-qxn7cirp].math-article .math-figure>img,.article-body[data-astro-cid-qxn7cirp].math-article .math-figure>svg{width:auto;max-width:100%;height:auto;margin-inline:auto;display:block}.article-body[data-astro-cid-qxn7cirp].math-article strong,.article-body[data-astro-cid-qxn7cirp].math-article b{font-synthesis:weight;font-weight:700}.article-body[data-astro-cid-qxn7cirp].math-article .defi strong,.article-body[data-astro-cid-qxn7cirp].math-article .defi b,.article-body[data-astro-cid-qxn7cirp].math-article .math-definition strong,.article-body[data-astro-cid-qxn7cirp].math-article .math-definition b{font-weight:700}.article-body[data-astro-cid-qxn7cirp].math-article a{color:var(--link);text-underline-offset:.18em;text-decoration:underline}.article-body[data-astro-cid-qxn7cirp] .defi,.article-body[data-astro-cid-qxn7cirp] .math-definition{background:color-mix(in srgb, #6cb4c2 10%, var(--background-primary));border:1px solid color-mix(in srgb, #6cb4c2 35%, var(--border-default));box-sizing:border-box;border-left:3px solid #6cb4c2;border-radius:0 .55rem .55rem;min-width:0;margin-block:2.8rem 1.15rem;padding:1.1rem 1.25rem;overflow:visible;box-shadow:0 2px 5px #0000000a}.article-body[data-astro-cid-qxn7cirp] .prop,.article-body[data-astro-cid-qxn7cirp] .thm,.article-body[data-astro-cid-qxn7cirp] .lemma,.article-body[data-astro-cid-qxn7cirp] .cor,.article-body[data-astro-cid-qxn7cirp] .math-theorem{background:color-mix(in srgb, #e0c375 12%, var(--background-primary));box-sizing:border-box;border:1px solid #e0c375;border-left-width:3px;border-radius:0 .55rem .55rem;min-width:0;margin-block:2.8rem 1.15rem;padding:1.1rem 1.25rem;overflow:visible;box-shadow:0 2px 5px #0000000a}.article-body[data-astro-cid-qxn7cirp] .example{box-shadow:none;background:0 0;border:0;border-radius:0;margin-block:2.2rem 1.15rem;padding:0}.article-body[data-astro-cid-qxn7cirp] .defi>[data-astro-cid-qxn7cirp]:first-child,.article-body[data-astro-cid-qxn7cirp] .prop>[data-astro-cid-qxn7cirp]:first-child,.article-body[data-astro-cid-qxn7cirp] .thm>[data-astro-cid-qxn7cirp]:first-child,.article-body[data-astro-cid-qxn7cirp] .lemma>[data-astro-cid-qxn7cirp]:first-child,.article-body[data-astro-cid-qxn7cirp] .cor>[data-astro-cid-qxn7cirp]:first-child,.article-body[data-astro-cid-qxn7cirp] .example>[data-astro-cid-qxn7cirp]:first-child,.article-body[data-astro-cid-qxn7cirp] .math-definition>[data-astro-cid-qxn7cirp]:first-child,.article-body[data-astro-cid-qxn7cirp] .math-theorem>[data-astro-cid-qxn7cirp]:first-child{margin-top:0}.article-body[data-astro-cid-qxn7cirp] .defi>[data-astro-cid-qxn7cirp]:last-child,.article-body[data-astro-cid-qxn7cirp] .prop>[data-astro-cid-qxn7cirp]:last-child,.article-body[data-astro-cid-qxn7cirp] .thm>[data-astro-cid-qxn7cirp]:last-child,.article-body[data-astro-cid-qxn7cirp] .lemma>[data-astro-cid-qxn7cirp]:last-child,.article-body[data-astro-cid-qxn7cirp] .cor>[data-astro-cid-qxn7cirp]:last-child,.article-body[data-astro-cid-qxn7cirp] .example>[data-astro-cid-qxn7cirp]:last-child,.article-body[data-astro-cid-qxn7cirp] .math-definition>[data-astro-cid-qxn7cirp]:last-child,.article-body[data-astro-cid-qxn7cirp] .math-theorem>[data-astro-cid-qxn7cirp]:last-child{margin-bottom:0}.article-body[data-astro-cid-qxn7cirp] .thmtitle{color:#12333a;float:left;box-sizing:border-box;background:#6cb4c2;border:3px solid #6cb4c2;border-bottom:none;border-radius:6px 6px 0 0;margin:-51.4px 0 0 -23px;padding:4px 14px;font-size:.95em;font-weight:800;line-height:1.5;display:block}.article-body[data-astro-cid-qxn7cirp] .defi>p:first-child:after,.article-body[data-astro-cid-qxn7cirp] .prop>p:first-child:after,.article-body[data-astro-cid-qxn7cirp] .thm>p:first-child:after,.article-body[data-astro-cid-qxn7cirp] .lemma>p:first-child:after,.article-body[data-astro-cid-qxn7cirp] .cor>p:first-child:after,.article-body[data-astro-cid-qxn7cirp] .example>p:first-child:after{content:"";clear:both;display:table}.article-body[data-astro-cid-qxn7cirp] .prop .thmtitle,.article-body[data-astro-cid-qxn7cirp] .thm .thmtitle,.article-body[data-astro-cid-qxn7cirp] .lemma .thmtitle,.article-body[data-astro-cid-qxn7cirp] .cor .thmtitle,.article-body[data-astro-cid-qxn7cirp] .example .thmtitle{color:#4b3a12;background:#e0c375;border-color:#e0c375}.article-body[data-astro-cid-qxn7cirp] .example .thmtitle{float:none;border:1px solid #e0c375;border-radius:.35rem;margin:0 .5rem .35rem 0;display:inline-block}.article-body[data-astro-cid-qxn7cirp] .proof-details{margin-block:1.2rem}.article-body[data-astro-cid-qxn7cirp] .proof-details>summary{background:var(--background-secondary);border:1px solid var(--border-default);cursor:pointer;border-radius:.4rem;padding:.35rem .8rem;font-weight:800;display:inline-block}.article-body[data-astro-cid-qxn7cirp] .proof-details>summary:hover{border-color:var(--accent-primary)}.article-body[data-astro-cid-qxn7cirp] .proof-details-inner{border-left:3px solid var(--border-default);margin:.4rem 0 0 .35rem;padding:.2rem .95rem}.article-body[data-astro-cid-qxn7cirp].math-article .proof-details,.article-body[data-astro-cid-qxn7cirp].math-article .proof{border-block:0;margin-block:1.2rem}.article-body[data-astro-cid-qxn7cirp].math-article .proof-details-inner{border-block:0;border-inline-end:0}.proof-toggle[data-astro-cid-qxn7cirp]{box-sizing:border-box;border:1px solid var(--accent-primary);background:var(--accent-primary);width:fit-content;min-width:8.5rem;min-height:2.6rem;color:var(--on-accent);cursor:pointer;font:inherit;text-align:center;white-space:nowrap;border-radius:.45rem;justify-content:center;align-items:center;gap:.45rem;margin:.75rem 0 1rem auto;padding:.55rem .95rem;font-weight:700;line-height:1.25;display:flex;position:static;box-shadow:0 .25rem .8rem #00000026}.proof-toggle-icon[data-astro-cid-qxn7cirp]{text-align:center;flex:0 0 1.1em;justify-content:center;align-items:center;line-height:1;display:inline-flex}.proof-toggle[data-astro-cid-qxn7cirp]:hover{background:var(--accent-hover)}.proof-toggle[data-astro-cid-qxn7cirp]:focus-visible{outline-offset:3px}.article-body[data-astro-cid-qxn7cirp] .katex-display,.article-body[data-astro-cid-qxn7cirp] mjx-container[display=true]{box-sizing:border-box;-webkit-overflow-scrolling:touch;width:100%;max-width:100%;margin-block:.9rem;padding-block:.15rem;display:block;overflow:auto hidden}.article-body[data-astro-cid-qxn7cirp] .katex-display>.katex{min-width:max-content;max-width:none;display:inline-block}.article-body[data-astro-cid-qxn7cirp] .defi>p,.article-body[data-astro-cid-qxn7cirp] .prop>p,.article-body[data-astro-cid-qxn7cirp] .thm>p,.article-body[data-astro-cid-qxn7cirp] .lemma>p,.article-body[data-astro-cid-qxn7cirp] .cor>p,.article-body[data-astro-cid-qxn7cirp] .example>p,.article-body[data-astro-cid-qxn7cirp] .math-definition>p,.article-body[data-astro-cid-qxn7cirp] .math-theorem>p{text-indent:0;overflow-wrap:anywhere;margin:0}.article-body[data-astro-cid-qxn7cirp].math-article mjx-container,.article-body[data-astro-cid-qxn7cirp].math-article .katex{vertical-align:middle;max-width:100%;display:inline-block;overflow:auto hidden}.article-body[data-astro-cid-qxn7cirp].math-article .katex-display>.katex{max-width:none;overflow:visible}.article-body[data-astro-cid-qxn7cirp] .supp-details-summary{background:var(--background-secondary);border:1px solid var(--border-default);color:var(--text-primary);cursor:pointer;text-align:center;border-radius:.45rem;margin-block:.9rem 0;padding:.55rem .8rem;font-weight:800;list-style:none;position:relative}.article-body[data-astro-cid-qxn7cirp] .supp-details-summary::-webkit-details-marker{display:none}.article-body[data-astro-cid-qxn7cirp] .supp-details-summary:after{content:"+";position:absolute;right:.8rem}.article-body[data-astro-cid-qxn7cirp] .supp-details[open] .supp-details-summary:after{content:"−"}.article-body[data-astro-cid-qxn7cirp] .supp-details-inner{border:1px solid var(--border-default);border-top:0;border-radius:0 0 .45rem .45rem;padding:.8rem 1rem}.article-body[data-astro-cid-qxn7cirp] .rem{background:color-mix(in srgb, var(--background-secondary) 75%, transparent);border:1px solid var(--border-default);border-left:4px solid var(--border-strong);color:var(--text-secondary);border-radius:.35rem;margin-block:1.2rem;padding:.7rem .9rem}.article-body[data-astro-cid-qxn7cirp] details.folding{border:0;border-radius:.45rem;margin-block:1rem;overflow:hidden}.article-body[data-astro-cid-qxn7cirp] details.folding>summary{background:var(--background-secondary);cursor:pointer;padding:.55rem .8rem .55rem 2rem;list-style:none;position:relative}.article-body[data-astro-cid-qxn7cirp] details.folding>summary::-webkit-details-marker{display:none}.article-body[data-astro-cid-qxn7cirp] details.folding>summary:before{border-bottom:2px solid var(--text-secondary);border-right:2px solid var(--text-secondary);content:"";width:.45rem;height:.45rem;transition:transform .15s;position:absolute;top:.75rem;left:.8rem;transform:rotate(45deg)}.article-body[data-astro-cid-qxn7cirp] details.folding[open]>summary:before{transform:rotate(225deg)}.article-body[data-astro-cid-qxn7cirp] .folding-content{padding:.8rem 1rem}.article-refs[data-astro-cid-qxn7cirp],.article-footer[data-astro-cid-qxn7cirp]{max-width:var(--reading-width);margin-top:var(--space-5);font-size:calc(.9rem * var(--text-scale))}.issue-report[data-astro-cid-qxn7cirp]{width:min(100%,48rem);margin-bottom:var(--space-2);border:1px solid var(--border-default);border-radius:var(--radius);background:var(--background-secondary)}.article-footer-links[data-astro-cid-qxn7cirp]{align-items:flex-start;gap:var(--space-2);flex-direction:column;display:flex}.issue-report[data-astro-cid-qxn7cirp] h2[data-astro-cid-qxn7cirp]{padding:var(--space-3) var(--space-3) 0;color:var(--text-primary);font-size:calc(1rem * var(--text-scale));margin:0}.issue-report-note[data-astro-cid-qxn7cirp]{padding:0 var(--space-3) var(--space-2);color:var(--text-secondary);font-size:calc(.86rem * var(--text-scale));margin:0}.issue-report-form[data-astro-cid-qxn7cirp]{margin:var(--space-2) var(--space-3) var(--space-3);width:calc(100% - var(--space-6))}.issue-report-fields[data-astro-cid-qxn7cirp]{gap:var(--space-2);display:grid}.issue-report-fields[data-astro-cid-qxn7cirp] label[data-astro-cid-qxn7cirp]{gap:var(--space-1);color:var(--text-primary);font-weight:600;display:grid}.issue-report-fields[data-astro-cid-qxn7cirp] select[data-astro-cid-qxn7cirp],.issue-report-fields[data-astro-cid-qxn7cirp] input[data-astro-cid-qxn7cirp],.issue-report-fields[data-astro-cid-qxn7cirp] textarea[data-astro-cid-qxn7cirp]{border:1px solid var(--border-strong);border-radius:calc(var(--radius) - 2px);background:var(--background-primary);width:100%;color:var(--text-primary);font:inherit;font-weight:400}.issue-report-fields[data-astro-cid-qxn7cirp] textarea[data-astro-cid-qxn7cirp]{resize:vertical;min-height:7rem}.issue-report-trap[data-astro-cid-qxn7cirp]{clip:rect(0 0 0 0);width:1px;height:1px;position:absolute;overflow:hidden}.issue-report-actions[data-astro-cid-qxn7cirp]{align-items:center;gap:var(--space-2);margin-top:var(--space-3);flex-wrap:wrap;display:flex}.issue-report-actions[data-astro-cid-qxn7cirp] p[data-astro-cid-qxn7cirp]{color:var(--text-secondary);font-size:calc(.86rem * var(--text-scale));margin:0}.issue-report-actions[data-astro-cid-qxn7cirp] p[data-astro-cid-qxn7cirp][data-state=success]{color:var(--accent-primary)}.issue-report-actions[data-astro-cid-qxn7cirp] p[data-astro-cid-qxn7cirp][data-state=error]{color:#a12828}.article-aside[data-astro-cid-qxn7cirp]{top:var(--space-3);font-size:calc(.9rem * var(--text-scale));gap:var(--space-3);flex-direction:column;display:flex;position:sticky}.article-aside[data-astro-cid-qxn7cirp] section[data-astro-cid-qxn7cirp]{border:0;border-top:2px solid var(--accent-primary);padding:var(--space-2) 0 var(--space-3);border-radius:0}.article-aside[data-astro-cid-qxn7cirp] h2[data-astro-cid-qxn7cirp]{font-size:calc(.95rem * var(--text-scale));margin:0 0 var(--space-2)}.aside-links[data-astro-cid-qxn7cirp],.concept-list[data-astro-cid-qxn7cirp]{gap:var(--space-1);flex-direction:column;margin:0;padding:0;list-style:none;display:flex}.meta-list[data-astro-cid-qxn7cirp]{margin:0}.meta-list[data-astro-cid-qxn7cirp] dt[data-astro-cid-qxn7cirp]{color:var(--text-secondary);font-weight:600}.meta-list[data-astro-cid-qxn7cirp] dd[data-astro-cid-qxn7cirp]{margin:0 0 var(--space-2)}@media (width<=1023px){.article-layout[data-astro-cid-qxn7cirp]{grid-template-columns:minmax(0,1fr)}.article-toc[data-astro-cid-qxn7cirp]{order:0;max-height:none;position:static;overflow:visible}.article-main[data-astro-cid-qxn7cirp]{order:1}.article-aside[data-astro-cid-qxn7cirp]{order:2;position:static}.toc-details[data-astro-cid-qxn7cirp]{border:1px solid var(--border-default);border-radius:var(--radius)}.toc-details[data-astro-cid-qxn7cirp]>summary[data-astro-cid-qxn7cirp]{align-items:center;gap:var(--space-2);min-height:var(--touch-target);padding:0 var(--space-3);background:var(--background-secondary);cursor:pointer;font-weight:700;list-style:none;display:flex}.toc-details[data-astro-cid-qxn7cirp]>summary[data-astro-cid-qxn7cirp]::-webkit-details-marker{display:none}.toc-details[data-astro-cid-qxn7cirp]>summary[data-astro-cid-qxn7cirp]:before{content:"▸";color:var(--text-secondary)}.toc-details[data-astro-cid-qxn7cirp][open]>summary[data-astro-cid-qxn7cirp]:before{content:"▾"}.toc-details[data-astro-cid-qxn7cirp][open] summary[data-astro-cid-qxn7cirp]~[data-astro-cid-qxn7cirp]{display:block}.toc-details[data-astro-cid-qxn7cirp][open] .toc-list[data-astro-cid-qxn7cirp]{max-height:50vh;overflow-y:auto}}@media (width<=767px){.proof-toggle[data-astro-cid-qxn7cirp]{width:fit-content;margin:.75rem 0 1rem auto;display:flex;position:static}.article-body[data-astro-cid-qxn7cirp] .katex-display,.article-body[data-astro-cid-qxn7cirp] mjx-container[display=true]{overflow:auto hidden}.article-body[data-astro-cid-qxn7cirp].math-article .katex{vertical-align:middle;max-width:100%;display:inline-block;overflow:auto hidden}.article-body[data-astro-cid-qxn7cirp].math-article .katex-display>.katex{max-width:none;overflow:visible}.article-aside[data-astro-cid-qxn7cirp] section[data-astro-cid-qxn7cirp]{padding-top:var(--space-2)}.article-header[data-astro-cid-qxn7cirp] h1[data-astro-cid-qxn7cirp]{overflow-wrap:break-word}.bookmark-btn[data-astro-cid-qxn7cirp]{min-height:2.35rem;padding-inline:var(--space-2);white-space:nowrap;flex:none}.article-actions[data-astro-cid-qxn7cirp]{align-items:center;gap:var(--space-2)}.article-title-row[data-astro-cid-qxn7cirp]{gap:var(--space-1) var(--space-2);flex-wrap:wrap}.article-badges[data-astro-cid-qxn7cirp]{margin-inline-start:auto}.mobile-toc-trigger[data-astro-cid-qxn7cirp]{right:var(--space-3);bottom:calc(var(--space-3) + env(safe-area-inset-bottom));z-index:50;border:1px solid var(--accent-primary);background:var(--background-primary);min-height:2.75rem;box-shadow:var(--shadow);color:var(--accent-primary);padding:0 var(--space-3);border-radius:999px;font-weight:700;position:fixed}.article-toc[data-astro-cid-qxn7cirp]{top:auto;right:var(--space-3);bottom:calc(4.35rem + env(safe-area-inset-bottom));left:var(--space-3);z-index:45;pointer-events:none;max-height:min(70vh,34rem);position:fixed}.article-toc[data-astro-cid-qxn7cirp] .toc-details[data-astro-cid-qxn7cirp]{border:1px solid var(--border-default);border-radius:var(--radius);background:var(--background-primary);opacity:0;visibility:hidden;pointer-events:none;max-height:min(70vh,34rem);transition:opacity .14s,transform .14s,visibility .14s;overflow:hidden;transform:translateY(.5rem)}.article-toc[data-astro-cid-qxn7cirp] .toc-details[data-astro-cid-qxn7cirp][open]{opacity:1;visibility:visible;pointer-events:auto;box-shadow:var(--shadow);transform:translateY(0)}.article-toc[data-astro-cid-qxn7cirp] .toc-details[data-astro-cid-qxn7cirp][open] .toc-list[data-astro-cid-qxn7cirp]{max-height:calc(min(70vh,34rem) - 3.25rem)}.history-steps[data-astro-cid-qxn7cirp]{width:100%;display:flex}.history-step[data-astro-cid-qxn7cirp]{padding:0 var(--space-1);flex:1 1 0;justify-content:center}}@media (width>=1024px){.toc-details[data-astro-cid-qxn7cirp]{border:0}.toc-details[data-astro-cid-qxn7cirp] summary[data-astro-cid-qxn7cirp]{padding-left:0}.toc-details[data-astro-cid-qxn7cirp][open]>summary[data-astro-cid-qxn7cirp]{border-bottom:0}}@media (width>=768px){.mobile-toc-trigger[data-astro-cid-qxn7cirp]{display:none}}