:root{color-scheme:light;--background-color: #fff;--default-color: #555;--default-shade: #353535;--default-tint: #666;--grey-1: #979797;--grey-2: #e5e5e5;--grey-3: #f9f9f9;--blue: #3c6eb4;--shadow-color: rgba(0, 0, 0, .2);--code-color: #bf616a;--box-color: #d8deea;--box-title: #434498;--icon-filter: none;--code-filter: none}@media (prefers-color-scheme: dark){:root:not([data-theme='light']){color-scheme:dark;--background-color: #181818;--default-color: #b5b5b5;--default-shade: #e2e2e2;--default-tint: #9a9a9a;--grey-1: #8a8a8a;--grey-2: #353535;--grey-3: #222;--blue: #7fa9e6;--shadow-color: rgba(0, 0, 0, .8);--code-color: #e48a92;--box-color: #262c3b;--box-title: #a9abf2;--icon-filter: invert(1);--code-filter: invert(1) hue-rotate(180deg)}}:root[data-theme='dark']{color-scheme:dark;--background-color: #181818;--default-color: #b5b5b5;--default-shade: #e2e2e2;--default-tint: #9a9a9a;--grey-1: #8a8a8a;--grey-2: #353535;--grey-3: #222;--blue: #7fa9e6;--shadow-color: rgba(0, 0, 0, .8);--code-color: #e48a92;--box-color: #262c3b;--box-title: #a9abf2;--icon-filter: invert(1);--code-filter: invert(1) hue-rotate(180deg)}*{-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box;line-height:1.5}html,body{background-color:var(--background-color);color:var(--default-color);margin:0;padding:0}html{font-family:"Helvetica Neue","Segoe UI",Helvetica,Arial,sans-serif;font-size:14px;overflow-y:scroll}@media (min-width: 600px){html{font-size:16px}}body{-webkit-text-size-adjust:100%}h1,h2,h3,h4,h5,h6{color:var(--default-shade);font-family:"Helvetica Neue","Segoe UI",Helvetica,Arial,sans-serif;line-height:normal}a{color:var(--blue);text-decoration:none}blockquote{border-left:0.25rem solid var(--grey-2);color:var(--grey-1);margin:.8rem 0;padding:.5rem 1rem}blockquote p:last-child{margin-bottom:0}@media (min-width: 600px){blockquote{padding:0 5rem 0 1.25rem}}img{display:block;height:auto;margin:0 0 1rem;max-width:100%}td{vertical-align:top}pre,code{font-family:Menlo,Monaco,Consolas,monospace}code{background-color:var(--grey-3);border-radius:3px;color:var(--code-color);font-size:85%;padding:.25em .5em;white-space:pre-wrap}pre{margin:0 0 1rem}pre code{background-color:transparent;color:inherit;font-size:100%;padding:0}.highlight{background-color:var(--grey-3);border-radius:3px;line-height:1.4;margin:0 0 1rem;padding:1rem}.highlight pre{margin-bottom:0;overflow-x:auto}.highlight pre{filter:var(--code-filter)}.highlight .hll{background-color:#ffc}.highlight .c{color:#999}.highlight .err{color:#a00;background-color:#faa}.highlight .k{color:#069}.highlight .o{color:#555}.highlight .cm{color:#09f;font-style:italic}.highlight .cp{color:#099}.highlight .c1{color:#999}.highlight .cs{color:#999}.highlight .gd{background-color:#fcc;border:1px solid #c00}.highlight .ge{font-style:italic}.highlight .gr{color:#f00}.highlight .gh{color:#030}.highlight .gi{background-color:#cfc;border:1px solid #0c0}.highlight .go{color:#aaa}.highlight .gp{color:#009}.highlight .gu{color:#030}.highlight .gt{color:#9c6}.highlight .kc{color:#069}.highlight .kd{color:#069}.highlight .kn{color:#069}.highlight .kp{color:#069}.highlight .kr{color:#069}.highlight .kt{color:#078}.highlight .m{color:#f60}.highlight .s{color:#d44950}.highlight .na{color:#4f9fcf}.highlight .nb{color:#366}.highlight .nc{color:#0a8}.highlight .no{color:#360}.highlight .nd{color:#99f}.highlight .ni{color:#999}.highlight .ne{color:#c00}.highlight .nf{color:#c0f}.highlight .nl{color:#99f}.highlight .nn{color:#0cf}.highlight .nt{color:#2f6f9f}.highlight .nv{color:#033}.highlight .ow{color:#000}.highlight .w{color:#bbb}.highlight .mf{color:#f60}.highlight .mh{color:#f60}.highlight .mi{color:#f60}.highlight .mo{color:#f60}.highlight .sb{color:#c30}.highlight .sc{color:#c30}.highlight .sd{color:#c30;font-style:italic}.highlight .s2{color:#c30}.highlight .se{color:#c30}.highlight .sh{color:#c30}.highlight .si{color:#a00}.highlight .sx{color:#c30}.highlight .sr{color:#3aa}.highlight .s1{color:#c30}.highlight .ss{color:#fc3}.highlight .bp{color:#366}.highlight .vc{color:#033}.highlight .vg{color:#033}.highlight .vi{color:#033}.highlight .il{color:#f60}.css .o,.css .o+.nt,.css .nt+.nt{color:#999}main,body>footer,.nav-container{display:block;margin:0 auto;max-width:800px;width:80%}.nav{box-shadow:0 2px 2px -2px var(--shadow-color);overflow:auto}.nav-container{margin:1rem auto;position:relative;text-align:center}.nav-title{-webkit-transition:opacity 0.2s ease-out;-moz-transition:opacity 0.2s ease-out;transition:opacity 0.2s ease-out;color:var(--default-color);display:inline-block;font-size:1.5rem;margin:0;padding-right:.2rem}.nav-title:hover,.nav-title:focus{opacity:.6}.nav ul{list-style-type:none;margin:1rem 0 0;padding:0;text-align:center}.nav li{-webkit-transition:opacity 0.2s ease-out;-moz-transition:opacity 0.2s ease-out;transition:opacity 0.2s ease-out;color:var(--default-color);display:inline-block;opacity:.6;padding:0 2rem 0 0}.nav li:last-child{padding-right:0}.nav li:hover,.nav li:focus-within{opacity:1}.nav .nav-icon{padding-right:1rem}.nav img{display:inline-block;height:20px;margin:0;vertical-align:middle;width:auto}.nav a{color:var(--default-color)}@media (min-width: 600px){.nav-container{text-align:left}.nav ul{bottom:0;position:absolute;right:0}}body>footer{padding:2rem 0;text-align:center}body>footer span{color:var(--default-color);font-size:.8rem}.nav-icon img.invert-in-dark{filter:var(--icon-filter)}.theme-toggle{background:none;border:0;color:var(--default-color);cursor:pointer;font:inherit;margin:0;padding:0;vertical-align:middle}html:not(.js) .theme-toggle,.theme-icon{display:none}html:not([data-theme]) .theme-icon-auto,html[data-theme='light'] .theme-icon-light,html[data-theme='dark'] .theme-icon-dark{display:block}.post{padding:3rem 0}.post-info{color:var(--default-tint);font-size:.8rem;letter-spacing:.5px;text-transform:uppercase}.post-title{color:var(--default-shade);font-size:2.5rem;margin:1rem 0;text-align:center}@media (min-width: 600px){.post-title{font-size:4rem}}.post-line{border-top:0.4rem solid var(--default-shade);display:block;margin:0 auto 3rem;width:4rem}.post-intro{color:var(--default-shade);font-size:1.25rem;line-height:1.6;margin:0 0 3rem}@media (min-width: 600px){.post-intro{font-size:1.5rem}}.post-portrait{border-radius:50%;margin:0 auto 3rem;width:12rem}@media (min-width: 600px){.post-portrait{width:16rem}}.post a:hover{text-decoration:underline}@media (min-width: 1100px){.post-content,.post-footer{max-width:600px}}.post-content{font-size:1.125rem}.post-content p,.post-content li{line-height:1.7}.post-content p{hyphens:auto;margin:0 0 1.25rem;text-align:justify}.post-content ul,.post-content ol{margin:0 0 1.25rem;padding-left:1.5rem}.post-content h2{font-size:1.75rem;margin:3rem 0 1.25rem}.post-content h3{font-size:1.25rem;margin:2rem 0 1rem}.post-content img{margin:0 auto .5rem}.post-content img+em{color:var(--default-tint);display:block;font-size:.9rem;font-style:normal;text-align:center}.post-content .katex-display{margin:1rem 0;overflow-x:auto;overflow-y:hidden;padding:.25rem 0}.post-footer{border-top:1px solid var(--grey-2);color:var(--default-tint);font-size:.875rem;margin-top:3rem;padding-top:1rem}.post-footer h2{color:var(--default-tint);font-size:.8rem;letter-spacing:.5px;margin:1.5rem 0 .75rem;text-transform:uppercase}.post-footer ol{margin:0;padding-left:1.5rem}.post-footer li{margin-bottom:.5rem}.post-footer p{margin:0}.sidenote-number{color:var(--blue);font-size:.75em;line-height:0;padding-left:.1em}.sidenote .sidenote-number{padding-left:0}.sidenote,.marginnote{border-left:2px solid var(--grey-2);color:var(--default-tint);display:block;font-size:.875rem;hyphens:manual;line-height:1.5;margin:.75rem 0;padding-left:1rem;text-align:left}@media (min-width: 1100px){.sidenote,.marginnote{border:0;clear:right;float:right;margin:0.3rem calc(-1 * (300px + 2rem)) 0.75rem 0;padding:0;width:300px}}.box-container{margin:0 0 1.25rem}@media (min-width: 1100px){.box-container>.sidenote,.box-container>.marginnote{margin-top:0}}.box-container>.box{margin-bottom:0}@media (max-width: 1099px){.box-container{display:flex;flex-direction:column}.box-container>.sidenote,.box-container>.marginnote{margin-bottom:0;order:1}}@media (max-width: 1099px){.note-wide{display:none}}@media (min-width: 1100px){.note-narrow{display:none}}.box{background-color:var(--box-color);margin:0 0 1.25rem;padding:0.75rem 1rem}.box-title{color:var(--box-title);display:block;font-weight:bold;letter-spacing:.5px;padding-bottom:.5rem;text-transform:uppercase}.box p{text-align:left}.box>p:last-child,.box>.katex-display:last-child{margin-bottom:0}.pagination{border-top:0.5px solid var(--grey-2);padding-top:2rem;position:relative;text-align:center}.pagination span{color:var(--default-shade);font-size:1.1rem}.pagination .top{-webkit-transition:opacity 0.3s ease-out;-moz-transition:opacity 0.3s ease-out;transition:opacity 0.3s ease-out;color:var(--default-color);font-size:1.1rem;opacity:.6}.pagination .top:hover,.pagination .top:focus{opacity:1}.pagination .arrow{-webkit-transition:opacity 0.3s ease-out;-moz-transition:opacity 0.3s ease-out;transition:opacity 0.3s ease-out;color:var(--default-color);position:absolute}.pagination .arrow:hover,.pagination .arrow:focus{opacity:.6;text-decoration:none}.pagination .left{left:0}.pagination .right{right:0}.catalogue-item{border-bottom:1px solid var(--grey-2);color:var(--default-color);display:block;padding:2rem 0}.catalogue-item:hover .catalogue-line,.catalogue-item:focus .catalogue-line{width:5rem}.catalogue-item:last-child{border:0}.catalogue-item p{margin:1rem 0 0}.catalogue-time{color:var(--default-tint);font-size:.8rem;letter-spacing:.5px;text-transform:uppercase}.catalogue-title{color:var(--default-shade);display:block;font-size:2rem;font-weight:700;margin:.5rem 0}.catalogue-line{-webkit-transition:width 0.3s ease-out;-moz-transition:width 0.3s ease-out;transition:width 0.3s ease-out;border-top:0.2rem solid var(--default-shade);display:block;width:2rem}