.jumbotron{margin-top:-111px;padding-top:111px;background-color:#080808!important;color:#f4f4f4;background-image:linear-gradient(rgba(0, 0, 0, 1.0), rgba(0, 0, 0, 0.65)), 
        url(https://static.functor.network/icons/feature.webp?etag=Wq6Cz-T0);background-size:cover;background-position:center;background-repeat:no-repeat}.jumbotron h2{margin-top:0;margin-bottom:32px}.jumbotron .btn.btn-primary.btn-lg{background-color:#f4f4f4;color:#333}.jumbotron .btn.btn-primary.btn-lg:hover,.jumbotron .btn.btn-primary.btn-lg:active{background-color:#ccc;color:#080808
}.jumbotron .btn.btn-default.btn-lg{background-color:#080808;background-color:transparent;color:#f4f4f4;border-color:#f4f4f4}.jumbotron .btn.btn-default.btn-lg:hover,.jumbotron .btn.btn-default.btn-lg:active{background-color:#333;color:#f4f4f4;border-color:#f4f4f4}.bs-docs-section{padding-top:2em;padding-bottom:2em;line-height:2em;max-width:768px;margin:auto}.bs-docs-section h2{margin-bottom:1.5em}.bs-docs-section .btn{margin-top:1em}.alert-info{position:relative;z-index:1}.fade-in-box{opacity:0;margin-bottom:1.75em;transform:translateY(50px);transition:opacity 0.6s ease-out, transform 0.6s ease-out}.fade-in-box.visible{opacity:1;transform:translateY(0)}.scroll-box-x{overflow:hidden;display:flex;align-items:flex-end}.scroll-list-x{display:flex;align-items:flex-end;margin-left:0;margin-right:0;padding:0;list-style:none;will-change:transform}.scroll-list-x li{flex-shrink:0;margin-right:10px}.scroll-list-x li .panel{margin-bottom:0;margin-top:1em}.scroll-list-x li .panel-body{width:10em;height:15em;line-height:1.75em}: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}html input[type=radio]{accent-color:var(--link-hover)}html blockquote{border-left-color:var(--text-muted)}html hr{border-top-color:var(--border)}html .text-muted,html a.text-muted{color:var(--text-muted)}html a.text-muted:hover{color:var(--text-primary)}html a{text-decoration:underline}html a:hover{text-decoration:none}html a.btn,html .editor-toolbar a,html .menu a,html .nav a,html a.navbar-brand,html a.text-muted,html .users a,html .categories a{text-decoration:none}html .navbar-inverse .navbar-nav>li>a{color:#ccc}html .navbar .container{overflow:unset}html .container{min-width:520px;overflow:hidden}html .navbar-inverse{background-color:#080808}html .navbar-brand{font-weight:bold}html .navbar-inverse .navbar-brand{color:#f4f4f4}html .navbar-brand img{width:25px;height:25px;margin-right:8px}html .navbar-inverse .navbar-toggle{border:none}html .page-header{border:none}html figure{text-align:center}html caption{text-align:center;color:unset}html .modal-header{border-bottom-color:var(--border)}html .modal-footer{border-top:none;padding-top:0}html .alert.alert-info{background-color:var(--bg-element);border-color:var(--border);color:var(--text-primary)}html .alert .alert-link{color:inherit;font-weight:inherit}html .tabs-title{pointer-events:none;color:var(--text-primary) !important;font-weight:bold;padding-left:0 !important}html .page-header{margin-top:22px}html .breadcrumb{display:none}html .footer{width:100%;margin-bottom:0;margin-top:2.5em;background-color:transparent;border:none;border-top:1px solid var(--border)}html textarea{min-height:15em;font-family:Menlo, Monaco, Consolas, "Courier New", monospace}html ::-webkit-file-upload-button{font:inherit;appearance:button;-webkit-appearance:button}html ::file-selector-button{font:inherit;appearance:button;-webkit-appearance:button}html .form-control[type=file]{overflow:hidden}html .form-control[type=file]:not(:disabled):not([readonly]){cursor:pointer}html .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}html .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}html @media (prefers-reduced-motion: reduce) .form-control::-webkit-file-upload-button{-webkit-transition:none;transition:none}html @media (prefers-reduced-motion: reduce) .form-control::file-selector-button{transition:none}html .form-control:hover:not(:disabled):not([readonly])::-webkit-file-upload-button{background-color:var(--bs-secondary-bg)}html .form-control:hover:not(:disabled):not([readonly])::file-selector-button{background-color:var(--bs-secondary-bg)}html .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}html @keyframes ellipsis to{width:1.25em}html @-webkit-keyframes ellipsis to{width:1.25em}html .entry{margin-bottom:3em}html .comment{margin-top:1em;margin-bottom:2em}html .entry-body{margin-bottom:0.5em;border-radius:4px}html .entry-title,html .entry-body,html .editor-preview,html .navbar-brand,html .by,html .to,html #comment a{font-family:Georgia, "Times New Roman", Times, serif}html #like-button{font-family:"Helvetica Neue", Helvetica, Arial, sans-serif}html .draft .entry-title::after{content:" (draft)"}html .navbar-nav a span svg,html .entry-meta>ul>li>span:first-child{vertical-align:-0.125em}html ul.category-list>li::marker{vertical-align:-0.125em;margin-right:2px}html .entry-meta>ul>li{color:var(--text-muted)}html ul.entry-list .list-group-item{border:none}html ul.entry-list{padding-top:1em}html ul.entry-list>li>*{min-width:520px;max-width:666px;margin:auto}html ul.entry-list>li>a{display:block}html ul.entry-list>li>a>.entry-title{margin-top:0.25em}html ul.no-author>li>.entry-meta>ul>li.by{display:none}html 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>')}html .category{margin-bottom:1em;border-bottom:1px solid var(--border)}html .category form{padding-bottom:0.25em}html body{min-width:fit-content}html .wrapper{width:100%;min-width:min-content;max-width:832px;margin:auto}html .entry-body .entry-content-wrapper,html .editor-preview .entry-content-wrapper{width:min-content;margin:auto}html .parser-message{padding:0.5em 1em;display:none}html .editor-information .parser-message{display:block}html .editor-information{position:-webkit-sticky;position:sticky;top:0}html .math{display:inline-block;max-width:100%;vertical-align:bottom;overflow-x:auto;overflow-y:hidden}html .display.math{display:block;margin-top:0.5rem;margin-bottom:0.5rem;overflow:unset}html ul .display.math span,html ol .display.math span,html blockquote .display.math span{float:right}html .display.math svg{overflow:unset}html div.mark{padding:1em 2em 0.5em}html .theorem-like-lable{margin-right:0.5em}html .proof-like>*:last-child::after{content:"\25FB";float:right}html blockquote{font-size:inherit}html div.csl-bib-body{margin-bottom:10.5px}html div.csl-entry{margin-bottom:0.5em;clear:both}html .hanging-indent div.csl-entry{margin-left:2em;text-indent:-2em}html div.csl-left-margin{min-width:2em;float:left}html div.csl-right-inline{margin-left:2em;padding-left:1em}html div.csl-indent{margin-left:2em}html .hanging-indent div.csl-entry .math{text-indent:initial}html .or{text-align:center;margin:1em 0 1.5em;border-bottom:1px solid var(--border);line-height:1px}html .or span{padding:0 1em}html body,html .or span,html .modal-content{background-color:var(--bg-element)}html .modal.flex-center{display:flex !important;align-items:center;justify-content:center;overflow:auto}html .modal.flex-center .modal-dialog{margin:0}html .editor-toolbar{min-width:max-content}html select[name="format"]{max-width:13em;display:inline-block;width:fit-content}html .format-wrapper{display:inline-block;margin-left:0.5em;margin-right:0.5em}html .format-wrapper::before{content:"(";color:var(--text-muted)}html .format-wrapper::after{content:")";color:var(--text-muted)}html .editor-preview{border-color:transparent}html .editor-preview .entry-content-wrapper:empty{display:none}html .editor-toolbar>ul{margin:0}html .editor-toolbar>ul>li>a{display:inline-block;padding:0.6em 0.75em}html .ace_editor{height:16em;border:1px solid var(--border)}html .ace_mobile-menu{display:none}html html:has(.editor-full-screen){overflow:hidden}html .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}html .editor-full-screen .editor-toolbar{grid-area:header}html .editor-full-screen .ace_editor{grid-area:editor;height:100%}html .editor-full-screen .editor-preview{grid-area:preview;overflow-y:auto;border:1px solid var(--border)}html .form-control:focus,html .editor-focus{border-color:var(--link);outline:1px solid var(--link);-webkit-box-shadow:none;box-shadow:none}html html{-webkit-text-size-adjust:100%}html pre > code.sourceCode{white-space:pre;position:relative}html pre > code.sourceCode > span{display:inline-block;line-height:1.25}html pre > code.sourceCode > span:empty{height:1.2em}html code.sourceCode > span{color:inherit;text-decoration:inherit}html div.sourceCode{margin:1em 0}html pre.sourceCode{margin:0}html pre.numberSource code{counter-reset:source-line 0}html pre.numberSource code > span{position:relative;left:-4em;counter-increment:source-line}html 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}html pre.numberSource{margin-left:3em;border-left:1px solid #aaaaaa;padding-left:4px}html code span.al{color:#ff0000;font-weight:bold}html code span.an{color:#60a0b0;font-weight:bold;font-style:italic}html code span.at{color:#7d9029}html code span.bn{color:#40a070}html code span.bu{color:#008000}html code span.cf{color:#007020;font-weight:bold}html code span.ch{color:#4070a0}html code span.cn{color:#880000}html code span.co{color:#777777;font-style:italic}html code span.cv{color:#777777;font-weight:bold;font-style:italic}html code span.do{color:#ba2121;font-style:italic}html code span.dt{color:#902000}html code span.dv{color:#40a070}html code span.er{color:#ff0000;font-weight:bold}html code span.fl{color:#40a070}html code span.fu{color:#06287e}html code span.im{color:#008000;font-weight:bold}html code span.in{color:#60a0b0;font-weight:bold;font-style:italic}html code span.kw{color:#007020;font-weight:bold}html code span.op{color:#666666}html code span.ot{color:#007020}html code span.pp{color:#bc7a00}html code span.sc{color:#4070a0}html code span.ss{color:#bb6688}html code span.st{color:#4070a0}html code span.va{color:#19177c}html code span.vs{color:#4070a0}html code span.wa{color:#60a0b0;font-weight:bold;font-style:italic}@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}}@media screen {pre > code.sourceCode > span > a:first-child::before{text-decoration:underline}}@media screen and (min-width: 574px){html body,html .or span,html .modal-content{background-color:var(--bg-body)}html .entry-body,html .editor-preview{background-color:var(--bg-element)}html .editor-preview{border:1px solid var(--border);border-color:transparent}html .entry-body{padding:1em 0.5em 0.5em}}[data-appearance="dark"] body{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"] .editor-preview{border-color:transparent}[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"] .charts canvas{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}