:root{--body-color: hsl(0, 5%, 10%);--body-bg-color: hsl(210, 20%, 98%);--link-visited: hsl(0, 100%, 33%);--link-focus-outline: hsl(220, 90%, 52%);--pre-bg-color: hsl(210, 28%, 93%);--kbd-bg-color: hsl(210, 5%, 100%);--kbd-border-color: hsl(210, 5%, 70%);--table-border-color: black;--border-width-thin: 1.36px;--border-width-thick: 2.27px;--sidenote-target-border-color: hsl(55, 55%, 70%);--footnotes-border-color: hsl(0, 0%, 39%);--text-indent-size: 1.463rem}.body{counter-reset:theorem definition lemma sidenote-counter note}.abstract,.abstract p{text-align:center;margin-top:0}.abstract{margin:2.25rem 0}.abstract>h2{font-size:1rem;margin-bottom:-.2rem}.theorem{counter-increment:theorem;display:block;margin:12px 0;font-style:italic;border:1px solid;padding-left:16px;padding-top:10px;border-radius:25px}.theorem:before{content:"Theorem " counter(theorem) ". ";font-weight:700;font-style:normal}.theorem_vn{counter-increment:theorem;display:block;margin:12px 0;font-style:italic;border:1px solid;padding-left:16px;padding-top:10px;border-radius:25px}.theorem_vn:before{content:"Định lý " counter(theorem) ". " attr(title);font-weight:700;font-style:normal}.lemma{counter-increment:lemma;display:block;margin:12px 0;font-style:italic;border:1px solid;padding-left:16px;padding-top:10px;border-radius:25px}.lemma:before{content:"Lemma " counter(lemma) ". ";font-weight:700;font-style:normal}.proof{display:block;margin:12px 0;font-style:normal;position:relative}.proof:before{content:"Proof. " attr(title);font-style:italic}.proof:after{content:"◾️";filter:var(--proof-symbol-filter);position:absolute;right:-12px;bottom:-2px}.callout-math{--math-callout-border: color-mix(in oklab, var(--foreground) 22%, transparent);--math-proof-bar: color-mix(in oklab, var(--foreground) 55%, transparent);display:block;margin:1.125rem 0 1.5rem;font-family:var(--font-serif, ui-serif, Georgia, "Times New Roman", serif);font-size:1rem;line-height:1.75;color:var(--foreground);position:relative;text-align:justify;text-justify:inter-word}.callout-math:before{content:attr(data-label) " ";font-weight:700;font-style:normal;letter-spacing:.01em}.callout-math-body{display:inline}.callout-math-body>:first-child:is(p){display:inline;margin:0}.callout-math-body>:first-child:is(ul,ol,blockquote,pre,table,div){display:block;margin-top:.625rem}.callout-math:has(.callout-math-body>:first-child:is(ul,ol,blockquote,pre,table,div)):before{display:block;margin-bottom:.125rem}.callout-math-body>:not(:first-child){display:block;margin-top:.875rem}.callout-math-body :is(p){color:inherit;margin:0}.callout-math-body>:not(:first-child):is(p){margin-top:.875rem}.callout-math-body :is(ul,ol){display:block;margin:.625rem 0 0;padding-left:1.625rem;list-style-position:outside}.callout-math-body :is(ul){list-style-type:disc}.callout-math-body :is(ol){list-style-type:decimal}.callout-math-body :is(li){display:list-item;color:inherit;margin:.35rem 0;padding-left:.25rem}.callout-math-body :is(li)>:is(p){margin:0}.callout-math-body :is(li)>:not(:first-child){margin-top:.5rem}.callout-math-body :is(a){color:inherit;text-decoration:underline;text-underline-offset:3px}.callout-math-body :is(.katex-display){margin:.875rem 0;text-align:center}.callout-math-body :is(.katex-display)+:is(p){margin-top:.875rem}.callout-math .annotation-marker{font-style:normal}.callout-math:not(.callout-math--proof){border:1px solid var(--math-callout-border);padding:.9rem 1.125rem 1rem;background:color-mix(in oklab,var(--background) 94%,var(--foreground) 6%)}.callout-math--theorem,.callout-math--lemma,.callout-math--axiom,.callout-math--proposition,.callout-math--corollary,.callout-math--conjecture{font-style:italic}.callout-math--theorem:before,.callout-math--lemma:before,.callout-math--axiom:before,.callout-math--proposition:before,.callout-math--corollary:before,.callout-math--conjecture:before{font-style:normal}.callout-math--definition,.callout-math--notation,.callout-math--remark{font-style:normal}.callout-math--proof{border-left:2px solid var(--math-proof-bar);padding:.625rem 1.5rem .75rem 1.375rem;margin-left:.125rem;font-style:normal;background:transparent}.callout-math--proof:before{display:block;font-weight:700;font-style:normal;margin-bottom:.5rem}.callout-math--proof .callout-math-body{display:block}.callout-math--proof .callout-math-body>:first-child{display:block}.callout-math--proof:after{content:"□";position:absolute;right:0;bottom:.35rem;font-size:.95em;line-height:1;font-style:normal;color:var(--foreground)}.definition{counter-increment:definition;display:block;margin:12px 0;font-style:normal;border:1px solid;padding-left:16px;padding-top:10px;border-radius:25px}.definition:before{content:"Definition " counter(definition) ". " attr(title);font-weight:700;font-style:normal}.definition_vn{counter-increment:definition;display:block;margin:12px 0;font-style:normal;border:1px solid;padding-left:16px;padding-right:16px;padding-top:10px;border-radius:25px}.definition_vn:before{content:"Định nghĩa " counter(definition) ". " attr(title);font-weight:700;font-style:normal}.note_vn{counter-increment:note;display:block;margin:12px 0;font-style:normal;border:1px solid;padding-left:16px;padding-right:16px;padding-top:10px;border-radius:25px}.note_vn:before{content:"Ghi chú " counter(note) ". " attr(title);font-weight:700;font-style:normal}.note{counter-increment:note;display:block;margin:12px 0;font-style:normal;border:1px solid;padding-left:16px;padding-right:16px;padding-top:10px;border-radius:25px}.note:before{content:"Note " counter(note) ". " attr(title);font-weight:700;font-style:normal}:not(.post-layout--sidenotes) .sidenote{font-size:.8rem;float:right;clear:right;width:18vw;margin-right:-20vw;margin-bottom:1em;text-indent:0}:not(.post-layout--sidenotes) .sidenote.left{float:left;margin-left:-12vw;margin-bottom:1em;text-indent:0}:not(.post-layout--sidenotes) .sidenote:target{border:var(--sidenote-target-border-color) 1.5px solid;padding:0 .5rem;scroll-margin-block-start:10rem}:not(.post-layout--sidenotes) .sidenote-number{counter-increment:sidenote-counter}:not(.post-layout--sidenotes) .sidenote-number:after,:not(.post-layout--sidenotes) .sidenote:before{position:relative;vertical-align:baseline}:not(.post-layout--sidenotes) .sidenote-number:after{content:counter(sidenote-counter);font-size:.7rem;top:-.5rem;left:.1rem}:not(.post-layout--sidenotes) .sidenote-number~.sidenote:before{content:counter(sidenote-counter) " ";font-size:.7rem;top:-.5rem}:not(.post-layout--sidenotes) label.sidenote-toggle:not(.sidenote-number){display:none}:not(.post-layout--sidenotes) blockquote .sidenote{margin-right:-24vw;width:18vw}:not(.post-layout--sidenotes) label.sidenote-toggle{display:inline;cursor:pointer}:not(.post-layout--sidenotes) input.sidenote-toggle{display:none}@media (max-width: 1050px){:not(.post-layout--sidenotes) label.sidenote-toggle:not(.sidenote-number){display:inline}:not(.post-layout--sidenotes) .sidenote{display:none}:not(.post-layout--sidenotes) .sidenote-toggle:checked+.sidenote{display:block;margin:.5rem 1.25rem 1rem .5rem;float:left;left:1rem;clear:both;width:95%}:not(.post-layout--sidenotes) blockquote .sidenote{margin-right:-25vw;width:16vw}}.footnotes p{text-align:left;line-height:1.5;font-size:85%;margin-bottom:.4rem}.footnotes{border-top:1px solid var(--footnotes-border-color);margin-top:2rem}