body{font-size:12.8px;line-height:1.34;font-family:Georgia,times new roman,Times,serif}.page-header nav{font-size:.98rem!important;font-family:-apple-system,BlinkMacSystemFont,segoe ui,Helvetica,Arial,sans-serif}.page-body section .max-w-prose.mx-auto{max-width:980px!important;width:100%}.page-body section .prose.max-w-prose{max-width:980px!important;width:100%;font-size:.98rem!important;line-height:1.42!important;font-family:Georgia,times new roman,Times,serif!important}.page-body section .prose.max-w-prose p,.page-body section .prose.max-w-prose li{font-size:.98rem!important;line-height:1.42!important;font-family:Georgia,times new roman,Times,serif!important}.page-body section .prose.max-w-prose p{margin-top:.05rem!important;margin-bottom:.1rem!important}.page-body section .prose.max-w-prose ul,.page-body section .prose.max-w-prose ol{margin-top:.05rem!important;margin-bottom:.14rem!important;padding-left:.9rem!important}.page-body section .prose.max-w-prose li+li{margin-top:0!important}.page-body .pub-badge{display:inline-block;margin-left:.28rem;margin-right:.18rem;padding:.03rem .34rem;border-radius:999px;font-size:.68rem!important;line-height:1.1!important;font-family:-apple-system,BlinkMacSystemFont,segoe ui,Helvetica,Arial,sans-serif!important;vertical-align:baseline;text-transform:uppercase;letter-spacing:.03em}.page-body .pub-badge-preprint{background:rgba(120,120,120,.12);color:#5a5a5a}.page-body .pub-badge-conference{background:rgba(59,93,132,.12);color:#35597d}.page-body .pub-badge-workshop{background:rgba(97,111,79,.12);color:#536344}.page-body .pub-links{font-size:.74rem!important;line-height:1.2!important;font-family:-apple-system,BlinkMacSystemFont,segoe ui,Helvetica,Arial,sans-serif!important;white-space:nowrap}.page-body .pub-links a{display:inline-block;margin-left:.14rem;padding:.02rem .26rem;border:1px solid rgba(120,120,120,.2);border-radius:.34rem;text-decoration:none;color:inherit}main h1,main h2,main h3{line-height:1.25}main h1{font-size:1.55rem}main h2{font-size:1.08rem;margin-bottom:.28rem}main h3{font-size:.9rem}main p,main li,main .prose p,main .prose li,main .article-style p,main .article-style li{font-size:.74rem;line-height:1.16}main p,main .prose p,main .article-style p{margin-top:.08rem;margin-bottom:.08rem}main ul,main ol,main .prose ul,main .prose ol,main .article-style ul,main .article-style ol{margin-top:.08rem;margin-bottom:.14rem;padding-left:.8rem}main li+li,main .prose li+li,main .article-style li+li{margin-top:0}header nav,footer{font-size:.9rem}#home .network-icon,#home .network-icons,#home .avatar,#home .avatar-text{font-size:inherit}#profile .text-3xl.font-bold{font-size:2rem!important;line-height:1.18!important;margin-bottom:.35rem!important;font-family:-apple-system,BlinkMacSystemFont,segoe ui,Helvetica,Arial,sans-serif}#profile h3.font-semibold{font-size:1.08rem!important;line-height:1.22!important;margin-bottom:.18rem!important;font-family:-apple-system,BlinkMacSystemFont,segoe ui,Helvetica,Arial,sans-serif}#profile .mb-2,#profile .mb-2 a,#profile .mb-2 div{font-size:1rem!important;line-height:1.2!important;font-family:-apple-system,BlinkMacSystemFont,segoe ui,Helvetica,Arial,sans-serif}#profile .resume-biography,#profile.resume-biography{font-size:.94rem!important}#profile p{font-size:.9rem!important;line-height:1.42!important}section{padding-top:.9rem!important;padding-bottom:.9rem!important;border-top:1px solid rgba(120,120,120,.16)}section:first-of-type,section#home{border-top:none}section h2,section .section-heading h1,section .section-heading h2{margin-bottom:.22rem!important}section .section-heading,section .article-style,section .prose{margin-bottom:.06rem}#publications p{margin-top:.02rem;margin-bottom:.06rem}#publications p+p{margin-top:.01rem}#publications p:has(+p strong a),#publications p:has(+p b a){margin-bottom:.18rem}#publications strong a,#publications b a{text-decoration:none}.page-body section .mb-6.text-3xl.font-bold{font-size:1.05rem!important;margin-bottom:.22rem!important;line-height:1.15!important;font-family:-apple-system,BlinkMacSystemFont,segoe ui,Helvetica,Arial,sans-serif}