:root{--bg:#f8f5ee;--bg2:#efe9dc;--ink:#1d1b17;--muted:#6e685c;--rule:#d8d0bf;--accent:#9b3a2c;--accent2:#2f5f63;--sans:"Source Sans 3","Noto Sans KR",ui-sans-serif,system-ui,-apple-system,"Segoe UI",Roboto,"Malgun Gothic","Apple SD Gothic Neo",Helvetica,Arial,sans-serif;--mono:ui-monospace,SFMono-Regular,Menlo,Consolas,"Liberation Mono",monospace}@media(prefers-color-scheme:dark){:root{--bg:#161511;--bg2:#1f1d17;--ink:#ebe6d9;--muted:#a19a8a;--rule:#343027;--accent:#e2826f;--accent2:#84b9bf}}*{box-sizing:border-box}html{background:var(--bg);color-scheme:light dark}body{margin:0;padding:1.5rem 1.25rem 4rem;background:var(--bg);color:var(--ink);font:17px/1.5 var(--sans);-webkit-font-smoothing:antialiased}a{color:var(--accent);text-decoration:none;border-bottom:1px solid transparent}a:hover{border-bottom-color:initial}.wrap{max-width:40rem;margin:0 auto}.site-header{display:flex;align-items:baseline;justify-content:space-between;gap:1rem;padding-bottom:1rem;border-bottom:1px solid var(--rule)}.site-header h1{font:600 1.7rem/1.1 var(--sans);letter-spacing:-.02em;margin:0}.site-header h1 a{color:inherit}.site-header nav{font-size:.85rem;display:flex;gap:1.25rem}.site-header nav a{color:var(--muted)}.site-header nav a.on,.site-header nav a:hover{color:var(--ink);border-bottom-color:var(--ink)}.intro{display:flex;gap:2rem;align-items:flex-start;padding:1.75rem 0 1.25rem}.intro .content p{margin:.5rem 0}.intro .content>p:first-child{font-size:1.18rem;font-weight:500;line-height:1.4;margin:0 0 .7rem}.intro .content>p:last-child{font-size:.92rem;color:var(--muted)}.intro .content>p:last-child strong{font-weight:600}.intro img{width:104px;height:104px;object-fit:cover;border-radius:4px;flex:none}.links{font-size:.85rem;color:var(--muted);margin-top:.9rem}.links a{color:var(--ink);border-bottom:1px solid var(--rule)}.links a:hover{border-bottom-color:var(--ink)}.links span{margin:0 .45rem;color:var(--rule)}.block{border-top:1px solid var(--rule);padding:1.3rem 0 .4rem}h2{font:600 1.25rem/1.2 var(--sans);letter-spacing:-.01em;margin:0 0 .8rem}h2 small{font-size:.8rem;font-weight:400;letter-spacing:0;color:var(--muted);margin-left:.75rem}h2 small a{color:var(--muted)}.grp{font:600 .72rem/1 var(--sans);letter-spacing:.12em;text-transform:uppercase;color:var(--muted);margin:.2rem 0 .6rem}.grp+dl{margin-bottom:1.1rem}.news,.cv,.plist,.posts{display:grid;grid-template-columns:8rem 1fr;gap:.45rem 1rem;margin:0}.news{grid-template-columns:5.5rem 1fr;gap:.2rem 1rem}.plist{gap:.7rem 1rem}.posts{grid-template-columns:7rem 1fr;gap:.9rem 1rem}dt{font:.76rem/1.75 var(--sans);letter-spacing:.06em;text-transform:uppercase;color:var(--muted);white-space:nowrap}.plist dt{font-weight:600;color:var(--accent2);line-height:1.6;padding-top:.2rem;white-space:normal}.plist dt small{display:block;font-weight:400;letter-spacing:.02em;text-transform:none;color:var(--muted)}dd{margin:0}dd p{margin:0}.cv dd b{font-weight:600}.cv .sub,.posts .sum{display:block;font-size:.92rem;line-height:1.4;color:var(--muted)}.plist .t,.posts .t{font:600 1.02rem/1.3 var(--sans);color:var(--ink);display:block}.posts .t{font-size:1.05rem}.plist .sub{display:block;font-size:.93rem;line-height:1.4;color:var(--muted);margin-top:.15rem}.plist .out{font-size:.8rem;white-space:nowrap;margin-left:.5rem}.plist .out a{margin-right:.6rem}.posts .tags{display:block;font-size:.78rem;line-height:1.6;color:var(--muted);margin-top:.1rem}.empty{color:var(--muted);margin:0 0 .5rem}.pubintro{color:var(--muted);margin:1.1rem 0 .8rem;font-size:.95rem}.year{display:grid;grid-template-columns:4.5rem 1fr;gap:1rem;border-top:1px solid var(--rule);padding:1rem 0}.year>h3{font:600 1.1rem var(--sans);margin:.15rem 0 0;color:var(--muted)}.pub{padding:.5rem 0;border-top:1px dotted var(--rule)}.pub:first-of-type{border-top:0;padding-top:0}.pub h3{font:600 1rem/1.3 var(--sans);margin:0 0 .1rem}.pub h3 a{color:var(--ink)}.pub .authors{font-size:.9rem;line-height:1.4;color:var(--muted)}.authors b{color:var(--ink);font-weight:600}.more{font:.78rem var(--sans);color:var(--accent);background:0 0;border:0;padding:0;cursor:pointer;border-bottom:1px dotted var(--accent)}.pub .meta{font-size:.8rem;line-height:1.6;color:var(--muted);margin-top:.1rem}.pub .meta .venue{font-weight:600;color:var(--accent2)}.pub .meta a{color:var(--accent)}.cvhead{display:flex;justify-content:space-between;align-items:baseline;gap:1rem}.cvhead .pdf{font-weight:600;font-size:.85rem;white-space:nowrap}.cvpubs{list-style:none;counter-reset:p;margin:0;padding:0}.cvpubs li{display:grid;grid-template-columns:2rem 1fr;gap:0 .4rem;padding:.5rem 0;border-top:1px dotted var(--rule)}.cvpubs li:first-child{border-top:0;padding-top:0}.cvpubs li::before{counter-increment:p;content:"[" counter(p)"]";font-size:.8rem;line-height:1.5;color:var(--muted);padding-top:.1rem}.cvpubs .pub{border:0;padding:0}.talks{margin:0;padding:0 0 0 1.1rem}.talks li{padding:.15rem 0}.talks .out{font-size:.8rem;margin-left:.4rem}.talks .out a{margin-right:.5rem}.line{margin:0 0 .3rem}.line b{font-weight:600}.post .back{font-size:.85rem;color:var(--muted)}.post h1{font:600 2rem/1.15 var(--sans);letter-spacing:-.02em;margin:.9rem 0 .5rem}.post .pmeta{font-size:.85rem;color:var(--muted);margin-bottom:1.5rem}.post .pmeta a{color:var(--muted);border-bottom:1px solid var(--rule)}.post .lede{font-size:1.12rem;line-height:1.45;color:var(--muted);margin:0 0 1.25rem}.post .body h2{font:600 1.3rem/1.25 var(--sans);margin:1.8rem 0 .6rem}.post .body h3{font:600 1.1rem/1.3 var(--sans);margin:1.4rem 0 .5rem}.post .body p,.post .body ul,.post .body ol{margin:0 0 .9rem;line-height:1.6}.post .body img{max-width:100%;height:auto}.post .body figure{margin:1.3rem 0}.post .body figcaption{font-size:.85rem;color:var(--muted);margin-top:.45rem}.post .body blockquote{background:var(--bg2);border-left:3px solid var(--accent2);border-radius:0 4px 4px 0;padding:.9rem 1.1rem;font-size:.95rem;margin:1.4rem 0}.post .body blockquote p{margin:0}.post .body table{border-collapse:collapse;font-size:.92rem;margin:1rem 0;display:block;overflow-x:auto}.post .body th,.post .body td{border-bottom:1px solid var(--rule);padding:.35rem .6rem;text-align:left}.post .body hr{border:0;border-top:1px solid var(--rule);margin:1.5rem 0}.katex-display{margin:1.2rem 0;overflow-x:auto;overflow-y:hidden}code{font:.88em var(--mono);background:var(--bg2);padding:.1em .35em;border-radius:3px}.hl{position:relative;margin:1.2rem 0}.hl pre{margin:0;padding:1rem 1.1rem;overflow-x:auto;font:.84rem/1.55 var(--mono);border-left:3px solid var(--accent2)}.hl pre.chroma{background:var(--bg2)}.hl code{background:0 0;padding:0;font-size:inherit}.hl[data-lang]::before{content:attr(data-lang);position:absolute;top:.45rem;right:.7rem;font:.66rem var(--sans);letter-spacing:.12em;text-transform:uppercase;color:var(--muted)}.footnotes{font-size:.85rem;color:var(--muted);border-top:1px solid var(--rule);padding-top:1rem;margin-top:2rem}.footnotes hr{display:none}.footnotes p{margin:0 0 .4rem}.pager{display:flex;justify-content:space-between;gap:1rem;margin-top:2.5rem;font-size:.9rem}.pager span{display:block;font-size:.7rem;letter-spacing:.1em;text-transform:uppercase;color:var(--muted)}.pager .next{text-align:right}.site-footer{border-top:1px solid var(--rule);margin-top:2rem;padding-top:.9rem;font-size:.8rem;color:var(--muted);display:flex;justify-content:space-between}@media(max-width:600px){.site-header{flex-direction:column;gap:.6rem}.intro{flex-direction:column-reverse}.intro img{width:80px;height:80px}.news,.cv,.plist,.posts{grid-template-columns:1fr;gap:.1rem 0}dt{line-height:1.2;margin-top:.5rem}.plist dd,.posts dd{margin-bottom:.9rem}.year{grid-template-columns:1fr;gap:.2rem}}.bg{background-color:#f7f7f7}.chroma{background-color:#f7f7f7;-webkit-text-size-adjust:none}.chroma .err{color:#f6f8fa;background-color:#82071e}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#dedede}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .line{display:flex}.chroma .k{color:#cf222e}.chroma .kc{color:#cf222e}.chroma .kd{color:#cf222e}.chroma .kn{color:#cf222e}.chroma .kp{color:#cf222e}.chroma .kr{color:#cf222e}.chroma .kt{color:#cf222e}.chroma .na{color:#1f2328}.chroma .nc{color:#1f2328}.chroma .no{color:#0550ae}.chroma .nd{color:#0550ae}.chroma .ni{color:#6639ba}.chroma .nl{color:#900;font-weight:700}.chroma .nn{color:#24292e}.chroma .nx{color:#1f2328}.chroma .nt{color:#0550ae}.chroma .nb{color:#6639ba}.chroma .bp{color:#6a737d}.chroma .nv{color:#953800}.chroma .vc{color:#953800}.chroma .vg{color:#953800}.chroma .vi{color:#953800}.chroma .vm{color:#953800}.chroma .nf{color:#6639ba}.chroma .fm{color:#6639ba}.chroma .s{color:#0a3069}.chroma .sa{color:#0a3069}.chroma .sb{color:#0a3069}.chroma .sc{color:#0a3069}.chroma .dl{color:#0a3069}.chroma .sd{color:#0a3069}.chroma .s2{color:#0a3069}.chroma .se{color:#0a3069}.chroma .sh{color:#0a3069}.chroma .si{color:#0a3069}.chroma .sx{color:#0a3069}.chroma .sr{color:#0a3069}.chroma .s1{color:#0a3069}.chroma .ss{color:#032f62}.chroma .m{color:#0550ae}.chroma .mb{color:#0550ae}.chroma .mf{color:#0550ae}.chroma .mh{color:#0550ae}.chroma .mi{color:#0550ae}.chroma .il{color:#0550ae}.chroma .mo{color:#0550ae}.chroma .o{color:#0550ae}.chroma .ow{color:#0550ae}.chroma .or{color:#0550ae}.chroma .p{color:#1f2328}.chroma .c{color:#57606a}.chroma .ch{color:#57606a}.chroma .cm{color:#57606a}.chroma .c1{color:#57606a}.chroma .cs{color:#57606a}.chroma .cp{color:#57606a}.chroma .cpf{color:#57606a}.chroma .gd{color:#82071e;background-color:#ffebe9}.chroma .ge{color:#1f2328}.chroma .gi{color:#116329;background-color:#dafbe1}.chroma .go{color:#1f2328}.chroma .gl{text-decoration:underline}.chroma .w{color:#fff}@media(prefers-color-scheme:dark){.bg{color:#e6edf3;background-color:#0d1117}.chroma{color:#e6edf3;background-color:#0d1117;-webkit-text-size-adjust:none}.chroma .err{color:#f85149}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#6e7681}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#737679}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#6e7681}.chroma .line{display:flex}.chroma .k{color:#ff7b72}.chroma .kc{color:#79c0ff}.chroma .kd{color:#ff7b72}.chroma .kn{color:#ff7b72}.chroma .kp{color:#79c0ff}.chroma .kr{color:#ff7b72}.chroma .kt{color:#ff7b72}.chroma .nc{color:#f0883e;font-weight:700}.chroma .no{color:#79c0ff;font-weight:700}.chroma .nd{color:#d2a8ff;font-weight:700}.chroma .ni{color:#ffa657}.chroma .ne{color:#f0883e;font-weight:700}.chroma .nl{color:#79c0ff;font-weight:700}.chroma .nn{color:#ff7b72}.chroma .nx{color:#e6edf3}.chroma .py{color:#79c0ff}.chroma .nt{color:#7ee787}.chroma .nv{color:#79c0ff}.chroma .vc{color:#79c0ff}.chroma .vg{color:#79c0ff}.chroma .vi{color:#79c0ff}.chroma .vm{color:#79c0ff}.chroma .nf{color:#d2a8ff;font-weight:700}.chroma .fm{color:#d2a8ff;font-weight:700}.chroma .l{color:#a5d6ff}.chroma .ld{color:#79c0ff}.chroma .s{color:#a5d6ff}.chroma .sa{color:#79c0ff}.chroma .sb{color:#a5d6ff}.chroma .sc{color:#a5d6ff}.chroma .dl{color:#79c0ff}.chroma .sd{color:#a5d6ff}.chroma .s2{color:#a5d6ff}.chroma .se{color:#79c0ff}.chroma .sh{color:#79c0ff}.chroma .si{color:#a5d6ff}.chroma .sx{color:#a5d6ff}.chroma .sr{color:#79c0ff}.chroma .s1{color:#a5d6ff}.chroma .ss{color:#a5d6ff}.chroma .m{color:#a5d6ff}.chroma .mb{color:#a5d6ff}.chroma .mf{color:#a5d6ff}.chroma .mh{color:#a5d6ff}.chroma .mi{color:#a5d6ff}.chroma .il{color:#a5d6ff}.chroma .mo{color:#a5d6ff}.chroma .o{color:#ff7b72;font-weight:700}.chroma .ow{color:#ff7b72;font-weight:700}.chroma .or{color:#ff7b72;font-weight:700}.chroma .c{color:#8b949e;font-style:italic}.chroma .ch{color:#8b949e;font-style:italic}.chroma .cm{color:#8b949e;font-style:italic}.chroma .c1{color:#8b949e;font-style:italic}.chroma .cs{color:#8b949e;font-weight:700;font-style:italic}.chroma .cp{color:#8b949e;font-weight:700;font-style:italic}.chroma .cpf{color:#8b949e;font-weight:700;font-style:italic}.chroma .gd{color:#ffa198;background-color:#490202}.chroma .ge{font-style:italic}.chroma .gr{color:#ffa198}.chroma .gh{color:#79c0ff;font-weight:700}.chroma .gi{color:#56d364;background-color:#0f5323}.chroma .go{color:#8b949e}.chroma .gp{color:#8b949e}.chroma .gs{font-weight:700}.chroma .gu{color:#79c0ff}.chroma .gt{color:#ff7b72}.chroma .gl{text-decoration:underline}.chroma .w{color:#6e7681}}