*{box-sizing:border-box}html,body{margin:0;padding:0}html{font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Fira Sans,Droid Sans,Helvetica Neue,Arial,sans-serif;font-size:1rem;line-height:1.5}@media (width>=49rem){html{font-size:1.25rem}}body{text-size-adjust:100%}main,article,section{display:block}a{color:#ac4142;text-decoration:none}a:hover,a:focus{text-decoration:underline}a strong{color:inherit}img{border-radius:5px;max-width:100%;height:auto;margin:0 0 1rem;display:block}table{border-collapse:collapse;border:1px solid #e5e5e5;width:100%;margin-bottom:1rem;font-size:85%}td,th{border:1px solid #e5e5e5;padding:.25rem .5rem}th{text-align:left}tbody tr:nth-child(odd) td,tbody tr:nth-child(odd) th{background-color:#f9f9f9}button,input[type=text],input[type=email],input[type=search],input[type=submit]{border:1px solid #e5e5e5;border-radius:300px;padding:1em 1.5em}button,input[type=submit]{color:#ac4142;cursor:pointer;background:0 0;border-color:#e5e5e5;transition:color .6s ease-in-out,border-color .6s ease-in-out,background .6s ease-in-out}button:hover,input[type=submit]:hover{color:#fff;background:#ac4142;border-color:#ac4142;box-shadow:1px 1px 1px #00000029}.video-container{width:100%;position:relative;overflow:hidden}.video-container:after{content:"";padding-top:56.25%;display:block}.video-container iframe{width:100%;height:100%;position:absolute;top:0;left:0}h1,h2,h3,h4,h5,h6,.site-title{color:#ac4142;text-rendering:optimizelegibility;margin-bottom:.5rem;font-weight:600;line-height:1.25}h1{font-size:2rem}h2{margin-top:1rem;font-size:1.5rem}h3{margin-top:1.5rem;font-size:1.25rem}h4,h5,h6{margin-top:1rem;font-size:1rem}p,ul,ol,dl{margin-top:0;margin-bottom:1rem}dt{font-weight:700}dd{margin-bottom:.5rem}hr{border:0;border-top:1px solid #eee;border-bottom:1px solid #fff;margin:1.5rem 0;position:relative}abbr{color:#555;text-transform:uppercase;font-size:85%;font-weight:700}abbr[title]{cursor:help;border-bottom:1px dotted #e5e5e5}blockquote{color:#7a7a7a;border-left:.25rem solid #e5e5e5;margin:.8rem 0;padding:.5rem 1rem}blockquote p:last-child{margin-bottom:0}@media (width>=30em){blockquote{padding-left:1.25rem;padding-right:5rem}}a[href^="#fn:"],a[href^="#fnref:"]{margin-left:.1rem;font-weight:700;display:inline-block}.footnotes{margin-top:2rem;font-size:85%}.lead{font-size:1.25rem;font-weight:300}a svg{fill:#ac4142}a svg,.icon svg{height:1em}.icon{vertical-align:middle}.hll{background-color:#44475a}.c{color:#6272a4}.err,.g{color:#f8f8f2}.k{color:#ff79c6}.l,.n{color:#f8f8f2}.o{color:#ff79c6}.x,.p{color:#f8f8f2}.ch,.cm{color:#6272a4}.cp{color:#ff79c6}.cpf,.c1,.cs{color:#6272a4}.gd{color:#8b080b}.ge{color:#f8f8f2;text-decoration:underline}.gr{color:#f8f8f2}.gh,.gi{color:#f8f8f2;font-weight:700}.go{color:#44475a}.gp,.gs{color:#f8f8f2}.gu{color:#f8f8f2;font-weight:700}.gt{color:#f8f8f2}.kc{color:#ff79c6}.kd{color:#8be9fd;font-style:italic}.kn,.kp,.kr{color:#ff79c6}.kt{color:#8be9fd}.ld{color:#f8f8f2}.m{color:#ffb86c}.s{color:#bd93f9}.na{color:#50fa7b}.nb{color:#8be9fd;font-style:italic}.nc{color:#50fa7b}.no,.nd,.ni,.ne{color:#f8f8f2}.nf{color:#50fa7b}.nl{color:#8be9fd;font-style:italic}.nn,.nx,.py{color:#f8f8f2}.nt{color:#ff79c6}.nv{color:#8be9fd;font-style:italic}.ow{color:#ff79c6}.w{color:#f8f8f2}.mb,.mf,.mh,.mi,.mo{color:#ffb86c}.sa,.sb,.sc,.dl,.sd,.s2,.se,.sh,.si,.sx,.sr,.s1,.ss{color:#bd93f9}.bp{color:#f8f8f2;font-style:italic}.fm{color:#50fa7b}.vc,.vg,.vi,.vm{color:#8be9fd;font-style:italic}.il{color:#ffb86c}code,pre{font-family:Menlo,Monaco,Courier New,monospace}code{color:#ffb86c;background-color:#44475a;border-radius:3px;padding:.15em .25em;font-size:85%}pre{color:#ffb86c;max-width:100%;margin-top:0;margin-bottom:1rem;overflow-x:auto}pre code{color:inherit;background-color:#0000;padding:0;font-size:100%}.highlight{background-color:#44475a;border-radius:.25rem;margin-bottom:1rem;padding:.5rem;font-size:.8rem;line-height:1.4}.highlight pre{margin-bottom:0;overflow-x:auto}.highlight .lineno{color:#999;user-select:none;padding-left:.25rem;padding-right:.75rem;display:inline-block}pre.astro-code{border-radius:.25rem;margin-bottom:1rem;padding:.5rem;font-size:.8rem;line-height:1.4;overflow-x:auto;background-color:#44475a!important}body{color:#ffffffbf;background-color:#ac4142;background-image:linear-gradient(#be5354,#923738);background-attachment:fixed;flex-direction:column;min-height:100vh;display:flex}#sidebar{flex:none;padding:2rem}#sidebar .site-title{margin-top:0;margin-bottom:.5rem;font-family:Abril Fatface,serif;font-size:1.25rem;font-weight:400}#sidebar .site-title .back-arrow{margin-right:.5rem}.content{color:#515151;background:#fff;padding:2rem}.container{flex-direction:column;flex:auto;display:flex}.container>.content{flex-grow:1;padding-bottom:4rem}#sidebar header~*,#sidebar header~nav,#sidebar p.lead{display:none}.container>header{color:#fff;background:0 0;margin:-1.5rem 2rem 2rem}.container>header h1,.container>header h2{color:inherit}.container>header h1:last-child,.container>header h2:last-child{margin-bottom:0}.home #sidebar{text-align:center}.home #sidebar .site-title{font-size:3.25rem}.home #sidebar header~*,.home #sidebar p.lead{display:block}.home #sidebar header~nav{display:flex}.home #sidebar>:last-child{margin-bottom:.5rem}@media (width<=1000px){table{max-width:100%;display:block;overflow-x:auto}}@media (width>=49rem){body{-webkit-overflow-scrolling:touch;flex-direction:row;min-height:100vh;overflow-y:auto}body>*{-webkit-overflow-scrolling:touch;overflow-y:auto}#sidebar,.home #sidebar{text-align:left;width:18rem}#sidebar>:last-child,.home #sidebar>:last-child{margin-bottom:0}#sidebar{position:fixed;bottom:0;left:0}#sidebar .site-title{font-size:3.25rem}#sidebar .site-title .back-arrow{display:none}#sidebar p.lead,#sidebar header~*{display:block}#sidebar header~nav{display:flex}.index #sidebar{margin-bottom:0}.container{color:#515151;background:#fff;min-height:100vh;margin-left:18rem;padding:4rem 4rem 0}.container>header{color:#ac4142;margin:0}.container>header h1,.container>header h2{color:inherit}.container>header h1:last-child,.container>header h2:last-child{margin-bottom:.5rem}.container>*{max-width:60rem;padding:0}}#sidebar a{color:#fff}#sidebar a svg,#sidebar a:hover svg,#sidebar a:focus svg,#sidebar a.active svg{fill:#ffffffd9}#sidebar a:hover,#sidebar a:focus{text-decoration:underline}#sidebar a:hover.icon,#sidebar a:focus.icon{text-decoration:none}#sidebar a.active{font-weight:700}#sidebar .site-title{color:#fff}#sidebar .site-title a{color:inherit}#sidebar nav{display:flex}#sidebar-nav-links{flex-flow:column}#sidebar-icon-links{flex-flow:wrap;justify-content:center;max-width:100%;margin-top:1rem}@media (width>=49rem){#sidebar-icon-links{justify-content:flex-start;margin-left:-.25em}}#sidebar nav>*{line-height:1.75;display:block}#sidebar nav>.icon{margin:0 .25em;font-size:1.5rem;display:inline-block}@media print{#sidebar{display:none}body{display:block}.container{margin-left:0;margin-right:0;padding:0;display:block}.container>*{max-width:100%}html{font-size:normal}}.masthead{margin-bottom:3rem;padding-top:1rem;padding-bottom:1rem}.masthead-title{color:#515151;margin-top:0;margin-bottom:0}.masthead-title a{color:inherit}.masthead-title small{opacity:.5;font-size:75%;font-weight:400}.posts-by-tag h2{text-transform:capitalize}.page-title,.post-title{margin-top:0}.page-title,.post-title,.post-title a{color:#ac4142}h2.post-title,h2.page-title{font-size:2rem}.post-tags a{opacity:.75;white-space:nowrap;margin-right:.5rem;font-size:.8em}.post-tags a .tag-name{text-transform:capitalize}.post-tags a:hover{opacity:1;text-decoration:none}.posts-list{padding-left:0;list-style:none}.posts-list h3{margin-top:0}.posts-list li small{color:#999;white-space:nowrap;font-size:75%}.posts-list li a:hover{color:#ac4142;text-decoration:none}.posts-list li a:hover small{color:inherit}article+*,.post-body~section{border-top:1px solid #e5e5e5;margin-top:2rem;padding-top:2rem}article+*>h2:first-child,article+*>h3:first-child,.post-body~section>h2:first-child,.post-body~section>h3:first-child{margin-top:0}.post-meta{color:#767676;margin-top:-.5rem;margin-bottom:1rem}.post .content li+li,.page .content li+li{margin-top:.25rem}button.disqus-load{margin-top:1em}.message{color:#717171;background-color:#f9f9f9;margin-bottom:1rem;padding:1rem}.back-link{font-size:80%}.back-link a{color:currentColor}.back-link a svg{fill:currentColor}.button_doi{color:#fff;background-color:#1a237e;border:2px solid #1a237e;border-radius:6px}.button_doi:hover{color:#000;background-color:#1a227e59}.button_pdf{color:#000;background-color:#e02400;border:2px solid #e02400;border-radius:6px}.button_pdf:hover{background-color:#e0250059}.button_website{color:#000;background-color:#00a851;border:2px solid #00a851;border-radius:6px}.button_website:hover{background-color:#00a85159}.button_arxiv{color:#000;background-color:#ef6c00;border:2px solid #ef6c00;border-radius:6px}.button_arxiv:hover{background-color:#ef6c0059}.interface-box{border:1px solid #e5e5e5;border-radius:4px;min-width:0;margin:0 0 1.5rem;padding:.75rem 1.25rem 1.25rem}.interface-box>legend{color:#767676;letter-spacing:.05em;text-transform:uppercase;padding:0 .4rem;font-size:.8rem}.interface-box>legend .interface-verdict{letter-spacing:normal;text-transform:none;margin-left:.4rem}.interface label{font-size:.8rem;display:block}.interface-editor-frame{background-color:#44475a;border-radius:.25rem;position:relative}.interface-editor-layer{letter-spacing:normal;tab-size:4;white-space:pre;word-spacing:normal;border:0;margin:0;padding:.5rem;font-family:Menlo,Monaco,Courier New,monospace;font-size:.8rem;line-height:1.4;overflow:auto}#koat-highlight{color:#f8f8f2;pointer-events:none;position:absolute;inset:0;overflow:hidden}.interface-editor{caret-color:#f8f8f2;color:#0000;resize:vertical;background:0 0;width:100%;display:block;position:relative}.interface-editor::selection{background:#ac414273}.interface-editor:focus{outline-offset:1px;outline:2px solid #ac414299}.interface-toolbar{flex-wrap:wrap;align-items:center;gap:.4rem;margin-bottom:.6rem;display:flex}.interface-toolbar-label{color:#767676;letter-spacing:.05em;text-transform:uppercase;margin-right:.2rem;font-size:.75rem}.interface-chip{padding:.35em .9em;font-size:.75rem}.interface-upload{cursor:pointer;display:inline-block}.interface-upload input{display:none}.interface-options{grid-template-columns:repeat(auto-fit,minmax(11rem,1fr));gap:.75rem 1.25rem;display:grid}.interface-options select,.interface-options input[type=number]{border:1px solid #e5e5e5;border-radius:4px;width:100%;margin-top:.2rem;padding:.35em .5em;font-size:.85rem}.interface-hint{color:#767676;margin-top:.2rem;font-size:.75rem;display:block}.interface-checks{flex-wrap:wrap;gap:.5rem 1.5rem;margin-top:1rem;display:flex}.interface .interface-check{align-items:center;gap:.4rem;display:flex}.interface-actions{flex-wrap:wrap;justify-content:flex-end;align-items:center;gap:.75rem;margin-top:1.25rem;display:flex}.interface-actions .interface-status{text-align:right;flex:auto}.interface-status{color:#767676;font-size:.85rem}.interface button:disabled{color:#767676;cursor:not-allowed}.interface button:disabled:hover{box-shadow:none;color:#767676;background:0 0;border-color:#e5e5e5}.interface-headline{flex-wrap:wrap;align-items:baseline;gap:.25rem .7rem;display:flex}.interface-headline h2,.interface-headline h3{margin-bottom:0}.interface-verdict{color:#fff;vertical-align:middle;border-radius:4px;padding:.2em .6em;font-family:Menlo,Monaco,Courier New,monospace;font-size:.8rem;font-weight:700;display:inline-block}.interface-verdict-positive{background-color:#90a959}.interface-verdict-inconclusive{background-color:#268bd2}.interface-verdict-timeout{color:#313131;background-color:#d28445}.interface-verdict-error{background-color:#ac4142}.interface-summary{flex-wrap:wrap;align-items:baseline;gap:.35rem .75rem;display:flex}.interface-explanation{flex:16rem}.interface-summary .interface-meta{margin:0 0 0 auto}.interface-answer{vertical-align:middle;font-family:Cambria Math,STIX Two Math,Latin Modern Math,Georgia,serif;font-size:1.05rem}.interface-answer sup{vertical-align:super;font-size:.7em;line-height:0}.interface-meta{color:#767676;margin:.5rem 0 0;font-size:.8rem}.interface-detail{color:#515151;white-space:pre-wrap;background-color:#f9f9f9;border-radius:.25rem;max-width:100%;margin:.75rem 0 0;padding:.5rem .75rem;font-family:Menlo,Monaco,Courier New,monospace;font-size:.75rem;overflow-x:auto}.interface-output{color:#f8f8f2;white-space:pre-wrap;background-color:#44475a;border-radius:.25rem;max-height:24rem;margin-top:.75rem;padding:.5rem;font-size:.8rem;line-height:1.4;overflow:auto}.interface-hidden,.interface .interface-hidden{display:none}.interface-sr-only{clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}@font-face{font-display:swap;font-family:Abril Fatface;font-style:normal;font-weight:400;src:url(/fonts/AbrilFatface-Regular.ttf)}.sidebar-nav,.sidebar-nav ul{margin:0;padding:0;list-style:none}.sidebar-nav .nav-item{margin:.25em 0}.sidebar-nav .page-link{color:inherit;text-decoration:none;display:block;position:relative}.sidebar-nav .subnav{margin:0;padding-left:.5rem;display:none}.sidebar-nav .nav-item.open>.subnav{display:block}.sidebar-nav .nav-item.has-children>.page-link:after{pointer-events:none;transition:transform .18s,opacity .18s;position:absolute;top:50%;right:.6rem;transform:translateY(-50%)rotate(0)}.sidebar-nav .nav-item.open>.page-link:after{transform:translateY(-50%)rotate(0)}.sidebar-nav .subnav .page-link{padding-left:.6rem;padding-right:2rem;font-size:.95em}