pre code.hljs{display:block;overflow-x:auto;padding:1.2rem}.hljs{background:var(--secondary-background);color:var(--primary-foreground)}.hljs-comment{color:var(--tertiary-foreground);font-style:italic}.hljs-doctag,.hljs-keyword,.hljs-name,.hljs-section,.hljs-selector-tag,.hljs-strong,.hljs-title{font-weight:700;color:var(--accent-color)}.hljs-addition,.hljs-literal,.hljs-quote,.hljs-selector-class,.hljs-selector-id,.hljs-string,.hljs-tag{color:var(--accent-color)}.hljs-attribute,.hljs-bullet,.hljs-deletion,.hljs-link,.hljs-meta,.hljs-regexp,.hljs-subst,.hljs-symbol,.hljs-template-variable,.hljs-type,.hljs-variable{color:var(--primary-foreground)}.hljs-built_in{color:var(--accent-color)}.hljs-emphasis{font-style:italic}:root{color-scheme:light dark;--background:#fff;--secondary-background:#f4f4f4;--primary-foreground:#000;--secondary-foreground:#333;--tertiary-foreground:#5f5f5f;--accent-color:#007bff;--secondary-accent-color:#66b2ff;--transition-duration:0.25s}[data-theme=dark]{--background:#1a1a1a;--secondary-background:#222;--primary-foreground:#fff;--secondary-foreground:#e0e0e0;--tertiary-foreground:#a0a0a0;--accent-color:#63b3ed;--secondary-accent-color:#9ac8f5}*{box-sizing:border-box;padding:0;margin:0}html{overflow-y:scroll}body,html{max-width:100vw;font-size:large;background-color:var(--background);color:var(--secondary-foreground);font-family:Times New Roman,serif;line-height:1.3rem}button{all:unset;cursor:pointer;color:var(--secondary-foreground);transition:color var(--transition-duration)}button:hover{color:var(--accent-color)}a{text-decoration:none;color:var(--secondary-foreground);transition:color var(--transition-duration)}a:hover{color:var(--accent-color)}p{padding:.15rem 0}table{border-collapse:collapse;margin:1rem auto;font-size:1em;width:100%}td,th{padding:12px 15px}thead>tr{text-align:left;border-bottom:1px solid var(--secondary-foreground)}ol,ul{margin:.25rem .5rem;padding-left:1rem}li{padding:.05rem 0}h1,h2,h3,h4,h5{font-feature-settings:"smcp";font-variant:small-caps;font-weight:400;color:var(--primary-foreground);line-height:2rem}h1{text-align:center;font-feature-settings:"smcp";font-variant:small-caps;font-size:2rem;margin:14px 0}h2{font-size:1.8rem;margin:12px 0}h3{font-size:1.6rem;margin:10px 0}h4{font-size:1.4rem;margin:8px 0;font-size:1.2rem;margin:6px 0}hr{margin:.6rem 0;height:1px;background-color:var(--secondary-foreground);border:none}pre{margin:1rem 0;overflow-x:auto}img{display:block;margin:20px auto;width:80%}blockquote{color:var(--tertiary-foreground);border-left:3px solid var(--tertiary-foreground);margin:1rem 0;padding:0 1rem;opacity:60%}mjx-math{overflow-x:auto;overflow-y:hidden;max-width:100%;vertical-align:middle}.tikz-diagram{display:flex;justify-content:center;align-items:center;margin:2rem 0;width:100%}.tikz-diagram .tikz-svg{max-width:100%;max-height:60vh;height:auto;width:auto;display:block}[data-theme=dark] .tikz-diagram .tikz-svg{filter:invert(1) hue-rotate(180deg)}[data-theme=light] .tikz-diagram .tikz-svg{filter:none}div[style*="display: flex"][style*=width]{margin:2rem auto!important;display:block!important;width:100%!important}.page{position:relative!important;display:flex!important;justify-content:center!important}svg[width*=pt][height*=pt]{position:relative!important;transform:scale(1.2)!important;transform-origin:center!important;filter:none;transition:filter var(--transition-duration)}[data-theme=dark] svg[width*=pt][height*=pt]{filter:invert(1) hue-rotate(180deg)}::-webkit-scrollbar{width:2px}::-webkit-scrollbar-track{background-color:transparent}::-webkit-scrollbar-thumb{border-radius:2px;background-clip:content-box}::-webkit-scrollbar-thumb:hover{background-color:var(--tertiary-foreground)}.title{font-feature-settings:"smcp";font-variant:small-caps;font-size:2.2rem;color:var(--primary-foreground);margin:.5rem}.cn{font-size:2rem}