@font-face{font-family:"Inria Sans";font-style:normal;font-weight:400;font-display:swap;src:url("/fonts/inria-sans-latin-400-normal.woff2") format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+2074,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"Inria Sans";font-style:normal;font-weight:700;font-display:swap;src:url("/fonts/inria-sans-latin-700-normal.woff2") format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+2074,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"Inria Sans";font-style:italic;font-weight:400;font-display:swap;src:url("/fonts/inria-sans-latin-400-italic.woff2") format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+2074,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}@font-face{font-family:"Inria Sans";font-style:italic;font-weight:700;font-display:swap;src:url("/fonts/inria-sans-latin-700-italic.woff2") format("woff2");unicode-range:U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+2074,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD}*{border:0;font:inherit;font-size:100%;vertical-align:baseline;margin:0;padding:0;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;box-sizing:border-box}body{background-color:#fcfbf9;color:#333;font-family:Inria Sans,sans-serif;font-size:20px;line-height:160%;font-display:swap}body a{color:#1e90ff}body.dark-theme{background-color:#000;color:#eee}body.dark-theme a{color:#1e90ff}.icon{display:inline-block;width:1.15em;height:1.15em;vertical-align:-0.15em;fill:currentColor;transition:color .15s ease-in-out, transform .15s ease-in-out}.outer{display:table;position:absolute;top:0;left:0;height:100%;width:100%}.middle{display:table-cell;vertical-align:middle}.inner{margin-left:auto;margin-right:auto;max-width:768px;padding:0 16px;box-sizing:border-box}@media only screen and (max-width: 600px){.inner{max-width:400px}}pre,code{font-family:monospace;border-radius:5px;background-color:rgba(252,251,249,0.1)}pre.dark-theme,code.dark-theme{background-color:rgba(0,0,0,0.1)}code{font-size:12px;padding:4px}pre{margin-top:1.5em;margin-bottom:1.5em;word-wrap:normal;padding:16px;overflow:auto;font-size:85%;line-height:1.45}pre>code{padding:0;margin:0;font-size:100%;word-break:normal;white-space:pre;background:transparent;border:0}pre code{display:inline;padding:0;margin:0;overflow:visible;line-height:inherit;word-wrap:normal;background-color:transparent;border:0}pre code::before,pre code::after{content:normal}footer{width:100%;text-align:center;margin-bottom:60px;border-top:1px solid #333;padding-top:1em;font-size:small;color:#333}footer.dark-theme{border-top:1px solid #eee;color:#eee}footer a:hover .icon{color:#1e90ff;transform:scale(1.5)}footer.dark-theme a:hover .icon{color:#1e90ff}footer ul li a .icon{color:#333}.dark-theme footer ul li a .icon{color:#eee}footer ul{display:table;margin:auto;padding:0}footer li{list-style-type:none;display:inline-block;padding:0px 10px}footer a{color:#333;text-decoration:underline;text-decoration-style:dotted;text-underline-offset:3px}.dark-theme footer a{color:#eee}footer a:hover{text-decoration-style:solid;text-decoration-color:#1e90ff}.dark-theme footer a:hover{text-decoration-color:#1e90ff}#pf-easter-egg-item{opacity:0;transition:opacity .15s ease-in-out}#pf-easter-egg-item:hover{opacity:1}footer .theme-icon-sun{display:none}.dark-theme footer .theme-icon-moon{display:none}.dark-theme footer .theme-icon-sun{display:inline-block}header{text-align:center;position:static;margin-top:60px;line-height:1.1}header .title{font-family:Inria Sans,serif;font-size:52px;text-decoration:none;margin:0;padding:0;color:#333;font-display:swap}.dark-theme header .title{color:#eee}@media only screen and (max-width: 600px){header .title{margin-bottom:10px}header .title{font-size:44px}}nav{margin-top:1.5em;margin-bottom:1em;padding:0;color:#333;text-align:center}.dark-theme nav{color:#eee}nav a{display:inline-block;color:#1e90ff;text-decoration:none}.dark-theme nav a{color:#1e90ff}nav a::after{margin-top:4px;content:'';display:block;width:0;height:4px;background:#1e90ff;transition:width 0.25s}.dark-theme nav a::after{background:#1e90ff}nav a:hover::after{width:100%}nav ul{display:table;margin:auto;padding:0}nav li{list-style-type:none;display:inline-block;font-size:24px;padding:0;margin:0}nav li+li:before{content:"●";padding:16px}@media only screen and (max-width: 600px){nav{border-top:1px solid #030406;border-bottom:1px solid #030406;padding:1em}.dark-theme nav{border-top:1px solid #fff;border-bottom:1px solid #fff}nav li{padding:6px 0;display:block}nav li+li:before{content:"";padding:0}}.index-wrapper{display:flex;flex-wrap:wrap;flex-direction:row;justify-content:space-between}.index-content{width:70%;align-items:center;display:inline-flex}.index-image{align-items:center;width:30%;text-align:center;padding:0;display:inline-flex}.index-image img{margin:0;height:auto;width:100%;border-radius:50%}@media only screen and (max-width: 600px){.index-content{width:100%;padding:0;margin-bottom:1em}.page{width:100% !important}.index-image{width:100%;margin:auto}}main{text-align:left;width:100%;padding-top:25px;padding-bottom:40px;color:#333}.dark-theme main{color:#eee}main a{color:#333;text-decoration:underline;text-decoration-style:dotted;text-underline-offset:3px}.dark-theme main a{color:#eee}main a:hover{text-decoration-style:solid;text-decoration-color:#1e90ff}.dark-theme main a:hover{text-decoration-color:#1e90ff}main figure{display:block;width:90%;margin:2em auto;text-align:center}main figure table{width:100%}main figcaption{font-size:smaller;line-height:1.5em;color:rgba(51,51,51,0.75);margin-bottom:-1em;text-align:left}.dark-theme main figcaption{color:rgba(238,238,238,0.75)}main figcaption a{color:#848484 !important}.dark-theme main figcaption a{color:gray !important}main figcaption h4{display:inline;font-weight:normal}main .center{text-align:center}main>:first-child{margin-top:0 !important}.post h1{margin-bottom:0}.post h1 a{text-decoration:none !important;margin-bottom:0}.post time{width:100%;display:inline-block;text-align:center;font-size:small;margin-top:-1.5em;margin-bottom:0.5em;padding:0}.post>:first-child{margin-top:0 !important}.post-separator{width:80%;margin:64px auto}.read-more{width:90%;margin:0 auto;text-align:center}p{margin:1em 0}img{max-width:100%}em,q,em,dfn{font-style:italic}strong{font-weight:600}del,s{text-decoration:line-through}hr{height:1px;background:#333;margin:5px auto}.dark-theme hr{background:#eee}small,sub,sup{font-size:small}.smallcaps{font-variant:small-caps}.split{display:flex;flex-wrap:wrap;gap:0.15em 1em;width:100%}.split>:last-child{margin-left:auto;white-space:nowrap}sub{vertical-align:sub}sup{vertical-align:super}kbd{border:1px solid #333;border-radius:4px;font-size:smaller;padding:0 0.25em}.dark-theme kbd{border:1px solid #eee}h1{padding:0;text-align:center;font-weight:700;margin-bottom:0.6em}h2,h3,h4,h5,h6{padding:0;text-align:left;font-weight:700;margin-bottom:0.6em}h1{font-size:26px;margin-top:2.4em}h2{font-size:22px;margin-top:2.0em}h3{font-size:18px;margin-top:1.8em}h4{font-size:16px;margin-top:1.6em}h5{font-size:14px;margin-top:1.4em}h6{font-size:12px;margin-top:1.2em}blockquote{border-left:4px solid #1e90ff;font-style:italic;padding:0.5em 2em}.dark-theme blockquote{border-left:4px solid #1e90ff}blockquote cite{font-style:normal;display:block;font-size:smaller;width:100%;text-align:right}blockquote p{margin:0}ol,ul{padding-left:1.5em}li{margin-bottom:0.25em}table{border-collapse:collapse;margin:1.5em auto;width:90%}table>tbody>tr:last-child{border-bottom:2px solid rgba(3,4,6,0.2)}.dark-theme table>tbody>tr:last-child{border-bottom:2px solid rgba(255,255,255,0.2)}th{border-top:2px solid rgba(3,4,6,0.2);border-bottom:1px solid rgba(3,4,6,0.2);padding:0.25em}.dark-theme th{border-top:2px solid rgba(255,255,255,0.2);border-bottom:1px solid rgba(255,255,255,0.2)}td{padding:0.25em}.footnotes{font-size:small}.footnotes ol li p{margin:0}.footnote-ref{color:#1e90ff;text-decoration:none !important;font-weight:700;display:inline-block;padding:0 1px}.dark-theme .footnote-ref{color:#1e90ff}.footnote-backref{color:#1e90ff;text-decoration:none !important;font-weight:700;display:inline-block;padding:0 1px}.dark-theme .footnote-backref{color:#1e90ff}.katex{font-size:1.1em !important}span .katex-display{margin-top:2em;margin-bottom:2em}.site-badge{display:inline-block;padding:0 0.5em;border-radius:15px;font-size:0.7em;line-height:1.5;font-weight:700;letter-spacing:0.03em;text-transform:uppercase;vertical-align:middle;white-space:nowrap;color:#141414}.site-badge.badge-blue{background:#4285F4;color:#fff}.site-badge.badge-yellow{background:#FBBC05}.site-badge.badge-orange{background:#EB6834}.site-badge.badge-red{background:#EA4335}.site-badge.badge-green{background:#34A853}.site-badge.badge-magenta{background:#A142F4;color:#fff}.dark-theme .site-badge.badge-orange{background:#FBBC05}.dark-theme .site-badge.badge-yellow{background:#EB6834}:root{--pf-overlay-z: 2147483647}#pf-canvas{position:fixed;top:0;left:0;z-index:-1;width:100%;height:100%}.pf-overlay{position:fixed;top:0;left:0;z-index:var(--pf-overlay-z);pointer-events:none;display:none}#pf-sensor-marker{align-items:center;justify-content:center}#pf-sensor-readout{white-space:nowrap;font-family:sans-serif}