@charset "UTF-8";:root{--blue:#007bff;--indigo:#6610f2;--purple:#6f42c1;--pink:#e83e8c;--red:#dc3545;--orange:#fd7e14;--yellow:#ffc107;--green:#28a745;--teal:#20c997;--cyan:#17a2b8;--white:#fff;--gray:#6c757d;--gray-dark:#343a40;--primary:#3E6987;--secondary:#6c757d;--success:#28a745;--info:#17a2b8;--warning:#ffc107;--danger:#dc3545;--light:#F4F4F4;--dark:#343a40;--inter:"Inter",-apple-system,BlinkMacSystemFont,"Segoe UI",system-ui,sans-serif}html,body{font-family:var(--inter);font-optical-sizing:auto;font-variation-settings:"slnt" 0;font-size:20px;line-height:1.55;color:#1a1a1a;background:#fff;margin:0;-webkit-font-smoothing:antialiased}p{margin:0.9rem 0 1.2rem 0}h1,h2,h3,h4,h5{font-family:var(--inter);font-weight:700;letter-spacing:-0.01em;margin:3rem 0 1.2rem;line-height:1.2}h1{font-size:2.4rem;font-weight:750}h2{font-size:1.9rem;font-weight:720}h3{font-size:1.4rem;font-weight:650}blockquote{border-left:4px solid #ddd;padding-left:1rem;color:#555;margin:1.8rem 1rem;font-style:italic}ul,ol{margin-left:1.3rem}li{margin-bottom:0.55rem}.masthead-title{font-family:var(--inter);font-size:2rem;font-weight:750;letter-spacing:-0.01em}.sidebar-nav-item{font-family:var(--inter);font-weight:600;text-transform:uppercase;letter-spacing:0.06em;font-size:0.85rem}.container.content,.page{max-width:740px;margin:0 auto;padding:1.2rem}footer{font-size:0.9rem;color:#777;margin-top:4rem}.yeartable{border-collapse:collapse;width:100%;margin-left:20px}.yeartable .bibitemanchor{text-align:right;vertical-align:top;padding-right:10px}.yeartable .bibitemtext{vertical-align:top}.title a{font-weight:650;text-decoration:none;color:inherit}.venueline .journal{font-style:italic}.button{display:inline-block;background:#f3f3f3;border:1px solid #ccc;padding:6px 10px;border-radius:6px;cursor:pointer;font-weight:500}.course{margin-bottom:20px;padding:20px;border:1px solid #e0e0e0;border-radius:6px;background:#fff;max-width:600px}.course h2{margin-top:0}.course-link{background:#f4f4f4;color:#333;padding:10px 15px;border:1px solid #ddd;border-radius:5px;display:inline-block;font-weight:500}.course-link:hover{background:#e9e9e9}.card.card-body{white-space:pre;font-family:Menlo,monospace;overflow-x:auto}.current-research-content{display:flex;flex-wrap:wrap;gap:20px;justify-content:center;align-items:flex-start}.card{background:#fff;border:1px solid #ddd;box-shadow:0 2px 5px rgba(0,0,0,.08);border-radius:10px;padding:20px;width:300px}.card h3{margin-top:0;font-weight:650}@media (prefers-color-scheme:dark){body{background:#121212;color:#e5e5e5}a{color:#8ab4f8}.course,.card{background:#1d1d1d;border-color:#333}}.year-container{position:relative;padding-left:4rem;margin-bottom:1.4rem}h2.year-label{position:absolute;left:0;top:0.2rem;width:4rem;margin:0;font:500 1rem/1.4 var(--inter);color:#999;letter-spacing:-0.01em}.publist{margin:0;padding-left:0;list-style-position:outside}.publist li{margin-bottom:0.45rem}.publist a{color:#555;text-decoration:none}.publist a:hover{color:#111;text-decoration:underline}.icon-links{margin-top:1em;margin-bottom:1.5em}.icon-links div{display:flex;align-items:center;gap:0.5em;margin-bottom:0.25em}.icon-links .icon{width:1.5em;text-align:center;color:#333}.katex{font-size:1em;font-family:"STIX Two Math","Cambria Math","Latin Modern Math",serif;line-height:1.4}.katex-display{margin:1em 0 1.2em;text-align:center}.katex .base{vertical-align:middle}.katex .mord,.katex .mop,.katex .mbin,.katex .mrel,.katex .mopen,.katex .mclose,.katex .mpunct,.katex .minner{padding:0 0.04em}.katex .frac-line,.katex .sqrt-line{border-color:rgba(0,0,0,0.75)}@media (max-width:700px){.masthead-title{font-size:1.6rem;line-height:1.1}.masthead-title small{display:block;font-size:0.9rem;margin-top:0.15rem}.year-container{padding-left:0;margin-bottom:1.6rem}h2.year-label{position:static;width:auto;margin:0 0 0.2rem 0;font-weight:600;color:#b0b0b0;letter-spacing:0.02em}.publist{padding-left:1.1rem;margin-left:0}.content ul,.content ol{padding-left:1.1rem!important;margin-left:0!important}.content ul ul,.content ol ol,.content ul ol,.content ol ul{padding-left:0.8rem!important}.content h1:first-of-type{margin-top:1.2rem!important}}.exam-list{line-height:1.8}.exam-list code{font-family:ui-monospace,Menlo,Monaco,Consolas,"Liberation Mono",monospace}