html{font-family: 'Dejavu Sans',sans-serif;line-height: 1.5;box-sizing: border-box;font-size: 15px;scrollbar-gutter: stable}body{display: block;float: none;margin-right: auto;margin-left: auto;margin-top: 1rem;margin-bottom: 1rem;max-width: 56rem;font-size: 15px;font-weight: normal;color: #000;text-rendering: optimizeLegibility}.content{margin-right: 0;margin-left: 0;padding-right: .4rem;padding-left: .4rem;margin-bottom: .4rem}h1{font-size: 130%;margin-bottom: 0px}h2{margin-top: 0px;margin-bottom: 0px;font-size: 120%}h3{margin-top: 0px;margin-bottom: 0px;font-size: 110%}p{margin-top: 0.8rem;margin-bottom: 0.8rem;text-align: justify}ul{margin-top: 0.8rem;margin-bottom: 0.8rem;padding-left: 1.5rem;list-style-type: square}table,th,td:not(.lntd){border: 1px solid;border-collapse: collapse;padding: 0.6rem;max-width: 100%;width: 100%;height: auto}.lntable{display: block;overflow-x: scroll;font-size: 85%}.lntable::-webkit-scrollbar{display: none}.lntable{-ms-overflow-style: none;scrollbar-width: none}div.highlight{margin-top: .6rem;margin-bottom: .6rem;border: .08333rem solid #000}pre.chroma{margin-top: .4rem;margin-bottom: .4rem}span.lnt{padding-right: 0px}.chroma .lnt{background-color: inherit;border-spacing: 0;white-space: none;color: #7f7f7f}.chroma .lntable .lnt,.chroma .lntable .hl{display: flex}.chroma .lntable .lntd + .lntd{width: 100%}.chroma{overflow-x: auto;margin: 0}img{max-width: 100%;height: auto;border: .08333rem solid #000}.not-found-text{font-size: 50px;font-family: monospace,monospace;text-align: center;margin: 2rem}header{max-width: inherit;margin-right: 0;margin-left: 0;padding-right: .4rem;padding-left: .4rem;margin-bottom: 1.2rem}.header-text-container{display: flex;align-items: stretch;flex-wrap: wrap;justify-content: space-between}.header-text{font-family: monospace,monospace;font-size: 15px;flex: auto;display: flex;align-items: center}.header-text-right{justify-content: flex-end}@media only screen and (max-width: 600px){.header-text-right{display: none}}.header-bar{margin-bottom: 1rem;height:1px;border-width:0;color:#ccc;background-color:#ccc}.header-navigator{box-sizing: inherit;flex: auto;display: flex;gap: .8rem;align-items: center}@media only screen and (max-width: 600px){.header-navigator{display: grid;grid-template-columns: repeat(3,minmax(0,1fr));gap: .4rem}.header-navigator .header-button{box-sizing: border-box;width: 100%}}@media only screen and (max-width: 360px){.header-navigator{grid-template-columns: repeat(2,minmax(0,1fr))}}.header-button{font-family: monospace,monospace;font-size: 15px;height: 2rem;user-select: none;text-decoration: none;border-radius: 0;border: .08333rem solid #000;color: #000;background: #fff;box-shadow: 2px 2px #bbb;appearance: none;-webkit-user-select: none;-ms-user-select: none;outline: none;display: flex;justify-content: center;align-items: center}.header-button:hover{color: #fff;background: #000}section[role="doc-endnotes"]{margin: 1.2rem .4rem .4rem;color: #333;font-family: inherit;font-size: 1rem;line-height: 1.5}section[role="doc-endnotes"] ol{margin: 0;padding: 0}section[role="doc-endnotes"] li + li{margin-top: .4rem}section[role="doc-endnotes"] sup{margin-right: .4rem}footer{color: #999;font-size: 60%;font-weight: 400;padding-right: .4rem;padding-left: .4rem;margin-bottom: .4rem}.footer-bar{margin-top: 1rem;margin-bottom: .4rem;height:1px;border-width:0;color:#999;background-color:#999}.footer-container{display: flex;align-items: center;justify-content: space-between;gap: .8rem}.footer-container-right{display: flex;gap: 0.4rem;flex-wrap: wrap;justify-content: flex-end}.footer-revision{white-space: nowrap;text-align: center}.footer-text-right{justify-content: flex-end}.footer-text-right-large{justify-content: flex-end}@media only screen and (max-width: 600px){.footer-text-right-large{display: none}}@media only screen and (max-width: 700px){.footer-container{flex-direction: column;gap: .2rem}}.metadata-line-start{font-style: italic;color: #999}.metadata-line{font-style: italic;color: #999}.metadata-line-start:before{content: '>';margin-right: 0.85rem}.post-square{font-size: 90%}.post-title-box{margin-top:.2rem;margin-bottom:.0rem}.post-title-text{text-decoration: none;color: inherit}.post-summary{margin-top: .2rem;text-decoration: none;font-style: italic;color: #999}.posts-square-box{font-size: 90%;padding: .15rem .6rem .2rem;margin-top: 1rem;margin-bottom: 1rem;text-decoration: none;color: #000;border: .08333rem solid #000;border-radius: 0;outline: none;background: #fff;box-shadow: 2px 2px #bbb}.posts-square-box:hover{background: #f6f6f6;box-shadow: 2px 2px #aaa}.post-title{margin-bottom:.1rem}.notes-title-box{text-decoration: none;align-self: center;margin-left:.5rem}.notes-title-text{text-decoration:none;color: inherit}.notes-footer-text{font-size: 80%;font-style: italic;color: #999}.notes-square-box{font-size: 90%;text-decoration: none;color: #000;margin-right: .6em;border: .08333rem solid #000;border-radius: 0;outline: none;background: #fff;padding-right: .6em;box-shadow: 2px 2px #bbb}.notes-number-box{background-color: #CCC;font-family: monospace,monospace;border-right: .08333rem solid #000;color: black;padding: 0.1cm}.notes-square-box:hover{background: #f6f6f6;box-shadow: 2px 2px #aaa}.project-box{font-size:90%;padding-bottom:0px}.project-text-box{display: inline-block;margin-top:.2rem;margin-bottom:.0rem}.project-text{text-decoration:none;color: inherit}.project-tag-box{font-family: monospace,monospace;padding-top: 0.2rem;padding-bottom: 0.2rem;padding-left: 0.4rem;padding-right: 0.4rem;user-select: none;text-align: center;vertical-align: middle;white-space: nowrap;text-decoration: none;color: #000;border: .08333rem solid #000;border-radius: 0;background: #ddd;box-shadow: 2px 2px #bbb;appearance: none;display: inline-block;margin-top:0.4rem;margin-left:0.2rem;margin-right:0rem;font-size: 95%;display: flex;justify-content: center;align-items: center}@media only screen and (max-width: 315px){.project-tag-box{display: none}}.project-footer-text{font-size: 80%;font-style: italic;color: #999}.paginate-button{font-family: monospace,monospace;user-select: none;text-align: center;vertical-align: middle;white-space: nowrap;text-decoration: none;color: #000;border: .08333rem solid #000;border-radius: 0;background: #fff;box-shadow: 2px 2px #bbb;appearance: none;justify-content: center;align-items: center;display: inline-block;padding-top: 0.1rem;padding-bottom: 0.1rem;padding-left: 0.4rem;padding-right: 0.4rem}.box{padding: .15rem .6rem .5rem;margin-top: 1rem;margin-bottom: 1rem;text-decoration: none;color: #000;border: .08333rem solid #000;border-radius: 0;outline: none;background: #fff;box-shadow: 2px 2px #bbb}.black{color: #000;fill: #000}.white{color: #fff;fill: #fff}.bg-white{background-color: #fff}.bg-black{background-color: #000}.w100{width: 100%}.w95{width: 95%}.content :not(pre):not(.notes-tree-heading)>code{background: #f2f2f2;border-radius: .2em;padding: .05em .25em}.content pre{margin: .6rem 0;padding: .4rem 0;border: .08333rem solid #000;background: #f2f2f2;overflow-x: auto;font-size: 85%;line-height: 1.5}.content pre code{display: block;width: max-content;min-width: 100%;font: inherit}.content pre .code-line{white-space: pre}.content pre .line-number{display: inline-block;min-width: 3ch;margin-right: 1ch;padding: 0 .5ch;text-align: right;color: #7f7f7f;user-select: none}.typst-grid{display: grid;min-width: 0;max-width: 100%;overflow-x: auto}.typst-grid-cell{min-width: 0;padding: var(--grid-inset,0)}.typst-square{box-sizing: border-box;width: 100%;aspect-ratio: 1;padding: 5pt;overflow-wrap: anywhere}.typst-align-center{text-align: center}.typst-align-right{text-align: right}.typst-align-end{text-align: end}.typst-align-left{text-align: left}.typst-align-start{text-align: start}.typst-align-center>:is(svg,img,figure,pre){margin-inline: auto}.typst-align-right>:is(svg,img,figure,pre){margin-left: auto;margin-right: 0}.typst-align-left>:is(svg,img,figure,pre),.typst-align-start>:is(svg,img,figure,pre){margin-left: 0;margin-right: auto}.content figure{text-align: center}.content figure>:is(svg,img,table,pre){margin-inline: auto}.content figure>p{margin: 0;text-align: inherit}.typst-align-left>figure{text-align: left}.typst-align-start>figure{text-align: start}.typst-align-right>figure{text-align: right}.typst-align-end>figure{text-align: end}.typst-align-center>figure>:is(svg,img){margin-inline: auto}.typst-align-right>figure>:is(svg,img),.typst-align-end>figure>:is(svg,img){margin-left: auto;margin-right: 0}.typst-align-left>figure>:is(svg,img),.typst-align-start>figure>:is(svg,img){margin-left: 0;margin-right: auto}.content figure>figcaption{margin-top: .65em}.content figure>figcaption:first-child{margin-top: 0;margin-bottom: .65em}.typst-align-center>svg,.typst-align-right>svg,.typst-align-end>svg,.typst-align-left>svg,.typst-align-start>svg{display: inline-block !important;vertical-align: middle}.content hr.typst-line{border: 0;border-top: 1.333px solid #000;margin: .6rem 0}.content img.post-cover{display: block;width: 100%;aspect-ratio: 3 / 2;object-fit: cover;border: .08333rem solid #000;margin: 0 0 1.2rem}@font-face{font-family: "tabler-icons";src: url("https://cdnjs.cloudflare.com/ajax/libs/tabler-icons/3.44.0/fonts/tabler-icons.woff2") format("woff2");font-style: normal;font-weight: normal;font-display: block}.tabler-icon{display: inline-block;font-family: "tabler-icons" !important;font-style: normal;font-weight: normal;line-height: 1}.page-home p{display: block}.home-profile{float: right;width: 16rem;margin: .4rem 0 .65rem 1.4rem}.page-home .home-profile img{display: block;float: none;width: 100%;height: auto;margin: 0}.home-socials{display: flex;justify-content: center;gap: .35rem;margin-top: .35rem}.home-socials a{display: inline-flex;align-items: center;justify-content: center;width: 2.2rem;height: 2.2rem;color: #222;font-size: 1.35rem;text-decoration: none}.home-socials a:hover{color: #a22323;background: #f5f5f5}.home-socials a:focus-visible{outline: 2px solid #111;outline-offset: 2px}.page-home>h2{clear: both;margin: 1.45rem 0 .55rem;font-size: 1.22rem}.home-list{border-top: 1px solid #ddd}.home-list.is-publications{display: grid;gap: .35rem;border: 0}.home-list.is-compact{gap: .2rem}.home-publication{display: grid;grid-template-columns: 1.9rem minmax(0,1fr);gap: .55rem;padding: .65rem .85rem}.home-list.is-compact .home-publication{padding-block: .45rem}.home-publication-icon{align-self: start;padding-top: .08rem;color: #666;font-size: 1.4rem}.home-publication-details{min-width: 0}.home-publication-title{margin: 0 0 .2rem;font-size: 1.08rem;line-height: 1.35}.home-publication-status.is-upcoming{color: #a22323;font-style: normal;font-weight: 600}.home-publication-status.is-new{display: inline-flex;align-items: center;justify-content: center;box-sizing: border-box;margin-left: .5rem;padding: .2rem .42rem;border: 1px solid #b9d1b9;background: #e9f3e9;font-family: monospace,monospace;font-size: .7rem;font-weight: normal;line-height: 1;vertical-align: middle;white-space: nowrap}.home-publication-title a{color: #111;text-decoration: none}.home-publication-title a:hover{text-decoration: underline}.home-publication-authors,.home-publication-conference{color: #333;font-size: .88rem}.home-publication-period,.home-publication-venue{margin-top: .15rem;color: #555;font-size: .85rem;font-style: italic}.home-publication-links{display: flex;flex-wrap: wrap;gap: .25rem;margin-top: .35rem}.home-publication-links:empty{display: none}.home-publication-links a{display: inline-block;padding: .07rem .28rem;border: 1px solid #888;background: #fafafa;color: #111;font-size: .75rem;line-height: 1.2;text-decoration: none}.home-publication-links a:hover{background: #eee;text-decoration: underline}.home-publication a:focus-visible{outline: 2px solid #111;outline-offset: 2px}@media only screen and (max-width: 600px){.home-profile{float: none;width: min(100%,13rem);margin: .5rem auto 1rem}.page-home>h2{margin-top: 1.2rem}.home-publication-title{font-size: 1rem}}.post-list{display: grid;grid-template-columns: repeat(2,minmax(0,1fr));gap: 1rem}.post-list + .site-styled-text{margin: .75rem 0 0}.content:has(>.post-list) + footer .footer-bar{margin-top: .65rem}.post-card-link{display: block;min-width: 0;color: inherit;text-decoration: none}.post-card-link:focus-visible{outline: 2px solid #000;outline-offset: 4px}.post-card-link.featured{grid-column: 1 / -1}.post-list .posts-square-box{display: flex;flex-direction: column;height: 100%;overflow: hidden;margin: 0;padding: 0}.post-list .posts-square-box img.post-card-cover{box-sizing: border-box;width: 100%;aspect-ratio: 16 / 8;object-fit: cover;border: 0;border-bottom: .08333rem solid #000;margin: 0}.post-card-copy{display: flex;flex: 1;flex-direction: column;gap: .45rem;padding: .85rem 1rem .55rem}.post-card-tags{display: flex;flex-wrap: wrap;gap: .35rem;margin: auto 0 .1rem}.post-card-tag{border: .08333rem solid #777;background: #f6f6f6;box-shadow: 1px 1px #ccc;padding: .08rem .38rem;color: #333;font-family: monospace;font-size: .72rem;line-height: 1.2}.post-list .post-title-box{margin: 0;font-size: 1.16rem;line-height: 1.3}.post-list .post-summary{display: -webkit-box;overflow: hidden;-webkit-box-orient: vertical;-webkit-line-clamp: 3;margin: 0;color: #555;font-size: .9rem;font-style: normal;line-height: 1.45;text-align: left}.post-card-footer{display: flex;align-items: center;justify-content: space-between;gap: .5rem;margin-top: 0;padding-top: .55rem;border-top: .08333rem solid #ddd}.post-card-footer time{color: #666;font-family: monospace;font-size: .75rem}.post-card-open{font-size: .8rem;font-weight: bold}.post-card-link.featured .posts-square-box{display: grid;grid-template-columns: 43% minmax(0,1fr);min-height: 250px}.post-list .post-card-link.featured .posts-square-box img.post-card-cover{height: 100%;aspect-ratio: auto;border-right: .08333rem solid #000;border-bottom: 0}.post-card-link.featured .post-card-copy{padding: 1.2rem 1.4rem .55rem}.post-card-link.featured .post-title-box{font-size: 1.45rem}@media (max-width: 600px){.post-list{grid-template-columns: 1fr}.post-card-link.featured{grid-column: auto}.post-card-link.featured .posts-square-box{display: flex}.post-list .post-card-link.featured .posts-square-box img.post-card-cover{height: auto;aspect-ratio: 16 / 8;border-right: 0;border-bottom: .08333rem solid #000}}.post-article .post-cover{margin-bottom: 0}.post-article>header.post-header{margin: 0 0 2.1rem;padding: .8rem .4rem 2.1rem;border-bottom: .08333rem solid #ccc;text-align: center}.post-header .post-title{max-width: 28ch;margin: 0 auto .65rem;font-size: clamp(1.8rem,2.7vw,2.3rem);line-height: 1.2;letter-spacing: -.025em}.post-date{display: block;margin-bottom: .85rem;color: #666;font-family: monospace;font-size: .85rem}.post-author{color: #333;font-size: .95rem}.post-body p{margin: 0 0 1.1rem;line-height: 1.7;text-align: left}.post-body h2,.post-body h3,.post-body h4{margin-top: 1.7rem;margin-bottom: .6rem;line-height: 1.3}.post-body pre{margin: 1.3rem 0}.post-body svg{max-width: 100%;height: auto !important}@media (max-width: 600px){.post-article>header.post-header{margin-bottom: 1.5rem;padding: .65rem .2rem 1.55rem}.post-header .post-title{font-size: 1.65rem}}.notes-tree-heading code{display: block}.notes-list{margin-top: .2rem}.notes-row{display: flex;align-items: center;gap: .4rem;min-width: 0;margin: .17rem 0}.notes-branch{flex: none;font-family: monospace,monospace;white-space: pre;margin-right: .4rem}.notes-row .notes-square-box{display: inline-flex;align-items: center;min-width: 0;max-width: 100%;margin-right: 0}.notes-row .notes-title-box{min-width: 0;padding-right: .1rem;overflow-wrap: anywhere}.notes-page .notes-footer-text{margin-top: 1.1rem}.note-back{display: inline-block;margin-bottom: .7rem}.note-article>h2{margin-bottom: .8rem}.note-body>:first-child{margin-top: 0}.note-body{overflow-wrap: anywhere}.note-body pre{overflow-x: auto}@media (max-width: 600px){.notes-branch{margin-right: 0}}.projects-page{font-family: 'Dejavu Sans',sans-serif}.projects-page>h1{position: absolute;width: 1px;height: 1px;padding: 0;margin: -1px;overflow: hidden;clip: rect(0,0,0,0);white-space: nowrap;border: 0}.projects-list{display: grid;gap: .65rem}.project-time-card{display: grid;align-items: center;justify-items: start;position: relative;min-height: 2.55rem;padding-left: .8rem}.project-time-card::before{content: "";position: absolute;top: -.65rem;bottom: -.65rem;left: calc(.8rem + 1.275rem);width: 1px;background: #aaa}.project-time-card time{position: relative;display: grid;place-items: center;width: 2.55rem;height: 2.55rem;box-sizing: border-box;border: 1px solid #111;border-radius: 50%;background: #fff;box-shadow: 2px 2px #ccc;font-family: monospace,monospace;font-size: .72rem;font-weight: 700}.project-entry{overflow: hidden;border: .08333rem solid #111;background: #fff;box-shadow: 3px 3px #ccc}.project-entry.is-highlighted{background: #fffdf0;box-shadow: 3px 3px #d8d0ac}.project-entry-header{display: flex;align-items: center;justify-content: space-between;gap: .4rem 1rem;min-height: 2.3rem;box-sizing: border-box;margin: 0;padding: .35rem .8rem .25rem;border-bottom: 1px solid #ddd;background: #f8f8f8}.project-entry.is-highlighted .project-entry-header{border-bottom-color: #e6dba9;background: #fff5d1}.project-entry-star{flex: none;color: #866300;font-size: 1.25rem;line-height: 1}.project-entry-title{margin: 0;min-width: 0;font-family: inherit;font-size: 1.02rem;font-weight: 700;line-height: 1.3}.project-entry-body{padding: .45rem .8rem;font-size: .84rem;line-height: 1.45}.project-entry-body>*{margin: 0}.project-entry-body>:first-child{margin-top: 0}.project-entry-body>* + *{margin-top: .3rem}.project-entry-body p{text-align: left}.project-entry-body ul{padding-left: 1.3rem}.project-entry-links{display: flex;flex-wrap: wrap;gap: .3rem;padding: 0 .8rem .48rem}.project-entry-links a{display: inline-block;padding: .11rem .35rem;font-size: .82rem;border: 1px solid #888;background: #fafafa;color: #111;line-height: 1.3;text-decoration: none;overflow-wrap: anywhere}.project-entry-links a:hover{background: #eee;text-decoration: underline}.project-entry-links a:focus-visible{outline: 2px solid #111;outline-offset: 2px}.project-entry.is-highlighted .project-entry-links a{background: #fffdf0}.project-entry.is-highlighted .project-entry-links a:hover{background: #fff2bd}@media (max-width: 600px){.project-time-card{padding-left: .7rem}.project-time-card::before{left: calc(.7rem + 1.275rem)}.project-entry-header{padding: .35rem .7rem .25rem}.project-entry-title{font-size: .98rem}.project-entry-body{padding: .45rem .7rem}.project-entry-links{padding: 0 .7rem .48rem}}.page-bookmarks h2{padding-left: 4rem}.page-bookmarks ul{margin-top: .1rem}.page-bookmarks li{margin-left: 4.6rem;list-style-type: none}@media (max-width: 600px){.page-bookmarks h2{padding-left: .8rem}.page-bookmarks ul{padding-left: 1.4rem}.page-bookmarks li{margin-left: 0;overflow-wrap: anywhere}.content p{text-align: left}footer{font-size: .75rem}}