/*! normalize.css v3.0.3 | MIT License | github.com/necolas/normalize.css */html{font-family:sans-serif;-ms-text-size-adjust:100%;-webkit-text-size-adjust:100%}body{margin:0}article,aside,details,figcaption,figure,footer,header,hgroup,main,menu,nav,section,summary{display:block}audio,canvas,progress,video{display:inline-block;vertical-align:baseline}audio:not([controls]){display:none;height:0}[hidden],template{display:none}a{background-color:transparent}a:active{outline:0}a:hover{outline:0}abbr[title]{border-bottom:1px dotted}b,strong{font-weight:bold}dfn{font-style:italic}h1{font-size:2em;margin:0.67em 0}mark{background:#ff0;color:#000}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sup{top:-0.5em}sub{bottom:-0.25em}img{border:0}svg:not(:root){overflow:hidden}figure{margin:1em 40px}hr{box-sizing:content-box;height:0}pre{overflow:auto}code,kbd,pre,samp{font-family:monospace, monospace;font-size:1em}button,input,optgroup,select,textarea{color:inherit;font:inherit;margin:0}button{overflow:visible}button,select{text-transform:none}button,html input[type="button"],input[type="reset"],input[type="submit"]{-webkit-appearance:button;cursor:pointer}button[disabled],html input[disabled]{cursor:default}button::-moz-focus-inner,input::-moz-focus-inner{border:0;padding:0}input{line-height:normal}input[type="checkbox"],input[type="radio"]{box-sizing:border-box;padding:0}input[type="number"]::-webkit-inner-spin-button,input[type="number"]::-webkit-outer-spin-button{height:auto}input[type="search"]{-webkit-appearance:textfield;box-sizing:content-box}input[type="search"]::-webkit-search-cancel-button,input[type="search"]::-webkit-search-decoration{-webkit-appearance:none}fieldset{border:1px solid #c0c0c0;margin:0 2px;padding:0.35em 0.625em 0.75em}legend{border:0;padding:0}textarea{overflow:auto}optgroup{font-weight:bold}table{border-collapse:collapse;border-spacing:0}td,th{padding:0}html{font-size:62.5%}body{font-size:1.5em;line-height:1.6;font-weight:400;font-family:"Source Serif 4",Georgia,"Times New Roman",serif;color:#24211f}a{color:#7a3e2c}a:hover{color:#673425}hr{margin-top:3rem;margin-bottom:3.5rem;border-width:0;border-top:1px solid #ded8cf}.u-full-width{width:100%;box-sizing:border-box}.u-max-full-width{max-width:100%;box-sizing:border-box}.u-pull-right{float:right}.u-pull-left{float:left}h1,h2,h3,h4,h5,h6{margin-top:0;margin-bottom:2rem;font-weight:300}h1{font-size:4.0rem;line-height:1.2;letter-spacing:-.1rem}h2{font-size:3.6rem;line-height:1.25;letter-spacing:-.1rem}h3{font-size:3.0rem;line-height:1.3;letter-spacing:-.1rem}h4{font-size:2.4rem;line-height:1.35;letter-spacing:-.08rem}h5{font-size:1.8rem;line-height:1.5;letter-spacing:-.05rem}h6{font-size:1.5rem;line-height:1.6;letter-spacing:0}@media (min-width: 550px){h1{font-size:5.0rem}h2{font-size:4.2rem}h3{font-size:3.6rem}h4{font-size:3.0rem}h5{font-size:2.4rem}h6{font-size:1.5rem}}p{margin-top:0}.container{position:relative;width:100%;max-width:920px;margin:0 auto;padding:0 20px;box-sizing:border-box}.column,.columns{width:100%;float:left;box-sizing:border-box}@media (min-width: 400px){.container{width:88%;padding:0}}@media (min-width: 550px){.container{width:82%}.column,.columns{margin-left:4%}.column:first-child,.columns:first-child{margin-left:0}.one.column,.one.columns{width:4.6666666667%}.two.columns{width:13.3333333333%}.three.columns{width:22%}.four.columns{width:30.6666666667%}.five.columns{width:39.3333333333%}.six.columns{width:48%}.seven.columns{width:56.6666666667%}.eight.columns{width:65.3333333333%}.nine.columns{width:74%}.ten.columns{width:82.6666666667%}.eleven.columns{width:91.3333333333%}.twelve.columns{width:100%;margin-left:0}.one-third.column{width:30.6666666667%}.two-thirds.column{width:65.3333333333%}.one-half.column{width:48%}.offset-by-one.column,.offset-by-one.columns{margin-left:8.6666666667%}.offset-by-two.column,.offset-by-two.columns{margin-left:17.3333333333%}.offset-by-three.column,.offset-by-three.columns{margin-left:26%}.offset-by-four.column,.offset-by-four.columns{margin-left:34.6666666667%}.offset-by-five.column,.offset-by-five.columns{margin-left:43.3333333333%}.offset-by-six.column,.offset-by-six.columns{margin-left:52%}.offset-by-seven.column,.offset-by-seven.columns{margin-left:60.6666666667%}.offset-by-eight.column,.offset-by-eight.columns{margin-left:69.3333333333%}.offset-by-nine.column,.offset-by-nine.columns{margin-left:78%}.offset-by-ten.column,.offset-by-ten.columns{margin-left:86.6666666667%}.offset-by-eleven.column,.offset-by-eleven.columns{margin-left:95.3333333333%}.offset-by-one-third.column,.offset-by-one-third.columns{margin-left:34.6666666667%}.offset-by-two-thirds.column,.offset-by-two-thirds.columns{margin-left:69.3333333333%}.offset-by-one-half.column,.offset-by-one-half.column{margin-left:52%}}.container:after,.row:after,.u-cf{content:"";display:table;clear:both}.button,button{display:inline-block;height:38px;padding:0 30px;color:#5f5751;text-align:center;font-size:11px;font-weight:600;line-height:38px;letter-spacing:.1rem;text-transform:uppercase;text-decoration:none;white-space:nowrap;background-color:transparent;border-radius:8px;border:1px solid #c8bfb1;cursor:pointer;box-sizing:border-box}input[type="submit"],input[type="reset"],input[type="button"]{display:inline-block;height:38px;padding:0 30px;color:#5f5751;text-align:center;font-size:11px;font-weight:600;line-height:38px;letter-spacing:.1rem;text-transform:uppercase;text-decoration:none;white-space:nowrap;background-color:transparent;border-radius:8px;border:1px solid #c8bfb1;cursor:pointer;box-sizing:border-box}.button:hover,button:hover{color:#2b2724;border-color:#877b71;outline:0}input[type="submit"]:hover,input[type="reset"]:hover,input[type="button"]:hover{color:#2b2724;border-color:#877b71;outline:0}.button:focus,button:focus{color:#2b2724;border-color:#877b71;outline:0}input[type="submit"]:focus,input[type="reset"]:focus,input[type="button"]:focus{color:#2b2724;border-color:#877b71;outline:0}.button.button-primary,button.button-primary{color:#fff;background-color:#7a3e2c;border-color:#7a3e2c}input[type="submit"].button-primary,input[type="reset"].button-primary,input[type="button"].button-primary{color:#fff;background-color:#7a3e2c;border-color:#7a3e2c}.button.button-primary:hover,button.button-primary:hover{color:#fff;background-color:#7a3e2c;border-color:#7a3e2c}input[type="submit"].button-primary:hover,input[type="reset"].button-primary:hover,input[type="button"].button-primary:hover{color:#fff;background-color:#7a3e2c;border-color:#7a3e2c}.button.button-primary:focus,button.button-primary:focus{color:#fff;background-color:#7a3e2c;border-color:#7a3e2c}input[type="submit"].button-primary:focus,input[type="reset"].button-primary:focus,input[type="button"].button-primary:focus{color:#fff;background-color:#7a3e2c;border-color:#7a3e2c}input[type="email"],input[type="number"],input[type="search"],input[type="text"],input[type="tel"],input[type="url"],input[type="password"]{height:38px;padding:6px 10px;background-color:#fff;border:1px solid #dbd5cb;border-radius:8px;box-shadow:none;box-sizing:border-box}input[type='email'],input[type='number'],input[type='search'],input[type='text'],input[type='tel'],input[type='url'],input[type='password'],textarea,select{height:38px;padding:6px 10px;background-color:#fff;border:1px solid #dbd5cb;border-radius:8px;box-shadow:none;box-sizing:border-box}input[type="email"],input[type="number"],input[type="search"],input[type="text"],input[type="tel"],input[type="url"],input[type="password"]{-webkit-appearance:none;-moz-appearance:none;appearance:none}textarea{-webkit-appearance:none;-moz-appearance:none;appearance:none;min-height:65px;padding-top:6px;padding-bottom:6px}input[type="email"]:focus,input[type="number"]:focus,input[type="search"]:focus,input[type="text"]:focus,input[type="tel"]:focus,input[type="url"]:focus,input[type="password"]:focus{border:1px solid #7a3e2c;outline:0}textarea:focus,select:focus{border:1px solid #7a3e2c;outline:0}label,legend{display:block;margin-bottom:.5rem;font-weight:600}fieldset{padding:0;border-width:0}input[type="checkbox"],input[type="radio"]{display:inline}label>.label-body{display:inline-block;margin-left:.5rem;font-weight:normal}ul{list-style:circle inside}ol{list-style:decimal inside;padding-left:0;margin-top:0}ul{padding-left:0;margin-top:0}ul ul,ul ol{margin:1.5rem 0 1.5rem 3rem;font-size:90%}ol ol,ol ul{margin:1.5rem 0 1.5rem 3rem;font-size:90%}li{margin-bottom:1rem}code{padding:.2rem .5rem;margin:0 .2rem;font-size:90%;white-space:nowrap;background:#ebe8e2;border:1px solid #ded8cf;border-radius:8px}pre>code{display:block;padding:1rem 1.5rem;white-space:pre}th,td{padding:12px 15px;text-align:left;border-bottom:1px solid #ded8cf}th:first-child,td:first-child{padding-left:0}th:last-child,td:last-child{padding-right:0}button,.button{margin-bottom:1rem}input,textarea,select,fieldset{margin-bottom:1.5rem}pre,blockquote,dl,figure,table,p,ul,ol,form{margin-bottom:2.5rem}:root{color-scheme:light dark;--font-serif: "Artifika", "Source Serif 4", Georgia, "Times New Roman", serif;--font-sans: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;--font-mono: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;--text-base: 1.60rem;--text-small: 1.45rem;--text-smaller: 1.30rem;--text-large: 2.05rem;--title-size: clamp(4.0rem, 8vw, 6.8rem);--subtitle-size: clamp(1.8rem, 2.4vw, 2.15rem);--section-title-size: clamp(3.0rem, 6vw, 5.1rem);--section-subtitle-size: clamp(2.0rem, 4vw, 3.4rem);--line-height: 1.6;--line-height-tight: 1.25;--container-readable: 920px;--measure: 78ch;--radius: 10px;--space-section: 4rem;--color-bg: #fbfaf7;--color-surface: #ffffff;--color-surface-soft: #f5f0e8;--color-text: #24211f;--color-heading: #1f1b18;--color-muted: #6f6760;--color-border: #ded8cf;--color-border-soft: rgba(94, 80, 67, 0.18);--color-link: #7a3e2c;--color-link-hover: #4f261b;--color-mark: #fff1c7;--color-code-bg: #f1ece4;--shadow-soft: 0 12px 30px rgba(80, 60, 40, 0.07)}@media (prefers-color-scheme: dark){:root:not([data-theme="light"]){--color-bg: #141312;--color-surface: #1d1b19;--color-surface-soft: #24211f;--color-text: #eee8df;--color-heading: #fff7ec;--color-muted: #b8afa4;--color-border: #39342f;--color-border-soft: rgba(238, 232, 223, 0.16);--color-link: #d99a7a;--color-link-hover: #f0b89b;--color-mark: #5c4320;--color-code-bg: #23201d;--shadow-soft: none}}html[data-theme="light"]{color-scheme:light;--color-bg: #fbfaf7;--color-surface: #ffffff;--color-surface-soft: #f5f0e8;--color-text: #24211f;--color-heading: #1f1b18;--color-muted: #6f6760;--color-border: #ded8cf;--color-border-soft: rgba(94, 80, 67, 0.18);--color-link: #7a3e2c;--color-link-hover: #4f261b;--color-mark: #fff1c7;--color-code-bg: #f1ece4;--shadow-soft: 0 12px 30px rgba(80, 60, 40, 0.07)}html[data-theme="dark"]{color-scheme:dark;--color-bg: #141312;--color-surface: #1d1b19;--color-surface-soft: #24211f;--color-text: #eee8df;--color-heading: #fff7ec;--color-muted: #b8afa4;--color-border: #39342f;--color-border-soft: rgba(238, 232, 223, 0.16);--color-link: #d99a7a;--color-link-hover: #f0b89b;--color-mark: #5c4320;--color-code-bg: #23201d;--shadow-soft: none}html{scroll-behavior:smooth}header[id],section[id]{scroll-margin-top:8rem}@media (prefers-reduced-motion: reduce){html{scroll-behavior:auto}}body{background:var(--color-bg);color:var(--color-text);font-family:var(--font-serif);font-size:var(--text-base);line-height:var(--line-height);text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;transition:background-color 0.18s ease, color 0.18s ease}.container{max-width:var(--container-readable)}main,.site-main{padding-bottom:7rem}img{max-width:100%;height:auto}::selection{background:var(--color-mark)}a{color:var(--color-link);text-decoration:none}a:hover,a:focus{color:var(--color-link-hover)}a:focus-visible,button:focus-visible{outline:2px solid var(--color-link);outline-offset:3px}.masthead{margin-bottom:3.5rem}.title,.masthead h1{margin-bottom:0.7rem;color:var(--color-heading);font-family:var(--font-serif);font-size:var(--title-size);line-height:0.98;letter-spacing:-0.055em;font-weight:700}.profile-icons,.profile-links{display:flex;flex-wrap:wrap;align-items:center;gap:1.05rem;margin:1.7rem 0 0;font-family:var(--font-sans)}.profile-icons a,.profile-links a{display:inline-flex;align-items:center;justify-content:center;padding:0.45rem 0.8rem;border:1px solid var(--color-border);border-radius:999px;background:var(--color-surface);box-shadow:var(--shadow-soft);color:var(--color-muted);font-size:1.65rem;line-height:1;text-decoration:none;transition:transform 0.15s ease, border-color 0.15s ease, color 0.15s ease, background-color 0.15s ease}.profile-icons a:hover,.profile-icons a:focus,.profile-links a:hover,.profile-links a:focus{border-color:var(--color-link);background:var(--color-surface-soft);color:var(--color-link-hover);text-decoration:none;transform:translateY(-1px)}.profile-icons .ai,.profile-icons .fa,.profile-icons .fa-solid,.profile-icons .fa-brands{font-size:1.45em}section,.docs-section{margin-bottom:var(--space-section);border-bottom:1px solid var(--color-border)}h1,h2,h3,h4,h5,h6{color:var(--color-heading);font-variant-caps:small-caps}h1,.docs-header{margin:0 0 1.8rem;padding-bottom:0.7rem;font-family:var(--font-serif);font-size:var(--section-title-size);line-height:var(--line-height-tight);letter-spacing:0.02em;font-weight:650}h2,.docs-subheader{margin:0 0;font-family:var(--font-serif);font-size:var(--section-subtitle-size);line-height:var(--line-height-tight);letter-spacing:0.02em;font-weight:650}h3{margin-top:3rem;margin-bottom:1.2rem;font-family:var(--font-sans);font-size:1.75rem;line-height:1.35;letter-spacing:0.01em;font-weight:650}p{max-width:none;margin-bottom:2.2rem;text-wrap:pretty}.lead{max-width:74ch;color:var(--color-text);font-size:var(--text-large);line-height:1.62}.muted,.meta,.venue,.year,.pub-year{color:var(--color-muted)}.talks,.talk-list,.publications,.publication-list{list-style-position:outside;margin-left:0;padding-left:3rem}.talks li,.talk-list li,.talk,.publications li,.publication-list li,.pub{margin:0;padding:1.45rem 0 0}.talk-title,.talks a:first-child,.talk-list a:first-child,.pub-title,.publications a:first-child,.publication-list a:first-child{color:var(--color-link);font-weight:650;text-decoration:none}.talk-title:hover,.talks a:first-child:hover,.talk-list a:first-child:hover,.pub-title:hover,.publications a:first-child:hover,.publication-list a:first-child:hover{color:var(--color-link-hover);text-decoration:none}.pub-authors,.authors{margin-top:0.25rem;color:var(--color-text);font-style:italic}.talk-venue,.pub-venue,.venue{margin-top:0.2rem;color:var(--color-muted);font-size:var(--text-smaller)}.talk-links,.pub-links{margin-top:0.45rem;font-family:var(--font-sans);font-size:var(--text-smaller)}.talk-links a,.pub-links a{margin-right:1rem}.teachings,.teaching-list{list-style:disc outside;margin:0;padding:3rem}.teaching,.teachings li,.teaching-list li{margin-bottom:1.4rem}.teaching-subject{color:var(--color-link);font-weight:650}.teaching-meta{margin-top:0.2rem;color:var(--color-muted);font-size:var(--text-smaller)}.news-section{margin-top:3rem;padding-bottom:1rem}.news-list{list-style:none;margin:0.5rem 0 0;padding:0}.news-item{display:grid;grid-template-columns:2rem 10rem 1fr;gap:1rem;align-items:baseline;margin-bottom:1rem}.news-item time,.news-type{font-family:var(--font-sans);font-size:var(--text-small);color:var(--color-muted)}.news-type i{width:1.6rem;text-align:center}.activity-list,.service-list{list-style:disc;margin-left:0;padding-left:3rem}.activity-list li,.service-list li{margin-top:1.2rem;padding-left:1.8rem;position:relative}.button,button,input[type="submit"],input[type="reset"],input[type="button"]{height:auto;min-height:3.8rem;padding:0.55rem 1.4rem;border-color:var(--color-border);color:var(--color-muted);background:var(--color-surface);font-family:var(--font-sans);font-size:1.25rem;line-height:1.7;letter-spacing:0.02em;text-transform:none}.button:hover,button:hover,input[type="submit"]:hover,input[type="reset"]:hover,input[type="button"]:hover,.button:focus,button:focus,input[type="submit"]:focus,input[type="reset"]:focus,input[type="button"]:focus{border-color:var(--color-link);color:var(--color-link-hover)}code,pre,kbd,samp{font-family:var(--font-mono)}code{background:var(--color-code-bg);border-color:var(--color-border)}pre{background:var(--color-code-bg);border-color:var(--color-border)}table,th,td{border-color:var(--color-border)}input,textarea,select{background:var(--color-surface);color:var(--color-text);border-color:var(--color-border)}input:focus,textarea:focus,select:focus{border-color:var(--color-link)}.site-footer,.footer{margin-top:5rem;padding:2.8rem 0 4rem;border-top:1px solid var(--color-border);color:var(--color-muted);font-family:var(--font-sans);font-size:var(--text-smaller)}@media (min-width: 550px){.masthead{padding-top:2rem}}@media (max-width: 549px){body{font-size:1.65rem}.masthead{margin-bottom:3rem}.profile-icons,.profile-links{gap:0.8rem}.navbar a,.site-nav a{margin-right:1.2rem;margin-bottom:0.4rem}}@media (max-width: 650px){.news-item{grid-template-columns:auto 1fr;gap:0.3rem 1rem}.news-text{grid-column:1 / -1}}.navbar{position:sticky;top:0;width:100%;height:6.5rem;background:var(--color-bg);border-top:1px solid var(--color-border);border-bottom:1px solid var(--color-border);z-index:1000}.nav-container{display:flex;align-items:center;height:100%}.nav-container::after{content:none;display:none}.menu-list{list-style:none;margin:0;padding:0}.navbar-item{position:relative;margin:0;padding:0}.bar-menu{display:none;align-items:center}.navbar-link{display:inline-block;line-height:6.5rem;margin-right:3.2rem;font-family:var(--font-sans);font-size:1.1rem;font-weight:650;letter-spacing:0.18rem;text-transform:uppercase;text-decoration:none;color:var(--color-text)}.navbar-link:hover,.navbar-link:focus,.navbar-link.active{color:var(--color-link);text-decoration:none}.theme-toggle{margin-left:auto;display:inline-flex;align-items:center;justify-content:center;width:3.6rem;height:3.6rem;padding:0;border:1px solid var(--color-border);border-radius:999px;background:var(--color-surface);color:var(--color-text);font-size:1.45rem;line-height:1;cursor:pointer;transition:color 0.15s ease, border-color 0.15s ease, background-color 0.15s ease, transform 0.15s ease}.theme-toggle:hover,.theme-toggle:focus{color:var(--color-link);border-color:var(--color-link);background:var(--color-bg);transform:translateY(-1px)}.hamburger-symbol{display:inline-block;line-height:1;transition:transform 0.2s ease}.hamburger-menu{display:block}.hamburger-text{position:relative;z-index:1002;display:inline-flex;align-items:center;justify-content:center;width:3.8rem;height:3.6rem;padding:0;margin:0;border:1px solid var(--color-link);border-radius:var(--radius);background:var(--color-surface);color:var(--color-link);font-size:1.9rem;font-weight:700;line-height:1;text-decoration:none;cursor:pointer;transition:color 0.15s ease, border-color 0.15s ease, background-color 0.15s ease, border-radius 0.15s ease, transform 0.2s ease}.hamburger-text:hover,.hamburger-text:focus{color:var(--color-bg);background:var(--color-link);border-color:var(--color-link)}.hamburger-text[aria-expanded="true"]{color:var(--color-link);background:var(--color-surface);border-color:var(--color-border);border-bottom-color:var(--color-surface);border-bottom-left-radius:0;border-bottom-right-radius:0}.hamburger-text[aria-expanded="true"] .hamburger-symbol{transform:rotate(90deg)}.hamburger{display:none;position:absolute;top:100%;left:0;right:auto;max-width:calc(100vw - 2rem);margin:0;padding:0;background:var(--color-surface);border:1px solid var(--color-border);border-radius:0 var(--radius) var(--radius) var(--radius);box-shadow:0 12px 28px var(--color-shadow);z-index:1001}.hamburger.open{display:block}.hamburger.open::before{content:"";position:absolute;top:-1px;left:-1px;width:3.8rem;height:2px;background:var(--color-surface);border-left:1px solid var(--color-border);border-right:1px solid var(--color-border)}.hamburger-list{list-style:none;padding:0;margin:0}.hamburger-item{padding:0;margin:0}.hamburger-link{display:block;padding:1rem 1.6rem;font-family:var(--font-sans);font-size:1.1rem;font-weight:650;letter-spacing:0.12rem;text-align:center;text-transform:uppercase;text-decoration:none;color:var(--color-text);border-bottom:1px solid var(--color-border)}.hamburger-item:first-child .hamburger-link{border-top-right-radius:var(--radius)}.hamburger-item:last-child .hamburger-link{border-bottom:0;border-radius:0 0 var(--radius) var(--radius)}.hamburger-link:hover,.hamburger-link:focus,.hamburger-link.active{color:var(--color-bg);background:var(--color-link);text-decoration:none}.theme-toggle:focus-visible,.hamburger-text:focus-visible,.navbar-link:focus-visible,.hamburger-link:focus-visible{outline:2px solid var(--color-link);outline-offset:3px}@media (min-width: 750px){.hamburger-menu{display:none}.bar-menu{display:flex}.theme-toggle{margin-left:auto}}@media (max-width: 420px){.navbar{height:6rem}.navbar-link{line-height:6rem}.hamburger-text,.theme-toggle{width:3.4rem;height:3.4rem}.hamburger.open::before{width:3.4rem}}.math-genealogy-icon span{display:inline-block;width:1.35em;height:1.35em;background:currentColor;mask:url("/assets/images/tree.png") center/contain no-repeat;-webkit-mask:url("/assets/images/tree.png") center/contain no-repeat}