:root{--link:#333;--link-hover:#0d0d0d;--bg-body:#f4f4f4;--bg-element:#fff;--text-primary:#333;--text-muted:#666;--border:#ccc;--bg-input:#fff;--bg-table-striped:#fff;--bg-table-hover:#f4f4f4}html[data-appearance="dark"]{--link:#ddd;--link-hover:#f4f4f4;--bg-body:#141414;--bg-element:#202020;--text-primary:#ddd;--text-muted:#999;--border:#555;--bg-input:#202020;--bg-table-striped:#202020;--bg-table-hover:#282828}input[type=radio]{accent-color:var(--link-hover)}blockquote{border-left-color:var(--text-muted)}hr{border-top-color:var(--border)}.text-muted{color:var(--text-muted)}a{text-decoration:underline}a:hover{text-decoration:none}a.btn,.editor-toolbar a,.menu a,.nav a,a.navbar-brand,a.text-muted,.users a,.categories a{text-decoration:none}.navbar-inverse .navbar-nav>li>a{color:#ccc}.navbar .container{overflow:unset}.container{min-width:520px;overflow:hidden}.navbar-inverse{background-color:#080808}.navbar-brand{font-weight:bold}.navbar-inverse .navbar-brand{color:#f4f4f4}.navbar-brand img{width:25px;height:25px;margin-right:8px}.navbar-inverse .navbar-toggle{border:none}.page-header{border:none}figure{text-align:center}caption{text-align:center;color:unset}.modal-header{border-bottom-color:var(--border)}.modal-footer{border-top:none;padding-top:0}.alert.alert-info{background-color:var(--bg-element);border-color:var(--border);color:var(--text-primary)}.alert .alert-link{color:inherit;font-weight:inherit}.tabs-title{pointer-events:none;color:var(--text-primary) !important;font-weight:bold;padding-left:0 !important}.page-header{margin-top:22px}.breadcrumb{display:none}.footer{width:100%;margin-bottom:0;margin-top:2.5em;background-color:transparent;border:none;border-top:1px solid var(--border)}textarea{min-height:15em;font-family:Menlo, Monaco, Consolas, "Courier New", monospace}::-webkit-file-upload-button{font:inherit;appearance:button;-webkit-appearance:button}::file-selector-button{font:inherit;appearance:button;-webkit-appearance:button}.form-control[type=file]{overflow:hidden}.form-control[type=file]:not(:disabled):not([readonly]){cursor:pointer}.form-control::-webkit-file-upload-button{padding:0.375rem 0.75rem;margin:-0.375rem -0.75rem;-webkit-margin-end:0.75rem;margin-inline-end:0.75rem;color:var(--bs-body-color);background-color:var(--bs-tertiary-bg);pointer-events:none;border-color:inherit;border-style:solid;border-width:0;border-inline-end-width:var(--bs-border-width);border-radius:0;-webkit-transition:color 0.15s ease-in-out, background-color 0.15s ease-in-out, border-color 0.15s ease-in-out, box-shadow 0.15s ease-in-out;transition:color 0.15s ease-in-out, background-color 0.15s ease-in-out, border-color 0.15s ease-in-out, box-shadow 0.15s ease-in-out}.form-control::file-selector-button{padding:0.375rem 0.75rem;margin:-0.375rem -0.75rem;-webkit-margin-end:0.75rem;margin-inline-end:0.75rem;color:var(--bs-body-color);background-color:var(--bs-tertiary-bg);pointer-events:none;border-color:inherit;border-style:solid;border-width:0;border-inline-end-width:inherit;border-radius:0;transition:color 0.15s ease-in-out, background-color 0.15s ease-in-out, border-color 0.15s ease-in-out, box-shadow 0.15s ease-in-out}@media (prefers-reduced-motion: reduce) {.form-control::-webkit-file-upload-button{-webkit-transition:none;transition:none}.form-control::file-selector-button{transition:none}}.form-control:hover:not(:disabled):not([readonly])::-webkit-file-upload-button{background-color:var(--bs-secondary-bg)}.form-control:hover:not(:disabled):not([readonly])::file-selector-button{background-color:var(--bs-secondary-bg)}.loading:after{overflow:hidden;display:inline-block;vertical-align:bottom;-webkit-animation:ellipsis steps(4,end) 900ms infinite;animation:ellipsis steps(4,end) 900ms infinite;content:"...";width:0px}@keyframes ellipsis {to{width:1.25em}}@-webkit-keyframes ellipsis {to{width:1.25em}}.entry{margin-bottom:3em}.comment{margin-top:1em;margin-bottom:2em}.entry-body{margin-bottom:0.5em;border-radius:4px}.entry-title,.entry-body,.editor-preview,.navbar-brand,.by,.to,#comment a{font-family:Georgia, "Times New Roman", Times, serif}#like-button{font-family:"Helvetica Neue", Helvetica, Arial, sans-serif}.draft .entry-title::after{content:" (draft)"}.navbar-nav a span svg,.entry-meta>ul>li>span:first-child{vertical-align:-0.125em}ul.category-list>li::marker{vertical-align:-0.125em;margin-right:2px}.entry-meta>ul>li{color:var(--text-muted)}a.text-muted:hover{color:var(--text-primary)}ul.entry-list .list-group-item{border:none}ul.entry-list{padding-top:1em}ul.entry-list>li>*{min-width:520px;max-width:666px;margin:auto}ul.entry-list>li>a{display:block}ul.entry-list>li>a>.entry-title{margin-top:0.25em}ul.no-author>li>.entry-meta>ul>li.by{display:none}ul.category-list{list-style-image:url('data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" fill="%23777" class="text-muted bi bi-folder" viewBox="0 0 16 16"><path d="M.54 3.87.5 3a2 2 0 0 1 2-2h3.672a2 2 0 0 1 1.414.586l.828.828A2 2 0 0 0 9.828 3h3.982a2 2 0 0 1 1.992 2.181l-.637 7A2 2 0 0 1 13.174 14H2.826a2 2 0 0 1-1.991-1.819l-.637-7a2 2 0 0 1 .342-1.31zM2.19 4a1 1 0 0 0-.996 1.09l.637 7a1 1 0 0 0 .995.91h10.348a1 1 0 0 0 .995-.91l.637-7A1 1 0 0 0 13.81 4zm4.69-1.707A1 1 0 0 0 6.172 2H2.5a1 1 0 0 0-1 .981l.006.139q.323-.119.684-.12h5.396z"/></svg>')}.category{margin-bottom:1em;border-bottom:1px solid var(--border)}.category form{padding-bottom:0.25em}body{min-width:fit-content}.wrapper{width:100%;min-width:min-content;max-width:832px;margin:auto}.entry-body .entry-content-wrapper,.editor-preview .entry-content-wrapper{width:min-content;margin:auto}.parser-message{padding:0.5em 1em;display:none}.editor-information .parser-message{display:block}.editor-information{position:-webkit-sticky;position:sticky;top:0}.math{display:inline-block;max-width:100%;vertical-align:bottom;overflow-x:auto;overflow-y:hidden}.display.math{display:block;margin-top:0.5rem;margin-bottom:0.5rem;overflow:unset}ul .display.math span,ol .display.math span,blockquote .display.math span{float:right}.display.math svg{overflow:unset}div.mark{padding:1em 2em 0.5em}.theorem-like-lable{margin-right:0.5em}.proof-like>*:last-child::after{content:"\25FB";float:right}blockquote{font-size:inherit}div.csl-bib-body{margin-bottom:10.5px}div.csl-entry{margin-bottom:0.5em;clear:both}.hanging-indent div.csl-entry{margin-left:2em;text-indent:-2em}div.csl-left-margin{min-width:2em;float:left}div.csl-right-inline{margin-left:2em;padding-left:1em}div.csl-indent{margin-left:2em}.hanging-indent div.csl-entry .math{text-indent:initial}.or{text-align:center;margin:1em 0 1.5em;border-bottom:1px solid var(--border);line-height:1px}.or span{padding:0 1em}body,.or span,.modal-content{background-color:var(--bg-element)}@media screen and (min-width: 574px){body,.or span,.modal-content{background-color:var(--bg-body)}.entry-body,.editor-preview{background-color:var(--bg-element)}.editor-preview{border:1px solid var(--border)}.entry-body{padding:1em 0.5em 0.5em}}.modal.flex-center{display:flex !important;align-items:center;justify-content:center;overflow:auto}.modal.flex-center .modal-dialog{margin:0}.editor-toolbar{min-width:max-content}select[name="format"]{max-width:13em;display:inline-block;width:fit-content}.format-wrapper{display:inline-block;margin-left:0.5em;margin-right:0.5em}.format-wrapper::before{content:"(";color:var(--text-muted)}.format-wrapper::after{content:")";color:var(--text-muted)}.editor-preview{border-color:transparent}.editor-preview .entry-content-wrapper:empty{display:none}.editor-toolbar>ul{margin:0}.editor-toolbar>ul>li>a{display:inline-block;padding:0.6em 0.75em}.ace_editor{height:16em;border:1px solid var(--border)}.ace_mobile-menu{display:none}html:has(.editor-full-screen){overflow:hidden}.editor-full-screen{display:grid;grid-template-columns:1fr 1fr;grid-template-rows:auto 1fr;grid-template-areas:'header header' 'editor preview';z-index:1000;position:fixed;top:0;left:0;right:0;bottom:0;background:var(--bg-element);width:100%;height:100vh}.editor-full-screen .editor-toolbar{grid-area:header}.editor-full-screen .ace_editor{grid-area:editor;height:100%}.editor-full-screen .editor-preview{grid-area:preview;overflow-y:auto;border:1px solid var(--border)}.form-control:focus,.editor-focus{border-color:var(--link);outline:1px solid var(--link);-webkit-box-shadow:none;box-shadow:none}html{-webkit-text-size-adjust:100%}pre > code.sourceCode{white-space:pre;position:relative}pre > code.sourceCode > span{display:inline-block;line-height:1.25}pre > code.sourceCode > span:empty{height:1.2em}code.sourceCode > span{color:inherit;text-decoration:inherit}div.sourceCode{margin:1em 0}pre.sourceCode{margin:0}@media screen {div.sourceCode{overflow:auto}}@media print {pre > code.sourceCode{white-space:pre-wrap}pre > code.sourceCode > span{text-indent:-5em;padding-left:5em}}pre.numberSource code{counter-reset:source-line 0}pre.numberSource code > span{position:relative;left:-4em;counter-increment:source-line}pre.numberSource code > span > a:first-child::before{content:counter(source-line);position:relative;left:-1em;text-align:right;vertical-align:baseline;border:none;display:inline-block;-webkit-touch-callout:none;-webkit-user-select:none;-khtml-user-select:none;-moz-user-select:none;-ms-user-select:none;user-select:none;padding:0 4px;width:4em;color:#aaaaaa}pre.numberSource{margin-left:3em;border-left:1px solid #aaaaaa;padding-left:4px}@media screen {pre > code.sourceCode > span > a:first-child::before{text-decoration:underline}}code span.al{color:#ff0000;font-weight:bold}code span.an{color:#60a0b0;font-weight:bold;font-style:italic}code span.at{color:#7d9029}code span.bn{color:#40a070}code span.bu{color:#008000}code span.cf{color:#007020;font-weight:bold}code span.ch{color:#4070a0}code span.cn{color:#880000}code span.co{color:#777777;font-style:italic}code span.cv{color:#777777;font-weight:bold;font-style:italic}code span.do{color:#ba2121;font-style:italic}code span.dt{color:#902000}code span.dv{color:#40a070}code span.er{color:#ff0000;font-weight:bold}code span.fl{color:#40a070}code span.fu{color:#06287e}code span.im{color:#008000;font-weight:bold}code span.in{color:#60a0b0;font-weight:bold;font-style:italic}code span.kw{color:#007020;font-weight:bold}code span.op{color:#666666}code span.ot{color:#007020}code span.pp{color:#bc7a00}code span.sc{color:#4070a0}code span.ss{color:#bb6688}code span.st{color:#4070a0}code span.va{color:#19177c}code span.vs{color:#4070a0}code span.wa{color:#60a0b0;font-weight:bold;font-style:italic}[data-appearance="dark"] body,[data-appearance="dark"] h1,[data-appearance="dark"] h2,[data-appearance="dark"] h3,[data-appearance="dark"] h4,[data-appearance="dark"] h5,[data-appearance="dark"] h6,[data-appearance="dark"] .h1,[data-appearance="dark"] .h2,[data-appearance="dark"] .h3,[data-appearance="dark"] .h4,[data-appearance="dark"] .h5,[data-appearance="dark"] .h6,[data-appearance="dark"] p,[data-appearance="dark"] .lead,[data-appearance="dark"] label,[data-appearance="dark"] .panel-title{color:var(--text-primary)}[data-appearance="dark"] a{color:var(--link)}[data-appearance="dark"] a:hover,[data-appearance="dark"] a:focus{color:var(--link-hover)}[data-appearance="dark"] .dropdown-menu>li>a{color:var(--link)}[data-appearance="dark"] .dropdown-menu>li>a:hover,[data-appearance="dark"] .dropdown-menu>li>a:focus{background-color:var(--bg-body);color:var(--link-hover)}[data-appearance="dark"] .navbar-default .navbar-nav>li>a{color:var(--text-muted)}[data-appearance="dark"] .navbar-default .navbar-nav>li>a:hover,[data-appearance="dark"] .navbar-default .navbar-nav>li>a:focus{color:var(--text-primary)}[data-appearance="dark"] table,[data-appearance="dark"] .table{color:var(--text-primary);background-color:transparent}[data-appearance="dark"] .table > thead > tr > th,[data-appearance="dark"] .table > tbody > tr > th,[data-appearance="dark"] .table > tfoot > tr > th,[data-appearance="dark"] .table > thead > tr > td,[data-appearance="dark"] .table > tbody > tr > td,[data-appearance="dark"] .table > tfoot > tr > td{border-top-color:var(--border)}[data-appearance="dark"] .table > thead > tr > th{border-bottom-color:var(--border)}[data-appearance="dark"] .table-bordered{border-color:var(--border)}[data-appearance="dark"] .table-bordered > thead > tr > th,[data-appearance="dark"] .table-bordered > tbody > tr > th,[data-appearance="dark"] .table-bordered > tfoot > tr > th,[data-appearance="dark"] .table-bordered > thead > tr > td,[data-appearance="dark"] .table-bordered > tbody > tr > td,[data-appearance="dark"] .table-bordered > tfoot > tr > td{border-color:var(--border)}[data-appearance="dark"] .table-striped > tbody > tr:nth-of-type(odd){background-color:var(--bg-table-striped)}[data-appearance="dark"] .table-hover > tbody > tr:hover{background-color:var(--bg-table-hover)}[data-appearance="dark"] .thumbnail,[data-appearance="dark"] .panel,[data-appearance="dark"] .panel-default > .panel-heading,[data-appearance="dark"] .list-group-item,[data-appearance="dark"] .well,[data-appearance="dark"] .jumbotron,[data-appearance="dark"] .modal-content,[data-appearance="dark"] .popover,[data-appearance="dark"] .dropdown-menu,[data-appearance="dark"] .entry-body,[data-appearance="dark"] .editor-preview,[data-appearance="dark"] .entry-content,[data-appearance="dark"] .entry-content-wrapper,[data-appearance="dark"] div.mark{background-color:var(--bg-element);border-color:var(--border);color:var(--text-primary)}[data-appearance="dark"] .panel-footer{background-color:var(--bg-body);border-color:var(--border)}[data-appearance="dark"] a.list-group-item{color:var(--link)}[data-appearance="dark"] a.list-group-item:hover,[data-appearance="dark"] a.list-group-item:focus{background-color:var(--bg-body);color:var(--link-hover)}[data-appearance="dark"] .btn-default{color:var(--text-primary);background-color:var(--bg-element);border-color:var(--border)}[data-appearance="dark"] .btn-default:hover,[data-appearance="dark"] .btn-default:focus,[data-appearance="dark"] .btn-default:active,[data-appearance="dark"] .btn-default.active,[data-appearance="dark"] .open > .dropdown-toggle.btn-default{color:var(--text-primary);background-color:var(--bg-body);border-color:#525252}[data-appearance="dark"] .btn-primary{color:var(--bg-element);background-color:var(--link);border-color:var(--link)}[data-appearance="dark"] .btn-primary:hover,[data-appearance="dark"] .btn-primary:focus,[data-appearance="dark"] .btn-primary:active,[data-appearance="dark"] .btn-primary.active,[data-appearance="dark"] .open > .dropdown-toggle.btn-primary{color:var(--bg-body);background-color:var(--link-hover);border-color:var(--link-hover)}[data-appearance="dark"] a.list-group-item.active{color:var(--bg-element);background-color:var(--link)}[data-appearance="dark"] a.list-group-item.active:hover,[data-appearance="dark"] a.list-group-item.active:focus{color:var(--bg-body);background-color:var(--link-hover)}[data-appearance="dark"] .btn-link{color:var(--link)}[data-appearance="dark"] .btn-link:hover,[data-appearance="dark"] .btn-link:focus{color:var(--link-hover)}[data-appearance="dark"] .form-control,[data-appearance="dark"] select{color:var(--text-primary);background-color:var(--bg-input);border-color:var(--border)}[data-appearance="dark"] .form-control[disabled],[data-appearance="dark"] .form-control[readonly],[data-appearance="dark"] fieldset[disabled] .form-control{background-color:var(--bg-body);opacity:1}[data-appearance="dark"] .ace-tm{background-color:var(--bg-input);color:var(--text-primary)}[data-appearance="dark"] .ace-tm .ace_marker-layer .ace_selection{background-color:highlight}[data-appearance="dark"] .ace-tm .ace_indent-guide{opacity:0.2}[data-appearance="dark"] .ace-tm .ace_search{filter:invert(1) hue-rotate(180deg)}[data-appearance="dark"] .math svg,[data-appearance="dark"] .display.math svg{fill:currentColor !important;color:var(--text-primary)}[data-appearance="dark"] ul.category-list{list-style-image:url('data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" fill="%23a1a1aa" class="text-muted bi bi-folder" viewBox="0 0 16 16"><path d="M.54 3.87.5 3a2 2 0 0 1 2-2h3.672a2 2 0 0 1 1.414.586l.828.828A2 2 0 0 0 9.828 3h3.982a2 2 0 0 1 1.992 2.181l-.637 7A2 2 0 0 1 13.174 14H2.826a2 2 0 0 1-1.991-1.819l-.637-7a2 2 0 0 1 .342-1.31zM2.19 4a1 1 0 0 0-.996 1.09l.637 7a1 1 0 0 0 .995.91h10.348a1 1 0 0 0 .995-.91l.637-7A1 1 0 0 0 13.81 4zm4.69-1.707A1 1 0 0 0 6.172 2H2.5a1 1 0 0 0-1 .981l.006.139q.323-.119.684-.12h5.396z"/></svg>')}[data-appearance="dark"] code,[data-appearance="dark"] pre{color:var(--text-primary);background-color:var(--bg-body);border-color:var(--border)}[data-appearance="dark"] code span.al{color:#f44747;font-weight:bold}[data-appearance="dark"] code span.an{color:#4ec9b0;font-weight:bold;font-style:italic}[data-appearance="dark"] code span.at{color:#dcdcaa}[data-appearance="dark"] code span.bn{color:#b5cea8}[data-appearance="dark"] code span.bu{color:#4ec9b0}[data-appearance="dark"] code span.cf{color:#c586c0;font-weight:bold}[data-appearance="dark"] code span.ch{color:#ce9178}[data-appearance="dark"] code span.cn{color:#b5cea8}[data-appearance="dark"] code span.co{color:#6a9955;font-style:italic}[data-appearance="dark"] code span.cv{color:#6a9955;font-weight:bold;font-style:italic}[data-appearance="dark"] code span.do{color:#6a9955;font-style:italic}[data-appearance="dark"] code span.dt{color:#4ec9b0}[data-appearance="dark"] code span.dv{color:#b5cea8}[data-appearance="dark"] code span.er{color:#f44747;font-weight:bold}[data-appearance="dark"] code span.fl{color:#b5cea8}[data-appearance="dark"] code span.fu{color:#dcdcaa}[data-appearance="dark"] code span.im{color:#b5cea8;font-weight:bold}[data-appearance="dark"] code span.in{color:#4ec9b0;font-weight:bold;font-style:italic}[data-appearance="dark"] code span.kw{color:#569cd6;font-weight:bold}[data-appearance="dark"] code span.op{color:#d4d4d4}[data-appearance="dark"] code span.ot{color:#dcdcaa}[data-appearance="dark"] code span.pp{color:#c586c0}[data-appearance="dark"] code span.sc{color:#d4d4d4}[data-appearance="dark"] code span.ss{color:#ce9178}[data-appearance="dark"] code span.st{color:#ce9178}[data-appearance="dark"] code span.va{color:#9cdcfe}[data-appearance="dark"] code span.wa{color:#4ec9b0;font-weight:bold;font-style:italic}