@font-face{font-family:cmu;src:url(fonts/cmu.woff2)}@font-face{font-family:merriweather;src:url(fonts/merriweather.woff2)}@font-face{font-family:jetbrains mono;src:url(fonts/JetBrainsMono-Regular.woff2)}@font-face{font-family:garamond;src:url(fonts/garamond.woff2)}@font-face{font-family:open sans;src:url(fonts/opensans.woff2)}@font-face{font-family:source sans;src:url(fonts/sourcesans.ttf)}@font-face{font-family:crimson;src:url(fonts/crimson.ttf)}html,body{margin:0}body{font-family:crimson,serif;display:flex;flex-direction:row;background:#fff;color:#000}#sidebar{font-family:source sans,sans;overflow-y:scroll;height:100%;position:fixed;width:250px;background:#f8f8f8}#sidebar::-webkit-scrollbar{background-color:#fff;width:12px}#sidebar::-webkit-scrollbar-thumb{background-color:#bbb}#sidebar::-webkit-scrollbar-thumb:hover{background-color:#999}#sidebar::-webkit-scrollbar-thumb:active{background-color:#666}#sidebar.sidebar-hidden{display:none}#sidebar .title{font-size:1.2em;font-family:garamond,serif;text-align:center;margin:20px;color:#666}#sidebar .title .divisionAbbr{color:#000}#sidebar .title .divisionAbbr:hover{color:#06e}#sidebar ul,#sidebar ol{font-size:.9em;margin:0 0 0 10px;padding:0;list-style:none}#sidebar ul li,#sidebar ol li{margin:6px}#sidebar ul a,#sidebar ol a{color:#000}#sidebar ul a:hover,#sidebar ol a:hover{color:#06e}#sidebar #active-element{color:#0645ad}#sidebar #active-element:hover{color:#06e}#sidebar ul>li:not(.part):not(.ignore-indexing){counter-increment:chapter-counter}#sidebar ul>li:not(.part):not(.ignore-indexing)::before{content:counter(chapter-counter)". ";font-weight:700}#sidebar ul>li.part{color:#666;counter-increment:part-counter;margin-top:16px;font-size:18px}#sidebar ul>li.part::before{content:counter(part-counter,upper-roman)". ";font-weight:700;color:#111}#sidebar ul ol li{counter-increment:section-counter}#sidebar ul ol li::before{content:counter(chapter-counter)"." counter(section-counter)". ";font-weight:700}#sidebar .draft,#sidebar .draft a{color:#666}#wrapper{width:100%;margin-left:250px}#wrapper.sidebar-hidden{margin-left:0}@media only screen and (max-width:1200px){#sidebar:not(.sidebar-toggled){display:none}#wrapper:not(.sidebar-toggled){margin-left:0}}menu{position:sticky;z-index:100;top:0;display:flex;font-family:garamond,serif;height:26px;background-color:#fff;justify-content:space-between;padding:14px;margin:0;text-align:center}menu img{width:16px;opacity:.4;margin:4px}menu img:hover{opacity:1;cursor:pointer}menu .title{font-size:24px;margin-top:-4px;opacity:0;transition:opacity .1s}menu.scrolled{border-bottom:1px solid #eaecef}menu.scrolled .title{opacity:1;transition:opacity .1s}#search{display:none;font-family:source sans,sans}#search input{width:100%;padding:6px;color:#000;background:#f8f8f8;border:1px solid #ddd}#search input:focus{outline:1px solid #666}#search #search-count{margin-top:8px;color:#666}#search #search-results{margin-top:6px;border-bottom:1px solid #eaecef}#search #search-results li{list-style:none;margin:12px 6px}#search #search-results p{margin-top:0}#TableOfContents{display:none;position:fixed;left:calc(620px + 50%);top:170px;font-size:.9em;line-height:1.25em;text-align:left;width:300px;border-left:1px solid #eaecef;padding:10px}#TableOfContents.sidebar-hidden{display:none}#TableOfContents ul{margin:0;padding:0;list-style:none}#TableOfContents ul li{margin:8px}main{min-width:500px;max-width:850px;margin:auto;padding:6px 18px;min-height:calc(100vh - 168px)}header{margin-top:20px}article{font-size:18px;line-height:1.5;text-align:justify;padding:6px}article figure{margin:15px auto;text-align:center}article figure img{dispaly:block;max-width:90%;max-height:500px;margin-bottom:4px}article figure figcaption{font-size:.85em}article div{margin:20px auto}.description{margin:4px}.info{display:flex;flex-wrap:wrap;width:100%;margin:25px 0 10px;padding:10px;border-top:1px solid #eaecef;font-size:1em;font-family:source sans,sans}.info:empty{display:none}.info div{margin-right:50px}.info div>span{display:block;padding:4px}.info div span:first-child{font-size:.75em;text-transform:uppercase;color:#666}h2 a{color:inherit}.division{display:flex;flex-wrap:wrap;justify-content:left;margin:0;text-align:left;width:100%;counter-reset:part-counter}.division h3{width:100%;margin-top:20px;counter-increment:part-counter}.division section{font-family:garamond,serif;width:279px;margin-top:6px;margin-bottom:8px}.division section>a{font-size:20px !important}.division section a:not(ul a){font-size:1.45em}.division section a:not(ul a):not(:hover){color:#0b0080}.division section ul{margin:2px 0;padding-left:18px;list-style:none}.division section ul li:before{content:"\2022";font-size:1em;vertical-align:middle;position:absolute;margin-left:-10px;margin-top:3px}.division section ul a{font-size:16px;margin-left:0;margin-top:4px}.nextprev{margin:20px 20px 0;line-height:1.5em;display:flex}.nextprev .left{text-align:left;flex:1}.nextprev .right{text-align:right;flex:1}.nextprev img{filter:invert(.5)}.nextprev a:hover img{filter:invert(.7)}footer{flex-shrink:0;text-align:center;opacity:.5;color:#666;font-size:.75em;margin:50px 0 0;padding:8px;line-height:1.5em;font-family:source sans,sans}.katex{font-size:1.1em !important}h1,h2,h3,h4,h5,h6{font-family:garamond,serif;color:#111;font-weight:400;line-height:125%;margin-top:1em;margin-bottom:0}h1{font-size:2.5em;text-align:center;margin-top:0;margin-bottom:20px}h2{font-size:1.75em}h3{font-size:1.5em}h2,h3{padding-bottom:5px;border-bottom:1px solid #eaecef}ul,ol{margin:0}ul li,ol li{margin:2px 0}p{margin:.5em 0}blockquote{color:#666;margin:0;padding-left:1em;border-left:.25em #eee solid}code:not(pre code){background-color:#f5f5f5;border-radius:4px;padding:2px 4px;font-size:.8em;white-space:nowrap;color:#d73a49}pre{white-space:pre;white-space:pre-wrap;word-wrap:break-word;background-color:#fff;border-radius:6px;padding:12px 16px;font-size:.85em;text-align:left;line-height:1.4;margin:1em 0;box-shadow:0 1px 3px rgba(0,0,0,.1);position:relative;display:block;overflow:visible}.copy-button{position:absolute;top:8px;right:8px;background:rgba(255,255,255,.9);border:1px solid rgba(0,0,0,.1);border-radius:4px;padding:6px;cursor:pointer;opacity:0;transition:opacity .2s;width:24px;height:24px;display:flex;align-items:center;justify-content:center}.copy-button:hover{background:#fff;border-color:rgba(0,0,0,.2)}.copy-button img{width:14px;height:14px;filter:invert(.3)}pre{position:relative}pre:hover .copy-button{opacity:1;top:8px;visibility:visible}a.anchor-link{color:#666;opacity:.5;margin-left:-.6em;margin-right:.15em}a.anchor-link:hover{opacity:1}a{color:#0645ad;text-decoration:none}a:hover{color:#06e}a:active{color:#06e}a[href^='http://e-maxx.ru']:before,a[href^='https://e-maxx.ru']:before{content:"";display:inline-block;position:relative;top:4px;width:20px;height:20px;background:url(http://e-maxx.ru/favicon.ico)no-repeat;background-size:18px}a[href^='https://neerc.ifmo.ru']:before{content:url(https://neerc.ifmo.ru/favicon.ico);margin-right:4px;position:relative;top:4px}a[href^='https://www.youtube.com']:before,a[href^='https://youtube.com']:before{content:url(https://www.youtube.com/favicon.ico);margin-right:4px;position:relative;top:3px}a[href^='https://codeforces.com']:before{content:url(http://codeforces.com/favicon.ico);margin-right:4px}a[href^='https://www.topcoder.com/']:before{content:url(https://s3.amazonaws.com/app.topcoder.com/favicon.ico);margin-right:4px}a[href='']{color:#000;cursor:default}@media print{body{font-size:12pt;width:180mm;margin:0}@page{margin:15mm}menu,.info,footer,.nextprev,#sidebar{display:none}pre{font-size:.7em}#wrapper{margin-left:0}header{margin-top:0}pre,ul,ol{page-break-inside:avoid}}