.about-heading:where(.astro-4KUS5ZVU){margin-top:.75rem}.news-social-links:where(.astro-4KUS5ZVU){margin-top:.75rem}.determinism-figure:where(.astro-4KUS5ZVU){margin:1.5rem 0}.determinism-figure:where(.astro-4KUS5ZVU) figcaption:where(.astro-4KUS5ZVU){margin-top:.75rem;color:var(--heading);text-align:center;font-weight:700}.determinism-figure:where(.astro-4KUS5ZVU) img:where(.astro-4KUS5ZVU){display:block;max-width:100%;height:auto;margin:0 auto}.project-highlight:where(.astro-4KUS5ZVU){color:var(--highlight)}.project-highlight:where(.astro-4KUS5ZVU) strong:where(.astro-4KUS5ZVU){color:var(--highlight)}.project-highlight:where(.astro-4KUS5ZVU) a:where(.astro-4KUS5ZVU){color:var(--highlight)!important;text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:3px}.project-highlight:where(.astro-4KUS5ZVU) a:where(.astro-4KUS5ZVU):hover{color:var(--highlight-hover)!important;text-decoration-thickness:2px}.github-stars:where(.astro-4KUS5ZVU){display:inline-flex;align-items:center;vertical-align:middle;line-height:1}.github-stars:where(.astro-4KUS5ZVU)[hidden]{display:none}.github-code-group:where(.astro-4KUS5ZVU){display:inline-flex;align-items:center;gap:.2rem;white-space:nowrap}.github-stars:where(.astro-4KUS5ZVU):before{display:none}.github-stars:where(.astro-4KUS5ZVU) img:where(.astro-4KUS5ZVU){display:block;width:auto;height:20px;max-width:none}.publication-entry:where(.astro-4KUS5ZVU){display:flex;align-items:center;justify-content:space-between;gap:1.25rem}.publication-copy:where(.astro-4KUS5ZVU){flex:1 1 auto;min-width:0}.invited-talk-host:where(.astro-4KUS5ZVU){text-decoration:underline;text-decoration-color:#94a3b8;text-decoration-thickness:1px;text-underline-offset:3px}.publication-logo-frame:where(.astro-4KUS5ZVU){flex:0 0 135px;display:flex;flex-direction:column;align-items:center;justify-content:center;min-height:100px;margin-left:15px}.publication-logo:where(.astro-4KUS5ZVU){display:block;width:auto;height:auto;-o-object-fit:contain;object-fit:contain}.publication-logo-remora:where(.astro-4KUS5ZVU){max-width:120px;max-height:120px}.publication-logo-deterv:where(.astro-4KUS5ZVU){transform:translateY(-15px)}.publication-logo-deterv:where(.astro-4KUS5ZVU),.publication-logo-doradd:where(.astro-4KUS5ZVU){max-width:135px;max-height:105px}.artifact-badges:where(.astro-4KUS5ZVU){display:flex;align-items:center;justify-content:center;flex-wrap:nowrap;gap:5px;margin-top:5px;width:100%}.artifact-badge:where(.astro-4KUS5ZVU){width:32px;height:32px;flex-shrink:0}.timeline-list:where(.astro-4KUS5ZVU){display:flex;flex-direction:column;gap:1.1rem;margin-bottom:1.5rem}.timeline-entry:where(.astro-4KUS5ZVU){display:flex;align-items:center;justify-content:space-between;gap:1.25rem}.timeline-copy:where(.astro-4KUS5ZVU){flex:1 1 auto;min-width:0}.timeline-copy:where(.astro-4KUS5ZVU) p:where(.astro-4KUS5ZVU){margin:.05rem 0;line-height:1.25}.timeline-heading:where(.astro-4KUS5ZVU){display:flex;flex-wrap:wrap;align-items:baseline;-moz-column-gap:.65rem;column-gap:.65rem}.timeline-location:where(.astro-4KUS5ZVU){color:var(--muted);font-size:.95em}.timeline-logo-frame:where(.astro-4KUS5ZVU){flex:0 0 135px;display:flex;align-items:center;justify-content:center;min-height:82px;margin-left:15px}.timeline-logo:where(.astro-4KUS5ZVU){display:block;width:auto;height:auto;-o-object-fit:contain;object-fit:contain}.timeline-logo-light:where(.astro-4KUS5ZVU){background-color:var(--image-bg);padding:var(--image-padding);border-radius:.25rem}.timeline-logo-wide:where(.astro-4KUS5ZVU){max-width:135px;max-height:58px}.timeline-logo-tall:where(.astro-4KUS5ZVU){max-width:96px;max-height:88px}.timeline-logo-education:where(.astro-4KUS5ZVU){max-width:78px;max-height:70px}.timeline-logo-mark:where(.astro-4KUS5ZVU){max-width:58px;max-height:58px}.awards-list:where(.astro-4KUS5ZVU),.service-list:where(.astro-4KUS5ZVU){list-style:none;padding:0;margin:0;display:flex;flex-direction:column;gap:.85rem}.award-entry:where(.astro-4KUS5ZVU){display:grid;grid-template-columns:minmax(0,1fr) auto;align-items:baseline;gap:.75rem}.award-title:where(.astro-4KUS5ZVU),.service-title:where(.astro-4KUS5ZVU){color:var(--heading);font-weight:600}h3:where(.astro-4KUS5ZVU).service-title{margin:0 0 .35rem!important;font-size:1em!important;font-weight:600}.service-detail:where(.astro-4KUS5ZVU){margin:0}.award-detail:where(.astro-4KUS5ZVU),.award-detail:where(.astro-4KUS5ZVU) a:where(.astro-4KUS5ZVU),.service-detail:where(.astro-4KUS5ZVU),.award-period:where(.astro-4KUS5ZVU){color:var(--muted)!important}.award-period:where(.astro-4KUS5ZVU){white-space:nowrap;text-align:right}.blogs-section:where(.astro-4KUS5ZVU){scroll-margin-top:1.5rem}.blog-entry:where(.astro-4KUS5ZVU){border-left:4px solid var(--accent);padding:.15rem 0 .15rem 1rem}.blog-list:where(.astro-4KUS5ZVU){display:flex;flex-direction:column;gap:1.25rem}.blog-title:where(.astro-4KUS5ZVU){font-weight:700;line-height:1.35}.blog-meta:where(.astro-4KUS5ZVU){align-items:center;display:flex;flex-wrap:wrap;gap:.45rem .75rem;margin-top:.35rem}.blog-meta:where(.astro-4KUS5ZVU) time:where(.astro-4KUS5ZVU){color:var(--muted);flex:0 0 auto;font-size:.9em}.blog-keywords:where(.astro-4KUS5ZVU){display:flex;flex-wrap:wrap;gap:.3rem;list-style:none;margin:0;padding:0}.blog-keywords:where(.astro-4KUS5ZVU) li:where(.astro-4KUS5ZVU){background:var(--surface);border:1px solid var(--border);border-radius:999px;color:var(--surface-text);font-size:.72em;line-height:1.3;padding:.08rem .45rem}@media only screen and (max-width: 640px){.publication-entry:where(.astro-4KUS5ZVU){align-items:flex-start;gap:.75rem}.publication-logo-frame:where(.astro-4KUS5ZVU){flex-basis:82px;min-height:64px;margin-left:0}.publication-logo-remora:where(.astro-4KUS5ZVU),.publication-logo-deterv:where(.astro-4KUS5ZVU),.publication-logo-doradd:where(.astro-4KUS5ZVU){max-width:82px;max-height:64px}.artifact-badges:where(.astro-4KUS5ZVU){gap:3px}.artifact-badge:where(.astro-4KUS5ZVU){width:24px;height:24px}.timeline-entry:where(.astro-4KUS5ZVU){align-items:flex-start;gap:.75rem}.timeline-logo-frame:where(.astro-4KUS5ZVU){flex-basis:82px;min-height:64px;margin-left:0}.timeline-logo-wide:where(.astro-4KUS5ZVU){max-width:82px;max-height:44px}.timeline-logo-tall:where(.astro-4KUS5ZVU),.timeline-logo-education:where(.astro-4KUS5ZVU),.timeline-logo-mark:where(.astro-4KUS5ZVU){max-width:64px;max-height:64px}}