:root{--paper:#f7f5ee;--surface:#fffdf8;--ink:#25352e;--muted:#69766e;--line:#dddeda;--accent:#176451;--soft:#eaf0e7;--orange:#a65a25}
html{scroll-padding-top:80px}body{-webkit-font-smoothing:antialiased}a{text-underline-offset:5px}a:hover{text-decoration-thickness:2px}button,a,summary,input{-webkit-tap-highlight-color:transparent}a:focus-visible,button:focus-visible,input:focus-visible,summary:focus-visible{outline:2px solid var(--accent);outline-offset:4px}button,input,nav,.navbar,.quarto-title-meta,.nav-footer,.sidebar,.reader-tools,.preview-notice,.revision-log,.article-list{font-family:Inter,"Noto Sans CJK SC","Microsoft YaHei",sans-serif}.navbar{border-bottom:1px solid var(--line);padding:21px max(24px,calc((100vw - 1180px)/2));font-size:13px;line-height:1.5}.navbar-container{width:100%}.navbar-brand-container{gap:12px}.navbar-brand{font-size:22px;font-weight:650}.navbar-logo{max-height:43px}.navbar-nav{gap:12px}#quarto-content{padding-top:45px}#quarto-document-content{min-width:0}.quarto-title .title{font-size:43px;line-height:1.5;letter-spacing:-.025em;text-wrap:balance;margin-bottom:14px}.quarto-title .subtitle{font-size:19px;color:var(--muted);line-height:1.8}.quarto-title-meta{font-size:12px;color:var(--muted);margin-top:23px!important}.quarto-title-meta-heading{font-size:10px!important;letter-spacing:.05em}.quarto-title-meta-contents{font-size:12px!important}.quarto-title-meta p{margin-bottom:0}.quarto-title-block{margin-bottom:35px}#TOC{font-size:12px;padding-right:18px;color:var(--muted)}#TOC #toc-title{font-size:13px;color:var(--ink);margin-bottom:17px;font-weight:600}#TOC a{line-height:1.8}#TOC a.active{font-weight:600;color:var(--accent)}h2{font-size:26px;margin-top:2.3em!important;line-height:1.65;border:0}h3{font-size:21px;line-height:1.7}p{margin-block:1.1em}.abstract-note{border-left:3px solid var(--accent);background:var(--soft);padding:1px 23px;margin:30px 0;font-size:16px}.abstract-note strong{font-family:"Noto Sans CJK SC",sans-serif;font-size:12px;color:var(--accent)}.reader-tools{display:flex;justify-content:flex-end;gap:20px;border-block:1px solid var(--line);padding:10px 0;margin:24px 0 30px;font-size:11px}.reader-tools button{color:var(--accent);background:transparent;border:0;padding:0;cursor:pointer}.reader-tools a{color:var(--accent);text-decoration:none}.quarto-other-formats{font-family:"Noto Sans CJK SC",sans-serif;font-size:12px}.quarto-other-formats h2{font-size:11px!important;margin-top:20px!important}.math.display{display:block;max-width:100%;overflow-x:auto;padding:12px 0}.math.display mjx-container[display=true]{min-width:0!important;max-width:100%;width:100%;padding:10px 4px;overflow-x:auto;overflow-y:hidden}mjx-container{color:inherit}p>span.math.inline{max-width:100%}.theorem{background:var(--surface);border:1px solid var(--line);border-top:2px solid var(--accent);padding:22px 26px;margin:28px 0;font-size:17px}.theorem-title{color:var(--accent);font-family:"Noto Sans CJK SC",sans-serif;font-size:13px}.proof{padding:18px 0;border-block:1px solid var(--line);font-size:16px}.proof summary{color:var(--accent);font:13px/1.9 "Noto Sans CJK SC",sans-serif;cursor:pointer}.footnotes{font-size:12px;color:var(--muted)}#refs{font-size:13px;line-height:1.9}.revision-log{border-top:1px solid var(--line);font-size:12px;color:var(--muted);margin-top:40px;padding-top:15px}.revision-log h2{font-size:14px!important;margin-top:10px!important;color:var(--accent)}.nav-footer{border-top:1px solid var(--line);padding:24px;font-size:11px;color:var(--muted)}.preview-notice{background:var(--soft);color:var(--accent);padding:9px 24px;text-align:center;font-size:11px;line-height:1.8}.preview-notice[data-error=true]{color:#8a3d20;background:#faeee6}.article-list{border-top:1px solid var(--line);margin-top:35px}.article-entry{padding:24px 0;border-bottom:1px solid var(--line)}.article-entry h2{font-family:"Noto Serif CJK SC",serif;font-size:25px!important;margin:0 0 10px!important}.article-entry p{font-size:13px;line-height:1.9;color:var(--muted);margin:9px 0}.entry-meta{font-size:10px;color:var(--accent)}.intro-label{font:10px/1.8 Consolas,monospace;letter-spacing:.14em;color:var(--accent)}.enlarged #quarto-document-content{font-size:20px}.table{font-size:15px}.table-responsive{overflow:auto}.quarto-figure figcaption{font-size:12px;color:var(--muted)}
.quarto-title-block .description{display:none}#TOC a{font-size:12px!important}#TOC #toc-title{margin-top:0!important}
.navbar-logo{width:43px;height:43px;max-width:none}.navbar-brand-logo{flex-shrink:0;min-width:43px}
.experiment{background:var(--surface);border:1px solid var(--line);border-radius:8px;padding:24px;margin:34px 0;font-family:"Noto Sans CJK SC",sans-serif;line-height:1.7}.experiment h3{font-family:"Noto Serif CJK SC",serif;font-size:22px;margin:12px 0}.experiment-heading{display:flex;justify-content:space-between;gap:8px;align-items:center;font:10px/1.8 Consolas,monospace;letter-spacing:.07em;color:var(--accent)}.experiment-intro{font-size:12px;color:var(--muted);line-height:1.8;margin:8px 0 18px}.experiment-grid{display:grid;grid-template-columns:minmax(0,1.5fr) minmax(150px,1fr);gap:24px;align-items:center}.plot-wrap{min-width:0}#state-plot{display:block;width:100%;height:auto;color:var(--muted);background:var(--paper);border-radius:5px}.plot-axis{stroke:var(--line);stroke-width:1}.unit-circle{stroke:var(--muted);stroke-width:1.4;stroke-dasharray:5 5;fill:none;opacity:.65}.original-ellipse{stroke:var(--orange);stroke-width:2;fill:var(--orange);fill-opacity:.07}.clipped-ellipse{stroke:var(--accent);stroke-width:2.5;fill:var(--accent);fill-opacity:.09}.axis-label{fill:var(--muted);font:10px sans-serif}.legend{display:flex;flex-wrap:wrap;gap:15px;margin-top:12px;font-size:10px;color:var(--muted)}.legend i{display:inline-block;width:12px;height:2px;vertical-align:middle;margin-right:5px}.legend .unit{background:var(--muted)}.legend .original{background:var(--orange)}.legend .clipped{background:var(--accent)}.sliders label{display:flex;justify-content:space-between;font-size:11px;gap:5px}.sliders output{font-family:Consolas,monospace;color:var(--accent)}.sliders input{width:100%;accent-color:var(--accent);margin:8px 0 18px;height:22px;cursor:pointer}.text-button{border:0;background:none;color:var(--accent);padding:0;font-size:11px;cursor:pointer}.experiment-stats{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));border-top:1px solid var(--line);margin-top:23px;padding-top:19px;gap:10px}.experiment-stats div{display:flex;flex-direction:column;gap:5px}.experiment-stats span{font-size:10px;color:var(--muted)}.experiment-stats strong{font:24px Georgia,serif;color:var(--accent)}.experiment-stats div:nth-child(2) strong{color:var(--orange)}.experiment-caption{font-size:10px;color:var(--muted);margin:15px 0 0}.dark-reader{--paper:#18251f;--surface:#1c2e25;--ink:#e4e9df;--muted:#a7b6aa;--line:#3a4b40;--accent:#8cc9b1;--soft:#253b2f;--orange:#ebae75;background:var(--paper);color:var(--ink)}.dark-reader .navbar{background:var(--paper)!important}.dark-reader a,.dark-reader .navbar-title{color:var(--accent)}.dark-reader .navbar-nav .nav-link{color:var(--muted)}
@media(max-width:991px){#quarto-content{padding-top:25px}.quarto-title .title{font-size:35px}.navbar{padding:18px 22px}.navbar-brand{font-size:20px}.quarto-title .subtitle{font-size:17px}.navbar-collapse{padding-top:20px}.navbar-nav{gap:7px}}
@media(max-width:600px){body{font-size:17px}#quarto-document-content{padding-inline:22px!important}.quarto-title .title{font-size:32px;line-height:1.5}.quarto-title .subtitle{font-size:16px}h2{font-size:23px}.quarto-title-block{margin-top:18px}.quarto-title-meta{gap:20px}.reader-tools{gap:15px;justify-content:flex-start;font-size:10px;flex-wrap:wrap}.abstract-note{padding:1px 17px;font-size:15px}.theorem{padding:18px;font-size:16px}.experiment{padding:18px 15px}.experiment h3{font-size:19px}.experiment-grid{grid-template-columns:1fr;gap:22px}.plot-wrap{max-width:360px;width:100%;margin:auto}.experiment-heading{font-size:8px}.experiment-stats strong{font-size:22px}.experiment-stats span{font-size:9px}.experiment-caption{font-size:9px}.math.display mjx-container{font-size:94%!important}.preview-notice{font-size:10px}.article-entry h2{font-size:23px!important}.quarto-layout-panel{min-width:0}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
@media(max-width:600px){#quarto-document-content{grid-column:screen-start / screen-end!important}.reader-tools{gap:4px 17px;font-size:11px}.reader-tools button,.reader-tools a{min-height:40px;display:inline-flex;align-items:center}.sliders input{height:36px}.text-button{min-height:40px}}
@media print{.navbar,.sidebar,.reader-tools,.preview-notice,.nav-footer,.sliders{display:none!important}body,.dark-reader{background:white;color:#111}#quarto-content{display:block!important;padding:0!important}#quarto-document-content{width:auto!important;max-width:none!important;font-size:11pt}.quarto-title .title{font-size:26pt}.experiment{break-inside:avoid}.plot-wrap{max-width:280px;margin:auto}.experiment-grid{display:block}h2{break-after:avoid}.math.display{overflow:visible}.math.display mjx-container[display=true]{overflow:visible}.proof:not([open])>:not(summary){display:block}@page{size:A4;margin:18mm}}