@font-face{font-family:Literata Fallback;src:local(Iowan Old Style),local(Baskerville);font-display:swap}:root{color-scheme:light;--paper:#f3f3ed;--paper-raised:#fafaf6;--ink:#171a18;--ink-soft:#5c625e;--line:#cfd2cb;--line-strong:#9ea49f;--accent:#176b4d;--accent-soft:#d8e7df;--board-dark:#225f49;--board-light:#dfe6da;--code:#111713;--header-height:68px;--sidebar-width:292px;--radius:4px;--sans:"Avenir Next", Avenir, "Helvetica Neue", Arial, sans-serif;--serif:"Literata Fallback", "Iowan Old Style", Baskerville, Georgia, serif;--mono:"SFMono-Regular", Consolas, "Liberation Mono", monospace}:root[data-theme=dark]{color-scheme:dark;--paper:#111512;--paper-raised:#171c19;--ink:#eef1eb;--ink-soft:#a9b0aa;--line:#343b36;--line-strong:#59625c;--accent:#66c69d;--accent-soft:#1b3b2e;--board-dark:#2f8d67;--board-light:#29332c;--code:#090c0a}*,:before,:after{box-sizing:border-box}html{scroll-behavior:smooth;background:var(--paper)}body{color:var(--ink);background:var(--paper);font-family:var(--sans);text-rendering:optimizelegibility;margin:0;line-height:1.55}a{color:inherit;text-decoration:none}button,input{font:inherit}button,a{-webkit-tap-highlight-color:transparent}button:active,.primary-link:active{transform:translateY(1px)}:focus-visible{outline:2px solid var(--accent);outline-offset:3px}::selection{color:var(--ink);background:var(--accent-soft)}.sr-only{clip:rect(0,0,0,0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip-link{z-index:100;background:var(--ink);color:var(--paper);border-radius:var(--radius);padding:10px 14px;position:fixed;top:8px;left:8px;transform:translateY(-150%)}.skip-link:focus{transform:none}.site-header{z-index:50;height:var(--header-height);border-bottom:1px solid var(--line);background:color-mix(in srgb, var(--paper) 92%, transparent);backdrop-filter:blur(12px);justify-content:space-between;align-items:center;padding:0 24px;display:flex;position:sticky;top:0}.wordmark{letter-spacing:-.025em;align-items:center;gap:11px;font-size:15px;font-weight:720;line-height:1;display:inline-flex}.wordmark small{color:var(--ink-soft);font-family:var(--mono);letter-spacing:.08em;text-transform:uppercase;margin-top:5px;font-size:8px;font-weight:500;display:block}.brand-piece{width:35px;height:35px;color:var(--paper-raised);background:var(--accent);border-radius:var(--radius);place-items:center;font-family:Georgia,serif;font-size:24px;display:grid}.header-actions{align-items:center;gap:8px;display:flex}.icon-button,.search-trigger,.language-switch{border:1px solid var(--line);border-radius:var(--radius);height:38px;color:var(--ink);background:var(--paper-raised)}.icon-button{cursor:pointer;place-items:center;width:38px;padding:0;display:grid}.search-trigger{width:170px;color:var(--ink-soft);text-align:left;cursor:pointer;grid-template-columns:22px 1fr auto;align-items:center;gap:5px;padding:0 8px;display:grid}.search-trigger>span:first-child{color:var(--ink);font:23px/1 var(--serif);transform:rotate(-20deg)}.search-trigger kbd{border:1px solid var(--line);color:var(--ink-soft);background:var(--paper);font:10px var(--mono);padding:1px 5px}.language-switch{font:650 11px var(--mono);align-items:center;gap:8px;padding:0 11px;display:flex}.language-switch span{color:var(--ink-soft);font:500 12px var(--sans);display:none}.theme-mark{background:linear-gradient(90deg,currentColor 50%,#0000 50%);border:1.5px solid;border-radius:50%;width:15px;height:15px}.menu-toggle{align-content:center;gap:4px;display:none}.menu-toggle i{background:currentColor;width:16px;height:1px;display:block}.book-shell{min-height:calc(100dvh - var(--header-height));grid-template-columns:var(--sidebar-width) minmax(0, 1fr);display:grid}.book-sidebar{top:var(--header-height);height:calc(100dvh - var(--header-height));border-right:1px solid var(--line);background:var(--paper);position:sticky}.sidebar-scroll{scrollbar-width:thin;height:100%;padding:28px 20px 40px;overflow-y:auto}.sidebar-title{justify-content:space-between;align-items:baseline;margin:0 8px 25px;font-size:12px;font-weight:760;display:flex}.sidebar-title span{color:var(--ink-soft);font:9px var(--mono);text-transform:uppercase}.chapter-group+.chapter-group{border-top:1px solid var(--line);margin-top:30px;padding-top:22px}.chapter-group h2,.page-toc h2{color:var(--ink-soft);font:600 9px var(--mono);letter-spacing:.09em;text-transform:uppercase;margin:0 8px 9px}.chapter-group h2>a,.group-heading{color:var(--ink-soft);grid-template-columns:28px 1fr;align-items:start;gap:6px;display:grid}.chapter-group h2>a{border-radius:var(--radius);padding:4px 0}.chapter-group h2>a:hover{color:var(--ink)}.chapter-group h2>a[aria-current=page]{color:var(--accent)}.chapter-group h2 span,.group-heading b{color:var(--accent);font:650 9px var(--mono)}.chapter-group ol,.page-toc ol{margin:0;padding:0;list-style:none}.chapter-group li>a{border-radius:var(--radius);color:var(--ink-soft);grid-template-columns:28px 1fr;align-items:start;gap:6px;padding:8px;font-size:12px;line-height:1.35;display:grid}.chapter-group li>a span{color:var(--line-strong);font:9px var(--mono);padding-top:2px}.chapter-group li>a:hover{color:var(--ink);background:var(--paper-raised)}.chapter-group li>a[aria-current=page]{color:var(--ink);background:var(--accent-soft);font-weight:650}.chapter-group li>a[aria-current=page] span{color:var(--accent)}.page-toc{border-top:1px solid var(--line);margin-top:30px;padding-top:22px}.page-toc a{color:var(--ink-soft);padding:5px 8px;font-size:11px;line-height:1.4;display:block}.page-toc a[data-depth="3"]{padding-left:20px}.page-toc a:hover{color:var(--accent)}#main-content{min-width:0}.home-page{overflow:hidden}.home-hero{min-height:min(720px, calc(100dvh - var(--header-height)));border-bottom:1px solid var(--line);grid-template-columns:minmax(0,.95fr) minmax(380px,.75fr);align-items:center;gap:clamp(40px,8vw,130px);padding:clamp(50px,7vw,94px) clamp(32px,7vw,110px);display:grid}.hero-copy{max-width:720px}.edition-label{color:var(--accent);font:600 10px var(--mono);letter-spacing:.12em;text-transform:uppercase;margin:0 0 22px}.hero-copy h1{max-width:650px;font-family:var(--serif);letter-spacing:-.055em;margin:0;font-size:clamp(52px,6.3vw,98px);font-weight:500;line-height:.93}.hero-subtitle{font-family:var(--serif);margin:26px 0 0;font-size:clamp(19px,2vw,29px);font-style:italic;line-height:1.1}.hero-description{max-width:570px;color:var(--ink-soft);margin:24px 0 31px;font-size:clamp(15px,1.2vw,18px);line-height:1.65}.primary-link{border-radius:var(--radius);color:#fff;background:var(--accent);align-items:center;gap:35px;width:fit-content;padding:13px 16px;font-size:13px;font-weight:700;display:flex}.primary-link span{font-size:18px;transition:transform .25s}.primary-link:hover span{transform:translate(4px)}.hero-actions{flex-wrap:wrap;align-items:center;gap:10px;display:flex}.secondary-link{border:1px solid var(--line-strong);border-radius:var(--radius);width:fit-content;color:var(--ink);background:var(--paper-raised);align-items:center;gap:20px;padding:12px 15px;font-size:13px;font-weight:700;display:flex}.secondary-link:hover{color:var(--accent);border-color:var(--accent)}.hero-media{border:1px solid var(--line-strong);border-radius:var(--radius);width:min(100%,600px);box-shadow:18px 20px 0 var(--accent-soft);justify-self:end;overflow:hidden}.hero-media img{width:100%;height:auto;display:block}.thesis-strip{border-bottom:1px solid var(--line);color:var(--ink-soft);font:600 10px var(--mono);letter-spacing:.1em;text-transform:uppercase;justify-content:center;align-items:center;gap:clamp(15px,3vw,40px);padding:23px 30px;display:flex}.thesis-strip i{background:var(--accent);border-radius:50%;width:3px;height:3px}.contents-preview{grid-template-columns:minmax(230px,.7fr) minmax(400px,1.3fr);gap:clamp(45px,8vw,125px);padding:clamp(65px,9vw,125px) clamp(32px,7vw,110px);display:grid}.contents-preview>div{align-self:start;position:sticky;top:110px}.contents-preview h2{max-width:500px;font-family:var(--serif);letter-spacing:-.035em;margin:0;font-size:clamp(34px,4vw,62px);font-weight:500;line-height:1}.contents-preview>div p{max-width:430px;color:var(--ink-soft);margin:25px 0 0;font-size:14px}.contents-preview ol{border-top:1px solid var(--line-strong);margin:0;padding:0;list-style:none}.contents-preview li{border-bottom:1px solid var(--line)}.contents-preview li a{grid-template-columns:38px 1fr 2fr 20px;align-items:baseline;gap:14px;padding:22px 5px;display:grid}.contents-preview li a>span{color:var(--accent);font:10px var(--mono)}.contents-preview li strong{font:500 18px var(--serif)}.contents-preview li small{color:var(--ink-soft);font-size:11px}.contents-preview li b{color:var(--ink-soft);font-weight:400;transition:transform .2s}.contents-preview li a:hover strong{color:var(--accent)}.contents-preview li a:hover b{transform:translate(2px,-2px)}.home-outline>.outline-group{padding:0}.home-outline>.outline-group+.outline-group{border-top:1px solid var(--line-strong)}.outline-heading{grid-template-columns:38px 1fr 20px;align-items:center;gap:14px;min-height:62px;padding:14px 5px;display:grid}div.outline-heading{color:var(--ink)}.outline-heading>span{color:var(--accent);font:650 10px var(--mono)}.outline-heading>strong{font:500 22px var(--serif)}.outline-group>ol{border:0;margin:0 0 15px 38px}.outline-group>ol>li{border-top:1px solid var(--line);border-bottom:0}.outline-group>ol>li a{padding:15px 5px}.text-link{width:fit-content;color:var(--accent);border-bottom:1px solid;grid-column:2;margin-top:-80px;font-size:12px;font-weight:700}.chapter-page{max-width:920px;margin:0 auto;padding:clamp(45px,7vw,90px) clamp(28px,7vw,90px) 80px}.breadcrumbs{color:var(--ink-soft);font:600 9px var(--mono);letter-spacing:.04em;text-transform:uppercase;flex-wrap:wrap;gap:7px;margin:0 0 28px 143px;display:flex}.breadcrumbs a:hover{color:var(--accent)}.chapter-header{border-bottom:1px solid var(--line-strong);grid-template-columns:105px minmax(0,1fr);align-items:start;gap:38px;margin-bottom:70px;padding-bottom:55px;display:grid}.chapter-number{flex-direction:column;padding-top:8px;display:flex}.chapter-number span{color:var(--ink-soft);font:600 9px var(--mono);letter-spacing:.1em;text-transform:uppercase}.chapter-number b{color:var(--accent);font:400 clamp(42px, 5vw, 70px)/1 var(--serif)}.chapter-header>div:last-child>p:first-child:not(.chapter-deck){color:var(--accent);font:600 10px var(--mono);letter-spacing:.08em;text-transform:uppercase;margin:0 0 12px}.chapter-header h1{max-width:680px;font-family:var(--serif);letter-spacing:-.045em;margin:0;font-size:clamp(43px,6vw,76px);font-weight:500;line-height:.98}.chapter-deck{max-width:650px;color:var(--ink-soft);margin:24px 0 0;font-size:18px;line-height:1.55}.book-prose{max-width:720px;font-family:var(--serif);margin-left:auto;font-size:18px;line-height:1.82}.book-prose>:first-child{margin-top:0}.book-prose h2,.book-prose h3,.book-prose h4{scroll-margin-top:calc(var(--header-height) + 25px);color:var(--ink);line-height:1.15}.book-prose h2{letter-spacing:-.025em;margin:2.8em 0 .75em;font-size:34px;font-weight:500}.book-prose h3{font-family:var(--sans);margin:2.2em 0 .6em;font-size:20px;font-weight:720}.book-prose h4{font-family:var(--sans);margin:2em 0 .5em;font-size:16px}.book-prose p{margin:0 0 1.25em}.book-prose a{color:var(--accent);text-underline-offset:3px;text-decoration:underline 1px}.book-prose strong{font-weight:750}.book-prose .footnote{color:var(--ink-soft);font-family:var(--sans);font-size:.72em;line-height:1.45}.book-prose .footnote:before{content:" ("}.book-prose .footnote:after{content:")"}.book-prose cite{white-space:nowrap;font-style:italic}.book-prose .bibliography{padding-left:0;list-style:none}.book-prose .bibliography li{border-bottom:1px solid var(--line);margin:0;padding:12px 0}.book-prose .citation-key{color:var(--ink-soft);font:9px var(--mono);overflow-wrap:anywhere;display:block}.book-prose blockquote{border-left:3px solid var(--accent);color:var(--ink-soft);margin:2.2em 0;padding:3px 0 3px 25px;font-size:21px;font-style:italic}.book-prose ul,.book-prose ol{padding-left:1.3em}.book-prose li{margin:.45em 0;padding-left:.25em}.book-prose li::marker{color:var(--accent)}.book-prose img,.book-prose svg{border-radius:var(--radius);max-width:100%;height:auto;margin:2.2em auto;display:block}.book-prose figure{margin:2.5em 0}.book-prose figcaption{color:var(--ink-soft);font:11px/1.5 var(--sans);text-align:center;margin-top:-1.2em}.book-prose figure>.subfigure-grid{--subfigure-gap:clamp(12px, 2.4vw, 24px);justify-content:center;align-items:start;gap:var(--subfigure-gap);counter-reset:subfigure;flex-wrap:wrap;margin:1.8em 0 .9em;display:flex}.book-prose .subfigure{flex:0 1 calc(var(--subfigure-width,50%) - var(--subfigure-gap) / 2);counter-increment:subfigure;min-width:0;margin:0}.book-prose .subfigure>:is(img,svg,picture,video,canvas,.chessboard,.localized-diagram,.diagram-stage,.figure-equation,.figure-table){border-radius:0;width:100%;max-width:100%;height:auto;margin:0 auto;display:block}.book-prose .subfigure>picture img{border-radius:0;width:100%;max-width:100%;height:auto;margin:0;display:block}.book-prose .subfigure .figure-table{overflow-x:auto}.book-prose .subfigure .figure-table table{margin:0}.book-prose .subfigure>figcaption{color:var(--ink-soft);font:10px/1.4 var(--sans);text-align:center;margin:.65em 0 0}.book-prose .subfigure>figcaption:before{content:"(" counter(subfigure, lower-alpha) ") ";color:var(--ink);font-weight:700}.book-prose figure>.subfigure-grid+figcaption{border-top:1px solid var(--line);margin:.85em 0 0;padding-top:.75em}.book-prose code{border:1px solid var(--line);border-radius:var(--radius);background:var(--paper-raised);font:.82em var(--mono);padding:.12em .3em}.book-prose pre{border-radius:var(--radius);color:#edf3ee;background:var(--code);margin:2em 0;padding:20px;font-size:13px;line-height:1.65;overflow-x:auto}.book-prose pre code{color:inherit;background:0 0;border:0;padding:0}.book-prose table{border-collapse:collapse;width:100%;font-family:var(--sans);margin:2em 0;font-size:13px}.book-prose th,.book-prose td{border:1px solid var(--line);text-align:left;padding:10px 12px}.book-prose th{background:var(--accent-soft)}.book-prose .katex-display{padding:.5em 0;font-size:1.05em;overflow:auto hidden}.figure-equation{max-width:100%;padding:.5em 0;overflow:auto hidden}.chessboard{width:min(100%,620px);margin:2.5em auto}.chessboard-grid{grid-template-columns:repeat(var(--board-size), 1fr);aspect-ratio:1;border:1px solid var(--line-strong);border-radius:var(--radius);background:var(--board-light);box-shadow:8px 9px 0 var(--accent-soft);display:grid;position:relative;overflow:hidden}.chess-square{color:#17241d;background:var(--board-light);place-items:center;min-width:0;display:grid;position:relative}.chess-square.is-dark{background:var(--board-dark)}.chess-square.is-marked:after{content:"";z-index:1;background:#df9b3240;border:3px solid #df9b32;border-radius:50%;position:absolute;inset:10%}.chess-square:before{content:attr(data-file);z-index:3;color:color-mix(in srgb, currentColor 68%, transparent);font:600 clamp(6px, 1vw, 10px) var(--mono);text-transform:uppercase;position:absolute;bottom:1px;right:3px}.chess-square[data-rank]:after{content:attr(data-rank);z-index:3;color:color-mix(in srgb, currentColor 68%, transparent);font:600 clamp(6px, 1vw, 10px) var(--mono);position:absolute;top:2px;left:3px}.chess-square.is-marked[data-rank]:after{content:attr(data-rank);background:0 0;border:0;inset:2px auto auto 3px}.chess-piece{z-index:2;color:#111713;font:clamp(20px, calc(46vw / var(--board-size)), 62px)/1 Georgia, serif;filter:drop-shadow(0 1px #ffffffa6);position:relative}.square-value{z-index:2;color:currentColor;font:700 clamp(8px, calc(13vw / var(--board-size)), 17px)/1 var(--mono);position:relative}.chess-square.is-dark .square-value{color:#f4f5ef}.chess-piece[aria-label^=white],.chess-piece[aria-label^=rey\ blanco],.chess-piece[aria-label^=dama\ blanca],.chess-piece[aria-label^=torre\ blanca],.chess-piece[aria-label^=alfil\ blanco],.chess-piece[aria-label^=caballo\ blanco],.chess-piece[aria-label^=peón\ blanco]{color:#f7f5e9;filter:drop-shadow(0 1px 1px #101713)}.board-arrows{z-index:4;pointer-events:none;position:absolute;inset:0}.board-arrows i{transform-origin:0;background:#e29629d1;border-radius:4px 0 0 4px;height:6px;position:absolute}.board-arrows i:after{content:"";border-top:6px solid #0000;border-bottom:6px solid #0000;border-left:12px solid #e29629d1;width:12px;height:12px;position:absolute;top:50%;right:-3px;transform:translateY(-50%)}.localized-diagram{width:100%;font-family:var(--sans);margin:2.5em 0}.mdp-chess-flow{isolation:isolate;border:1px solid var(--line);border-radius:var(--radius);background:var(--paper-raised);grid-template-columns:repeat(2,minmax(0,1fr));justify-items:center;gap:clamp(70px,10vw,120px) clamp(28px,10vw,130px);padding:clamp(28px,5vw,54px);display:grid;position:relative;overflow:hidden}.mdp-agent{z-index:2;aspect-ratio:1;color:#fff;width:clamp(120px,20vw,170px);font:700 clamp(20px, 4vw, 34px) var(--serif);background:#6f786f;border-radius:50%;grid-column:1/-1;place-items:center;display:grid;position:relative}.mdp-state{z-index:2;background:#8f918f;border-radius:50%;width:min(100%,280px);padding:clamp(15px,2.2vw,24px);position:relative}.mdp-state .chessboard{width:100%;margin:0}.mdp-state .source-chessboard{border-radius:2px!important}.mdp-edge-label{z-index:3;max-width:min(34%,310px);color:var(--ink-soft);font:500 clamp(10px, 1.35vw, 16px)/1.35 var(--sans);position:absolute}.mdp-edge-state-label{text-align:right;top:40%;left:3%}.mdp-edge-action-label{text-align:left;top:40%;right:3%}.mdp-edge-transition-label{text-align:center;bottom:5%;left:50%;transform:translate(-50%)}.mdp-flow-arrows{z-index:1;pointer-events:none;width:100%;height:100%;position:absolute;inset:0}.mdp-flow-arrows path{fill:none;stroke:var(--accent);stroke-width:5px}.mdp-flow-arrows marker path{fill:var(--accent);stroke:none}.diagram-stage{border:1px solid var(--line);border-radius:var(--radius);background:var(--paper-raised);isolation:isolate;place-items:center;min-height:210px;padding:clamp(25px,5vw,55px);display:grid;position:relative;overflow:hidden}.diagram-stage:before{content:"";z-index:-1;background-image:linear-gradient(var(--line) 1px, transparent 1px), linear-gradient(90deg, var(--line) 1px, transparent 1px);opacity:.2;background-size:28px 28px;position:absolute;inset:0}.diagram-node{border:1px solid var(--line-strong);border-radius:var(--radius);background:var(--paper);min-width:76px;color:var(--ink);text-align:center;place-items:center;padding:11px 13px;font-size:11px;font-weight:650;animation:.45s both diagram-in;display:grid}.diagram-node.accent{border-color:var(--accent);color:var(--paper-raised);background:var(--accent)}.diagram-node.wide{min-width:120px}.diagram-arrow{color:var(--accent);font-size:22px;font-style:normal;animation:.45s .12s both diagram-in}.diagram-cycle,.network-diagram,.residual-diagram{justify-content:center;align-items:center;gap:clamp(6px,1.5vw,14px);display:flex}.network-fork{gap:8px;display:grid}.residual-diagram{position:relative}.skip-line{border:1px solid var(--accent);border-radius:var(--radius) var(--radius) 0 0;border-bottom:0;height:25px;position:absolute;top:-25px;left:15px;right:90px}.diagram-legend{width:100%;color:var(--ink-soft);font:9px var(--mono);justify-content:space-between;margin-top:14px;display:flex}.bar-chart{border-bottom:1px solid var(--line-strong);justify-content:center;align-items:end;gap:clamp(5px,2vw,18px);width:100%;height:210px;display:flex}.bar-chart>span{width:min(46px,10%);height:calc(var(--value) * 1.8px + 7px);background:var(--accent);transform-origin:bottom;max-height:185px;animation:.65s cubic-bezier(.2,.8,.2,1) both bar-grow;position:relative}.bar-chart>span i{width:100%;color:var(--accent);font:9px var(--mono);text-align:center;position:absolute;top:-21px}.bar-chart>span b{width:100%;color:var(--ink-soft);font:9px var(--mono);text-align:center;position:absolute;bottom:-24px}.cover-diagram{grid-template-columns:minmax(180px,320px) auto;align-items:end;gap:30px;display:grid}.cover-mini-board{aspect-ratio:1;box-shadow:10px 10px 0 var(--accent-soft);grid-template-columns:repeat(4,1fr);display:grid;position:relative;overflow:hidden;transform:rotate(-3deg)}.cover-mini-board i{background:var(--board-light)}.cover-mini-board i.dark{background:var(--board-dark)}.cover-mini-board b{color:#fff;place-items:center;font:clamp(70px,13vw,140px)/1 Georgia,serif;display:grid;position:absolute;inset:0}.cover-diagram p{color:var(--accent);font:500 clamp(50px, 10vw, 100px)/.8 var(--serif);margin:0}.cover-diagram sup{font-size:.3em}.direction-diagram{align-items:center;gap:30px;display:flex}.direction-board{aspect-ratio:1;border:1px solid var(--line-strong);grid-template-columns:repeat(3,1fr);width:min(260px,55vw);display:grid;position:relative}.direction-board b{z-index:2;place-items:center;font:48px Georgia,serif;display:grid;position:absolute;inset:0}.direction-board i{color:var(--accent);place-items:center;font-size:27px;font-style:normal;display:grid}.direction-board i:nth-of-type(4){grid-column:1}.direction-board i:nth-of-type(5){grid-column:3}.direction-diagram p{color:var(--accent);font:600 14px var(--mono)}.tree-diagram{justify-items:center;gap:50px;width:min(520px,100%);display:grid}.tree-root,.tree-diagram>div>span{border:1px solid var(--line-strong);border-radius:var(--radius);background:var(--paper);min-width:75px;font:650 11px var(--sans);text-align:center;padding:10px;position:relative}.tree-root{color:#fff;border-color:var(--accent);background:var(--accent)}.tree-root:after{content:"";background:var(--line-strong);width:1px;height:25px;position:absolute;top:100%;left:50%}.tree-diagram>div{border-top:1px solid var(--line-strong);justify-content:space-around;gap:10px;width:100%;padding-top:25px;display:flex}.tree-diagram>div>span:before{content:"";background:var(--line-strong);width:1px;height:25px;position:absolute;bottom:100%;left:50%}.tree-diagram small{color:var(--accent);font:9px var(--mono);margin-top:4px;display:block}.tree-diagram .prune{color:var(--ink-soft);opacity:.62;border-style:dashed;text-decoration:line-through}.diagram-steps{gap:8px;margin-top:25px;display:flex}.diagram-steps b{color:var(--accent);border:1px solid var(--accent);border-radius:var(--radius);font:600 9px var(--mono);padding:6px 9px}.mermaid-flowchart{border:1px solid var(--line);border-radius:var(--radius);background:var(--paper-raised);place-items:center;min-height:210px;padding:clamp(22px,4vw,44px);display:grid;overflow-x:auto}.mermaid-flowchart svg{width:100%;min-width:520px;height:auto;margin:auto;display:block;max-width:760px!important}.mermaid-flowchart[data-node-count="1"] svg{min-width:220px;max-width:300px!important}.mermaid-flowchart[data-node-count="2"] svg{min-width:420px;max-width:560px!important}.mermaid-flowchart .edgeLabel{color:#33483d;text-transform:uppercase;font-weight:700;font-family:var(--mono)!important;font-size:11px!important}.mermaid-flowchart .edgeLabel p{border-radius:2px;padding:2px 5px;background:#f3f3ed!important}.mermaid-flowchart .nodeLabel{line-height:1.25}.mermaid-flowchart .flowchart-link{stroke:#46765f!important;stroke-width:1.8px!important}.mermaid-flowchart marker path{fill:#46765f!important;stroke:#46765f!important}@keyframes diagram-in{0%{opacity:0;transform:translateY(8px)}}@keyframes bar-grow{0%{transform:scaleY(0)}}.reading-meter{z-index:60;top:calc(var(--header-height) - 2px);right:0;left:calc(var(--sidebar-width) + 1px);pointer-events:none;height:2px;position:fixed}.reading-meter span{transform-origin:0;background:var(--accent);width:100%;height:100%;display:block;transform:scaleX(0)}.read-status{border:1px solid var(--line-strong);border-radius:var(--radius);color:var(--ink);cursor:pointer;background:0 0;align-items:center;gap:9px;margin:65px 0 35px auto;padding:10px 13px;display:flex}.read-status b{font-size:11px}.read-check{border:1px solid var(--line-strong);border-radius:2px;width:14px;height:14px}.read-status[data-done]{color:var(--accent);border-color:var(--accent);background:var(--accent-soft)}.read-status[data-done] .read-check{border-color:var(--accent);background:var(--accent);box-shadow:inset 0 0 0 3px var(--accent-soft)}.chapter-pagination{border-top:1px solid var(--line);grid-template-columns:1fr 1fr;gap:20px;padding-top:30px;display:grid}.chapter-pagination a{border:1px solid var(--line);border-radius:var(--radius);flex-direction:column;gap:8px;min-height:90px;padding:14px;display:flex}.chapter-pagination a:last-child{text-align:right}.chapter-pagination span{color:var(--ink-soft);font:9px var(--mono);text-transform:uppercase}.chapter-pagination strong{font:500 16px var(--serif)}.chapter-pagination a:hover{border-color:var(--accent)}.search-dialog{border:1px solid var(--line-strong);border-radius:var(--radius);width:min(680px,100% - 28px);max-height:min(620px,80dvh);color:var(--ink);background:var(--paper-raised);box-shadow:0 25px 80px color-mix(in srgb, var(--ink) 22%, transparent);margin-top:12vh;padding:0}.search-dialog::backdrop{background:color-mix(in srgb, var(--ink) 30%, transparent);backdrop-filter:blur(3px)}.search-head{border-bottom:1px solid var(--line);grid-template-columns:1fr auto;gap:10px;padding:12px;display:grid}.search-head input{min-width:0;color:var(--ink);background:0 0;border:0;outline:0;padding:10px}.search-head input::placeholder{color:var(--ink-soft);opacity:1}.search-head button{border:1px solid var(--line);border-radius:var(--radius);color:var(--ink-soft);background:var(--paper);font:9px var(--mono);cursor:pointer;align-self:center;padding:4px 7px}.search-results{max-height:480px;padding:8px;overflow-y:auto}.search-results a{border-radius:var(--radius);grid-template-columns:42px 1fr;gap:6px;padding:13px;display:grid}.search-results a:hover,.search-results a:focus{background:var(--accent-soft);outline:none}.search-results a>span:first-child{color:var(--accent);font:10px var(--mono)}.search-results a>span:last-child{flex-direction:column;gap:3px;display:flex}.search-results strong{font:500 16px var(--serif)}.search-results small{color:var(--ink-soft);text-overflow:ellipsis;white-space:nowrap;font-size:11px;overflow:hidden}.search-empty{color:var(--ink-soft);text-align:center;padding:35px;font-size:13px}.site-footer{margin-left:var(--sidebar-width);border-top:1px solid var(--line);color:var(--ink-soft);font:10px var(--mono);justify-content:space-between;padding:28px 35px;display:flex}@media (width>=1180px){.language-switch span{display:inline}}@media (width<=900px){:root{--sidebar-width:0px}.book-shell{display:block}.book-sidebar{z-index:45;top:var(--header-height);width:min(340px,88vw);height:auto;box-shadow:20px 0 60px color-mix(in srgb, var(--ink) 15%, transparent);transition:transform .25s;position:fixed;bottom:0;left:0;transform:translate(-105%)}.book-sidebar[data-open]{transform:none}body.nav-open{overflow:hidden}.menu-toggle{display:grid}.home-hero{grid-template-columns:1fr;min-height:auto}.hero-media{justify-self:center;width:min(92%,600px)}.contents-preview{grid-template-columns:1fr}.contents-preview>div{position:static}.text-link{grid-column:auto;margin-top:0}.site-footer{margin-left:0}}@media (width<=640px){:root{--header-height:60px}.site-header{padding:0 14px}.brand-piece{width:32px;height:32px}.wordmark>span:last-child{display:none}.search-trigger{grid-template-columns:1fr;place-items:center;width:38px;padding:0;display:grid}.search-trigger span:last-of-type,.search-trigger kbd,.language-switch span{display:none}.home-hero{gap:55px;padding:48px 24px 70px}.hero-copy h1{font-size:clamp(50px,16vw,72px)}.hero-media{width:100%;box-shadow:10px 12px 0 var(--accent-soft)}.thesis-strip{justify-content:flex-start;overflow-x:auto}.thesis-strip span{white-space:nowrap}.contents-preview{gap:45px;padding:70px 24px}.contents-preview li a{grid-template-columns:33px 1fr 15px}.contents-preview li small{display:none}.chapter-page{padding:42px 22px 60px}.chapter-header{grid-template-columns:1fr;gap:18px;margin-bottom:50px;padding-bottom:40px}.breadcrumbs{margin-left:0}.chapter-number{flex-direction:row;align-items:baseline;gap:10px}.chapter-number b{font-size:38px}.chapter-header h1{font-size:clamp(42px,13vw,58px)}.chapter-deck{font-size:16px}.book-prose{font-size:17px;line-height:1.75}.book-prose h2{font-size:29px}.book-prose figure>.subfigure-grid{--subfigure-gap:14px}.book-prose .subfigure{flex-basis:100%}.book-prose table{display:block;overflow-x:auto}.chapter-pagination{grid-template-columns:1fr}.chapter-pagination>span:empty{display:none}.site-footer{gap:20px;padding:24px}.diagram-stage{min-height:180px;padding:25px 14px}.mdp-chess-flow{gap:58px 16px;padding:24px 12px}.mdp-agent{width:106px}.mdp-state{padding:10px}.mdp-edge-label{max-width:42%;font-size:9px}.mdp-edge-state-label{top:42%;left:1%}.mdp-edge-action-label{top:42%;right:1%}.diagram-cycle,.network-diagram,.residual-diagram{flex-wrap:wrap}.diagram-node{min-width:66px;padding:9px 8px}.diagram-node.wide{min-width:92px}.mermaid-flowchart{min-height:180px;padding:18px 10px}.mermaid-flowchart svg{width:100%;min-width:0;max-width:100%!important}.mermaid-flowchart[data-node-count="1"] svg{min-width:190px;max-width:240px!important}.mermaid-flowchart[data-node-count="2"] svg{width:100%;min-width:0;max-width:480px!important}.residual-diagram .skip-line{display:none}.cover-diagram{grid-template-columns:1fr}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}@media print{.site-header,.book-sidebar,.reading-meter,.read-status,.chapter-pagination,.site-footer{display:none!important}.book-shell{display:block}.chapter-page{max-width:none;padding:0}.book-prose{max-width:none}}@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_AMS-Regular.BQhdFMY1.woff2)format("woff2"),url(/_astro/KaTeX_AMS-Regular.DMm9YOAa.woff)format("woff"),url(/_astro/KaTeX_AMS-Regular.DRggAlZN.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Caligraphic-Bold.Dq_IR9rO.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Bold.BEiXGLvX.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Bold.ATXxdsX0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Caligraphic-Regular.Di6jR-x-.woff2)format("woff2"),url(/_astro/KaTeX_Caligraphic-Regular.CTRA-rTL.woff)format("woff"),url(/_astro/KaTeX_Caligraphic-Regular.wX97UBjC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Fraktur-Bold.CL6g_b3V.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Bold.BsDP51OF.woff)format("woff"),url(/_astro/KaTeX_Fraktur-Bold.BdnERNNW.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Fraktur-Regular.CTYiF6lA.woff2)format("woff2"),url(/_astro/KaTeX_Fraktur-Regular.Dxdc4cR9.woff)format("woff"),url(/_astro/KaTeX_Fraktur-Regular.CB_wures.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_Main-Bold.Cx986IdX.woff2)format("woff2"),url(/_astro/KaTeX_Main-Bold.Jm3AIy58.woff)format("woff"),url(/_astro/KaTeX_Main-Bold.waoOVXN0.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Main-BoldItalic.DxDJ3AOS.woff2)format("woff2"),url(/_astro/KaTeX_Main-BoldItalic.SpSLRI95.woff)format("woff"),url(/_astro/KaTeX_Main-BoldItalic.DzxPMmG6.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Main-Italic.NWA7e6Wa.woff2)format("woff2"),url(/_astro/KaTeX_Main-Italic.BMLOBm91.woff)format("woff"),url(/_astro/KaTeX_Main-Italic.3WenGoN9.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Main-Regular.B22Nviop.woff2)format("woff2"),url(/_astro/KaTeX_Main-Regular.Dr94JaBh.woff)format("woff"),url(/_astro/KaTeX_Main-Regular.ypZvNtVU.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(/_astro/KaTeX_Math-BoldItalic.CZnvNsCZ.woff2)format("woff2"),url(/_astro/KaTeX_Math-BoldItalic.iY-2wyZ7.woff)format("woff"),url(/_astro/KaTeX_Math-BoldItalic.B3XSjfu4.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_Math-Italic.t53AETM-.woff2)format("woff2"),url(/_astro/KaTeX_Math-Italic.DA0__PXp.woff)format("woff"),url(/_astro/KaTeX_Math-Italic.flOr_0UB.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(/_astro/KaTeX_SansSerif-Bold.D1sUS0GD.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Bold.DbIhKOiC.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Bold.CFMepnvq.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Italic.C3H0VqGB.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Italic.DN2j7dab.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Italic.YYjJ1zSn.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_SansSerif-Regular.DDBCnlJ7.woff2)format("woff2"),url(/_astro/KaTeX_SansSerif-Regular.CS6fqUqJ.woff)format("woff"),url(/_astro/KaTeX_SansSerif-Regular.BNo7hRIc.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Script-Regular.D3wIWfF6.woff2)format("woff2"),url(/_astro/KaTeX_Script-Regular.D5yQViql.woff)format("woff"),url(/_astro/KaTeX_Script-Regular.C5JkGWo-.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size1-Regular.mCD8mA8B.woff2)format("woff2"),url(/_astro/KaTeX_Size1-Regular.C195tn64.woff)format("woff"),url(/_astro/KaTeX_Size1-Regular.Dbsnue_I.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size2-Regular.Dy4dx90m.woff2)format("woff2"),url(/_astro/KaTeX_Size2-Regular.oD1tc_U0.woff)format("woff"),url(/_astro/KaTeX_Size2-Regular.B7gKUWhC.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(data:font/woff2;base64,d09GMgABAAAAAA4oAA4AAAAAHbQAAA3TAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAABmAAgRQIDgmcDBEICo1oijYBNgIkA14LMgAEIAWJAAeBHAyBHBvbGiMRdnO0IkRRkiYDgr9KsJ1NUAf2kILNxgUmgqIgq1P89vcbIcmsQbRps3vCcXdYOKSWEPEKgZgQkprQQsxIXUgq0DqpGKmIvrgkeVGtEQD9DzAO29fM9jYhxZEsL2FeURH2JN4MIcTdO049NCVdxQ/w9NrSYFEBKTDKpLKfNkCGDc1RwjZLQcm3vqJ2UW9Xfa3tgAHz6ivp6vgC2yD4/6352ndnN0X0TL7seypkjZlMsjmZnf0Mm5Q+JykRWQBKCVCVPbARPXWyQtb5VgLB6Biq7/Uixcj2WGqdI8tGSgkuRG+t910GKP2D7AQH0DB9FMDW/obJZ8giFI3Wg8Cvevz0M+5m0rTh7XDBlvo9Y4vm13EXmfttwI4mBo1EG15fxJhUiCLbiiyCf/ZA6MFAhg3pGIZGdGIVjtPn6UcMk9A/UUr9PhoNsCENw1APAq0gpH73e+M+0ueyHbabc3vkbcdtzcf/fiy+NxQEjf9ud/ELBHAXJ0nk4z+MXH2Ev/kWyV4k7SkvpPc9Qr38F6RPWnM9cN6DJ0AdD1BhtgABtmoRoFCvPsBAumNm6soZG2Gk5GyVTo2sJncSyp0jQTYoR6WDvTwaaEcHsxHfvuWhHA3a6bN7twRKtcGok6NsCi7jYRrM2jExsUFMxMQYuJbMhuWNOumEJy9hi29Dmg5zMp/A5+hhPG19j1vBrq8JTLr8ki5VLPmG/PynJHVul440bxg5xuymHUFPBshC+nA9I1FmwbRBTNHAcik3Oae0cxKoI3MOriM42UrPe51nsaGxJ+WfXubAsP84aabUlQSJ1IiE0iPETLUU4CATgfXSCSpuRFRmCGbO+wSpAnzaeaCYW1VNEysRtuXCEL1kUFUbbtMv3Tilt/1c11jt3Q5bbMa84cpWipp8Elw3MZhOHsOlwwVUQM3lAR35JiFQbaYCRnMF2lxAWoOg2gyoIV4PouX8HytNIfLhqpJtXB4vjiViUI8IJ7bkC4ikkQvKksnOTKICwnqWSZ9YS5f0WCxmpgjbIq7EJcM4aI2nmhLNY2JIUgOjXZFWBHb+x5oh6cwb0Tv1ackHdKi0I9OO2wE9aogIOn540CCCziyhN+IaejtgAONKznHlHyutPrHGwCx9S6B8kfS4Mfi4Eyv7OU730bT1SCBjt834cXsf43zVjPUqqJjgrjeGnBxSG4aYAKFuVbeCfkDIjAqMb6yLNIbCuvXhMH2/+k2vkNpkORhR59N1CkzoOENvneIosjYmuTxlhUzaGEJQ/iWqx4dmwpmKjrwTiTGTCVozNAYqk/zXOndWxuWSmJkQpJw3pK5KX6QrLt5LATMqpmPAQhkhK6PUjzHUn7E0gHE0kPE0iKkolgkUx9SZmVAdDgpffdyJKg3k7VmzYGCwVXGz/tXmkOIp+vcWs+EMuhhvN0h9uhfzWJziBQmCREGSIFmQIkgVpAnSBRmC//6hkLZwaVhwxlrJSOdqlFtOYxlau9F2QN5Y98xmIAsiM1HVp2VFX+DHHGg6Ecjh3vmqtidX3qHI2qycTk/iwxSt5UzTmEP92ZBnEWTk4Mx8Mpl78ZDokxg/KWb+Q0QkvdKVmq3TMW+RXEgrsziSAfNXFMhDc60N5N9jQzjfO0kBKpUZl0ZmwJ41j/B9Hz6wmRaJB84niNmQrzp9eSlQCDDzazGDdVi3P36VZQ+Jy4f9UBNp+3zTjqI4abaFAm+GShVaXlsGdF3FYzZcDI6cori4kMxUECl9IjJZpzkvitAoxKue+90pDMvcKRxLl53TmOKCmV/xRolNKSqqUxc6LStOETmFOiLZZptlZepcKiAzteG8PEdpnQpbOMNcMsR4RR2Bs0cKFEvSmIjAFcnarqwUL4lDhHmnVkwu1IwshbiCcgvOheZuYyOteufZZwlcTlLgnZ3o/WcYdzZHW/WGaqaVfmTZ1aWCceJjkbZqsfbkOtcFlUZM/jy+hXHDbaUobWqqXaeWobbLO99yG5N3U4wxco0rQGGcOLASFMXeJoham8M+/x6O2WywK2l4HGbq1CoUyC/IZikQhdq3SiuNrvAEj0AVu9x2x3lp/xWzahaxidezFVtdcb5uEnzyl0ZmYiuKI0exvCd4Xc9CV1KB0db00z92wDPde0kukbvZIWN6jUWFTmPIC/Y4UPCm8UfDTFZpZNon1qLFTkBhxzB+FjQRA2Q/YRJT8pQigslMaUpFyAG8TMlXigiqmAZX4xgijKjRlGpLE0GdplRfCaJo0JQaSxNBk6ZmMzcya0FmrcisDdn0Q3HI2sWSppYigmlM1XT/kLQZSNpMJG0WkjYbSZuDpM1F0uYhFc1HxU4m1QJjDK6iL0S5uSj5rgXc3RejEigtcRBtqYPQsiTskmO5vosV+q4VGIKbOkDg0jtRrq+Em1YloaTFar3EGr1EUC8R0kus1Uus00usL97ABr2BjXoDm/QGNhuWtMVBKOwg/i78lT7hBsAvDmwHc/ao3vmUbBmhjeYySZNWvGkfZAgISDSaDo1SVpzGDsAEkF8B+gEapViUoZgUWXcRIGFZNm6gWbAKk0bp0k1MHG9fLYtV4iS2SmLEQFARzRcnf9PUS0LVn05/J9MiRRBU3v2IrvW974v4N00L7ZMk0wXP1409CHo/an8zTRHD3eSJ6m8D4YMkZNl3M79sqeuAsr/m3f+8/yl7A50aiAEJgeBeMWzu7ui9UfUBCe2TIqZIoOd/3/udRBOQidQZUERzb2/VwZN1H/Sju82ew2H2Wfr6qvfVf3hqwDvAIpkQVFy4B9Pe9e4/XvPeceu7h3dvO56iJPf0+A6cqA2ip18ER+iFgggiuOkvj24bby0N9j2UHIkgqIt+sVgfodC4YghLSMjSZbH0VR/6dMDrYJeKHilKTemt6v6kvzvn3/RrdWtr0GoN/xL+Sex/cPYLUpepx9cz/D46UPU5KXgAQa+NDps1v6J3xP1i2HtaDB0M9aX2deA7SYff//+gUCovMmIK/qfsFcOk+4Y5ZN97XlG6zebqtMbKgeRFi51vnxTQYBUik2rS/Cn6PC8ADR8FGxsRPB82dzfND90gIcshOcYUkfjherBz53odpm6TP8txlwOZ71xmfHHOvq053qFF/MRlS3jP0ELudrf2OeN8DHvp6ZceLe8qKYvWz/7yp0u4dKPfli3CYq0O13Ih71mylJ80tOi10On8wi+F4+LWgDPeJ30msSQt9/vkmHq9/Lvo2b461mP801v3W4xTcs6CbvF9UDdrSt+A8OUbpSh55qAUFXWznBBfdeJ8a4d7ugT5tvxUza3h9m4H7ptTqiG4z0g5dc0X29OcGlhpGFMpQo9ytTS+NViZpNdvU4kWx+LKxNY10kQ1yqGXrhe4/1nvP7E+nd5A92TtaRplbHSqoIdOqtRWti+fkB5/n1+/VvCmz12pG1kpQWsfi1ftlBobm0bpngs16CHkbIwdLnParxtTV3QYRlfJ0KFskH7pdN/YDn+yRuSd7sNH3aO0DYPggk6uWuXrfOc+fa3VTxFVvKaNxHsiHmsXyCLIE5yuOeN3/Jdf8HBL/5M6shjyhxHx9BjB1O0+4NLOnjLLSxwO7ukN4jMbOIcD879KLSi6Pk61Oqm2377n8079PXEEQ7cy7OKEC9nbpet118fxweTafpt69x/Bt8UqGzNQt7aelpc44dn5cqhwf71+qKp/Zf/+a0zcizOUWpl/iBcSXip0pplkatCchoH5c5aUM8I7/dWxAej8WicPL1URFZ9BDJelUwEwTkGqUhgSlydVes95YdXvhh9Gfz/aeFWvgVb4tuLbcv4+wLdutVZv/cUonwBD/6eDlE0aSiKK/uoH3+J1wDE/jMVqY2ysGufN84oIXB0sPzy8ollX/LegY74DgJXJR57sn+VGza0x3DnuIgABFM15LmajjjsNlYj+JEZGbuRYcAMOWxFkPN2w6Wd46xo4gVWQR/X4lyI/R6K/YK0110GzudPRW7Y+UOBGTfNNzHeYT0fiH0taunBpq9HEW8OKSaBGj21L0MqenEmNRWBAWDWAk4CpNoEZJ2tTaPFgbQYj8HxtFilErs3BTRwT8uO1NXQaWfIotchmPkAF5mMBAliEmZiOGVgCG9LgRzpscMAOOwowlT3JhusdazXGSC/hxR3UlmWVwWHpOIKheqONvjyhSiTHIkVUco5bnji8m//zL7PKaT1Vl5I6UE609f+gkr6MZKVyKc7zJRmCahLsdlyA5fdQkRSan9LgnnLEyGSkaKJCJog0wAgvepWBt80+1yKln1bMVtCljfNWDueKLsWwaEbBSfSPTEmVRsUcYYMnEjcjeyCZzBXK9E9BYBXLKjOSpUDR+nEV3TFSUdQaz+ot98QxgXwx0GQ+EEUAKB2qZPkQQ0GqFD8UPFMqyaCHM24BZmSGic9EYMagKizOw9Hz50DMrDLrqqLkTAhplMictiCAx5S3BIUQdeJeLnBy2CNtMfz6cV4u8XKoFZQesbf9YZiIERiHjaNodDW6LgcirX/mPnJIkBGDUpTBhSa0EIr38D5hCIszhCM8URGBqImoWjpvpt1ebu/v3Gl3qJfMnNM+9V+kiRFyROTPHQWOcs1dNW94/ukKMPZBvDi55i5CttdeJz84DLngLqjcdwEZ87bFFR8CIG35OAkDVN6VRDZ7aq67NteYqZ2lpT8oYB2CytoBd6VuAx4WgiAsnuj3WohG+LugzXiQRDeM3XYXlULv4dp5VFYC)format("woff2"),url(/_astro/KaTeX_Size3-Regular.CTq5MqoE.woff)format("woff"),url(/_astro/KaTeX_Size3-Regular.DgpXs0kz.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Size4-Regular.Dl5lxZxV.woff2)format("woff2"),url(/_astro/KaTeX_Size4-Regular.BF-4gkZK.woff)format("woff"),url(/_astro/KaTeX_Size4-Regular.DWFBv043.ttf)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(/_astro/KaTeX_Typewriter-Regular.CO6r4hn1.woff2)format("woff2"),url(/_astro/KaTeX_Typewriter-Regular.C0xS9mPB.woff)format("woff"),url(/_astro/KaTeX_Typewriter-Regular.D3Ib7_Hf.ttf)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.18.4"}.katex .katex-mathml{-webkit-clip-path:inset(50%);clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.katex-newline{display:block}.katex .katex-base{white-space:nowrap;width:min-content;position:relative}.katex .katex-base,.katex .katex-strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .katex-vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .katex-thinbox{flex-direction:row;width:0;max-width:0;display:inline-flex}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline,.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-rule,.katex .katex-underline .underline-line,.katex .mfrac .frac-line{min-height:1px}.katex .mspace{display:inline-block}.katex .katex-smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.katex-inner,.katex .llap>.katex-inner,.katex .rlap>.katex-inner{position:absolute}.katex .clap>.katex-fix,.katex .llap>.katex-fix,.katex .rlap>.katex-fix{display:inline-block}.katex .llap>.katex-inner{right:0}.katex .clap>.katex-inner,.katex .rlap>.katex-inner{left:0}.katex .clap>.katex-inner>span{margin-left:-50%;margin-right:50%}.katex .katex-rule{border:0 solid;display:inline-block;position:relative}.katex .katex-hline,.katex .katex-overline .overline-line,.katex .katex-underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .katex-hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.katex-root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .katex-sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .katex-sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .katex-sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .katex-sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .katex-sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .katex-sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .katex-sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .katex-sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .katex-sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .katex-sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .katex-sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .katex-sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .katex-sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .katex-sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .katex-sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .katex-sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .katex-sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .katex-sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .katex-sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .katex-sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .katex-sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .katex-sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .katex-sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .katex-sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .katex-sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .katex-sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .katex-sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .katex-sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .katex-sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .katex-sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .katex-sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .katex-sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .katex-sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .katex-sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .katex-sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .katex-sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .katex-sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .katex-sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .katex-sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .katex-sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .katex-sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .katex-sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .katex-sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .katex-sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .katex-sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .katex-sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .katex-sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .katex-sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .katex-sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .katex-sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .katex-sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .katex-sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .katex-sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .katex-sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .katex-sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .katex-sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .katex-sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .katex-sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .katex-sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .katex-sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .katex-sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .katex-sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .katex-sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .katex-sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .katex-sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .katex-sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .katex-sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .katex-sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .katex-sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .katex-sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .katex-sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .katex-sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .katex-sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .katex-sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .katex-sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .katex-sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .katex-sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .katex-sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .katex-sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .katex-sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .katex-sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .katex-sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .katex-sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .katex-sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .katex-sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .katex-sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .katex-sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .katex-sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .katex-sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .katex-sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .katex-sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .katex-sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .katex-sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .katex-sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .katex-sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .katex-sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .katex-sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .katex-sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .katex-sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .katex-sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .katex-sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .katex-sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .katex-sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .katex-sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .katex-sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .katex-sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .katex-sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .katex-sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .katex-sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .katex-sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .katex-sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .katex-sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .katex-sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .katex-sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .katex-sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .katex-sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .katex-sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .katex-sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .katex-sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .katex-sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .katex-sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .katex-accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .katex-accent .accent-body{position:relative}.katex .katex-accent .accent-body:not(.accent-full){width:0}.katex .katex-overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .katex-stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .katex-stretchy:after,.katex .katex-stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .katex-sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.katex-tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.katex-tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}