@import 'https://fonts.googleapis.com/css2?family=Raleway:ital,wght@0,100..900;1,100..900&family=Roboto:wght@300&display=swap';:root{--heading-font:'Raleway', sans-serif;--body-font:'Raleway', sans-serif;--nav-font:'Raleway', sans-serif;--mono-font:'Roboto', monospace;--color-neutral:var(--color-neutral-50)}h1,h2,h3,h4,h5,h6{font-family:var(--heading-font)}body{font-family:var(--body-font)}nav{font-family:var(--nav-font);font-size:1.1em}code,pre{font-family:var(--mono-font)}.myImg,{display:inline}img.myImg{display:inline;height:auto;vertical-align:middle}.widener{float:left;overflow:hidden;height:1px;width:0}.doubleWidener{float:left;width:20%}$admonition-color-list: "Note" #448aff rgba(68,138,255,0.1),"abstract" #00b0ff rgba(0,176,255,0.1),"info" #00b8d4 rgba(83,211,230,0.1),"Definition" #00b8d4 rgba(83,211,230,0.1),"Lemma" #00bfa5 rgba(0,191,165,0.1),"Proposition" #ffe4e6 rgba(255,228,230,0.1),"Theorem" #00c853 rgba(0,200,83,0.1),"tip" #00bfa5 rgba(0,191,165,0.1),"success" #00c853 rgba(0,200,83,0.1),"question" #64dd17 rgba(100,221,23,0.1),"warning" #ff9100 rgba(255,145,0,0.1),"MyExample" #ff9100 rgba(255,145,0,0.1),"failure" #ff5252 rgba(255,82,82,0.1),"danger" #ff1744 rgba(68,138,255,0.1),"bug" #f50057 rgba(255,23,68,0.1),"Example" #651fff rgba(101,31,255,0.1),"quote" #9e9e9e rgba(159,159,159,0.1),"MyQuote" #9e9e9e rgba(159,159,159,0.1),"Algorithm" #fffacd rgba(255,250,205,0.1) !default; .admonition{display:flex;position:relative;margin:1rem 0;padding:0 .75rem;border-left:.25rem solid;overflow:auto;background-color:rgba(68,138,255,.1);border-left-color:#448aff}.admonition i.details-icon{position:absolute;top:.6rem;right:.3rem}.admonition .admonition-title{display:flex;font-weight:700;margin:0 -.75rem;padding:.25rem 1rem}.admonition .admonition-content{padding:.5rem 0}.admonition i.icon{font-size:.85rem;position:absolute;top:.6rem;left:.4rem}.admonition i.details-icon{position:absolute;top:.6rem;right:.3rem}.admonition .admonition-title{border-bottom-color:rgba(68,138,255,.1);background-color:rgba(68,138,255,.25)}.admonition.open .admonition-title{background-color:rgba(68,138,255,.1)}.admonition i.icon{color:#448aff}.admonition.abstract{background-color:rgba(0,176,255,.1);border-left-color:#00b0ff}.admonition.abstract .admonition-title{border-bottom-color:rgba(0,176,255,.1);background-color:rgba(0,176,255,.25)}.admonition.abstract.open .admonition-title{background-color:rgba(0,176,255,.1)}.admonition.abstract i.icon{color:#00b0ff}.admonition.info{background-color:rgba(83,211,230,.1);border-left-color:#00b8d4}.admonition.info .admonition-title{border-bottom-color:rgba(83,211,230,.1);background-color:rgba(83,211,230,.25)}.admonition.info.open .admonition-title{background-color:rgba(83,211,230,.1)}.admonition.info i.icon{color:#00b8d4}.admonition.tip{background-color:rgba(0,191,165,.1);border-left-color:#00bfa5}.admonition.tip .admonition-title{border-bottom-color:rgba(0,191,165,.1);background-color:rgba(0,191,165,.25)}.admonition.tip.open .admonition-title{background-color:rgba(0,191,165,.1)}.admonition.tip i.icon{color:#00bfa5}.admonition.success{background-color:rgba(0,200,83,.1);border-left-color:#00c853}.admonition.success .admonition-title{border-bottom-color:rgba(0,200,83,.1);background-color:rgba(0,200,83,.25)}.admonition.success.open .admonition-title{background-color:rgba(0,200,83,.1)}.admonition.success i.icon{color:#00c853}.admonition.question{background-color:rgba(100,221,23,.1);border-left-color:#64dd17}.admonition.question .admonition-title{border-bottom-color:rgba(100,221,23,.1);background-color:rgba(100,221,23,.25)}.admonition.question.open .admonition-title{background-color:rgba(100,221,23,.1)}.admonition.question i.icon{color:#64dd17}.admonition.warning{background-color:rgba(255,145,0,.1);border-left-color:#ff9100}.admonition.warning .admonition-title{border-bottom-color:rgba(255,145,0,.1);background-color:rgba(255,145,0,.25)}.admonition.warning.open .admonition-title{background-color:rgba(255,145,0,.1)}.admonition.warning i.icon{color:#ff9100}.admonition.failure{background-color:rgba(255,82,82,.1);border-left-color:#ff5252}.admonition.failure .admonition-title{border-bottom-color:rgba(255,82,82,.1);background-color:rgba(255,82,82,.25)}.admonition.failure.open .admonition-title{background-color:rgba(255,82,82,.1)}.admonition.failure i.icon{color:#ff5252}.admonition.danger{background-color:rgba(68,138,255,.1);border-left-color:#ff1744}.admonition.danger .admonition-title{border-bottom-color:rgba(68,138,255,.1);background-color:rgba(68,138,255,.25)}.admonition.danger.open .admonition-title{background-color:rgba(68,138,255,.1)}.admonition.danger i.icon{color:#ff1744}.admonition.bug{background-color:rgba(255,23,68,.1);border-left-color:#f50057}.admonition.bug .admonition-title{border-bottom-color:rgba(255,23,68,.1);background-color:rgba(255,23,68,.25)}.admonition.bug.open .admonition-title{background-color:rgba(255,23,68,.1)}.admonition.bug i.icon{color:#f50057}.admonition.Note{background-color:rgba(245,208,254,.3);border-left-color:#701a75;li::marker { color:#701A75; } .prose:where(a):not(:where([class~=not-prose],[class~=not-prose] *)) { color:var(--tw-prose-links); text-decoration:underline; font-weight:500; text-decoration-color:#701A75; }}.admonition.Note .admonition-title{background-color:rgba(217,70,239,.1)}.admonition.Note.open .admonition-title{background-color:rgba(217 70 239,.035);svg { color: #701A75; }}.admonition.Example{background-color:rgba(101,31,255,.1);border-left-color:#651fff;text-decoration-color:#651fff;.prose :where(a):not(:where([class~=not-prose],[class~=not-prose] *)) { color: var(--tw-prose-links); text-decoration: underline; font-weight: 500; text-decoration-color: #651fff; } a { @apply underline text-blue-600 hover:text-blue-800 visited:text-purple-600 dark:text-blue-300 dark:hover:text-blue-200; }}.admonition.Example .admonition-title{border-bottom-color:rgba(101,31,255,.1);background-color:rgba(101,31,255,.25);svg {color: #651fff;}}.admonition.Example.open .admonition-title{background-color:rgba(101,31,255,.1)}.admonition.quote{background-color:rgba(159,159,159,.1);border-left-color:#9e9e9e}.admonition.quote .admonition-title{border-bottom-color:rgba(159,159,159,.1);background-color:rgba(159,159,159,.25)}.admonition.quote.open .admonition-title{background-color:rgba(159,159,159,.1)}.admonition.quote i.icon{color:#9e9e9e}.admonition.MyQuote{background-color:rgba(159,159,159,.1);border-left-color:#9e9e9e}.admonition.MyQuote .admonition-title{border-bottom-color:rgba(159,159,159,.1);background-color:rgba(159,159,159,.25)}.admonition.MyQuote.open .admonition-title{background-color:rgba(159,159,159,.1)}.admonition.MyQuote i.icon{color:#9e9e9e}.admonition.Algorithm{background-color:rgba(255,250,205,.1);border-left-color:#fffacd}.admonition.Algorithm.open{background-color:rgba(255,250,205,.1);border-left-color:#fffacd}.admonition.Algorithm .admonition-title{border-bottom-color:rgba(255,250,205,.1);background-color:rgba(255,250,205,.25)}.admonition.Algorithm.open .admonition-title{background-color:rgba(255,250,205,.1)}.admonition.Algorithm i.icon{color:gold}.admonition.Algorithm.open i.icon{color:gold}.admonition.Definition{background-color:rgba(83,211,230,.1);border-left-color:#00b8d4;.prose :where(a):not(:where([class~=not-prose],[class~=not-prose] *)) { color: var(--tw-prose-links); text-decoration: underline; font-weight: 500; text-decoration-color: #00b8d4; }}.admonition.Definition .admonition-title{border-bottom-color:rgba(83,211,230,.1);background-color:rgba(83,211,230,0.25) svg { color:#00b8d4; }}.admonition.Definition.open .admonition-title{background-color:rgba(83,211,230,.1);svg { color: #00b8d4; }}.admonition.Definition i.icon{color:#00b8d4}.admonition.Lemma{background-color:rgba(83,211,230,.1);border-left-color:#00b8d4}.admonition.Lemma .admonition-title{border-bottom-color:rgba(83,211,230,.1);background-color:rgba(83,211,230,.25)}.admonition.Lemma.open .admonition-title{background-color:rgba(83,211,230,0.1) svg { color:rgb(83,211,230) }}.admonition.Lemma i.icon{color:#00b8d4}.admonition.Proposition{background-color:rgba(255,228,230,.1);border-left-color:#ffe4e6}.admonition.Proposition .admonition-title{border-bottom-color:rgba(255,228,230,.1);background-color:rgba(255,228,230,.25)}.admonition.Proposition.open .admonition-title{background-color:rgba(255,228,230,0.1) svg { color:rgb(255,228,230) }}.admonition.Proposition i.icon{color:#ffe4e6}.admonition.Theorem{background-color:rgba(167,243,208,.1);border-left-color:#064e3b;li::marker { color:rgb(6,78,59); }}.admonition.Theorem .admonition-title{background-color:rgba(5,150,105,.1);svg { color: rgb(6, 78, 59); }}.admonition.Theorem.open .admonition-title{background-color:rgba(5,150,105,.25);svg { color: rgb(20, 83, 45); }}.admonition:last-child{margin-bottom:.75rem}.admonition::before{display:inline-block;font-weight:600;font-style:normal;font-variant:normal;font-family:"font awesome 5 free";text-rendering:auto;-webkit-font-smoothing:antialiased}.admonition{position:relative;margin:1rem 0;padding:0 .75rem;border-left:.25rem solid;border-left:5px solid #eee;background-color:#9e9e9e;border-radius:5px;overflow:auto;.admonition-title { font-weight: bold; margin: 0 -0.75rem; padding: 0.25rem 1.0rem; } .admonition-content { padding: .5rem 0; }}.MJX-TEX{font-family:roboto}.katex .textsf{font-family:var(--body-font),Inter var,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,Noto Sans,sans-serif,Apple Color Emoji,Segoe UI Emoji,Segoe UI Symbol,Noto Color Emoji;font-size:.9em}.katex-display>.katex{white-space:normal}.katex-display>.base{margin:.25em 0}.katex-display{margin:.5em 0}.mycode{font-size:.9em;color:var(--tw-prose-code);font-weight:600;font-family:var(--monospace),ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace}div.mychart{max-width:100%;margin-left:auto;margin-right:auto;margin-bottom:1rem;overflow-x:auto}.bg-rose-100{--tw-bg-opacity:1;background-color:rgb(255 228 240/var(--tw-bg-opacity,1))}.bg-rose-900{--tw-bg-opacity:1;background-color:rgb(123 31 162/var(--tw-bg-opacity,1))}.dark\:bg-rose-900:is(.dark *){--tw-bg-opacity:1;background-color:rgb(123 31 162/var(--tw-bg-opacity,1))}.text-purple-600{--tw-text-opacity:1;color:oklch(.558 .288 302.321)}.text-purple-300{--tw-text-opacity:1;color:oklch(.827 .119 306.383)}.dark\:text-purple-300:is(.dark *){--tw-text-opacity:1;color:oklch(.827 .119 306.383)}.mermaid .section0{fill:#fff!important;opacity:.2!important}.mermaid .section1{fill:#fff!important;opacity:.2!important}.mermaid .section2{fill:#fff!important;opacity:.2!important}.mermaid .section3{fill:#fff!important;opacity:.2!important}