@font-face {
  font-family:"JetBrains Mono";
  src:url("../fonts/JetBrainsMono-Regular.woff2") format("woff2");
  font-weight:400;
  font-style:normal;
  font-display:swap;
}
:root,html[data-theme="light"] {
  --t-bg:#f5f7fa;
  --t-panel:#fff;
  --t-text:#17212d;
  --t-muted:#526275;
  --t-accent:#087f72;
  --t-blue:#245fad;
  --t-border:#d4dce6;
  --t-soft:#eaf0f5;
  --t-mono:"JetBrains Mono",Menlo,Monaco,Consolas,monospace;
  --t-body:Consolas,Menlo,Monaco,"JetBrains Mono","PingFang SC","Microsoft YaHei",monospace;
  --global-bg-color:var(--t-bg);
  --global-text-color:var(--t-text);
  --global-text-color-light:var(--t-muted);
  --global-theme-color:var(--t-accent);
  --global-hover-color:var(--t-accent);
  --global-divider-color:var(--t-border);
  --global-card-bg-color:var(--t-panel);
  --global-code-bg-color:var(--t-panel);
  --global-footer-bg-color:var(--t-bg);
  --global-footer-text-color:var(--t-muted);
  color-scheme:light;
}
html[data-theme="dark"] {
  --t-bg:#0d1117;
  --t-panel:#161b22;
  --t-text:#e6edf3;
  --t-muted:#9aa8ba;
  --t-accent:#64d8c3;
  --t-blue:#8ab4f8;
  --t-border:#303b49;
  --t-soft:#1d2632;
  --global-bg-color:var(--t-bg);
  --global-text-color:var(--t-text);
  --global-text-color-light:var(--t-muted);
  --global-theme-color:var(--t-accent);
  --global-hover-color:var(--t-accent);
  --global-divider-color:var(--t-border);
  --global-card-bg-color:var(--t-panel);
  --global-code-bg-color:var(--t-panel);
  --global-footer-bg-color:var(--t-bg);
  --global-footer-text-color:var(--t-muted);
  color-scheme:dark;
}
html {
  font-size:16px;
  scroll-padding-top:100px;
}
* {
  box-sizing:border-box;
}
body.terminal-body {
  background:var(--t-bg);
  color:var(--t-text);
  font:17px/1.75 var(--t-body);
  margin:0;
  padding:0;
  min-height:100svh;
  display:flex;
  flex-direction:column;
}
button,input,textarea,select {
  font:inherit;
}
a {
  color:var(--t-blue);
  text-underline-offset:4px;
}
a:hover {
  color:var(--t-accent);
}
button,a,input,summary {
  touch-action:manipulation;
}
button {
  cursor:pointer;
}
a,button,summary {
  transition:color .15s ease,background-color .15s ease,border-color .15s ease;
}
a:focus-visible,button:focus-visible,summary:focus-visible,input:focus-visible {
  outline:2px solid var(--t-accent);
  outline-offset:4px;
}
h1,h2,h3,h4 {
  color:var(--t-text);
  text-wrap:pretty;
}
h1,h2,h3,h4,code,pre,kbd,.page-path {
  font-family:var(--t-mono);
}
h1,h2,h3 {
  letter-spacing:-.04em;
}
h1,h2,h3,p,figure {
  margin-top:0;
}
img {
  max-width:100%;
  height:auto;
}
::selection {
  background:var(--t-accent);
  color:var(--t-bg);
}
[hidden] {
  display:none!important;
}
main:focus {
  outline:0;
}
.terminal-skip {
  position:fixed;
  top:-100px;
  left:16px;
  padding:8px 16px;
  background:var(--t-panel);
  z-index:1000;
}
.terminal-skip:focus {
  top:8px;
}
.terminal-header {
  position:sticky;
  top:0;
  z-index:40;
  background:var(--t-bg);
  border-bottom:1px solid var(--t-border);
}
.terminal-nav {
  width:min(1120px,calc(100% - 64px));
  min-height:76px;
  margin:auto;
  display:flex;
  align-items:center;
  gap:28px;
  font:12px/1.5 var(--t-mono);
}
.terminal-brand {
  display:flex;
  align-items:center;
  gap:12px;
  color:var(--t-text);
  white-space:nowrap;
  text-decoration:none;
  font-size:14px;
}
.brand-mark {
  font-size:20px;
  line-height:1;
  color:var(--t-accent);
}
.brand-host {
  color:var(--t-muted);
}
.brand-path {
  color:var(--t-accent);
}
.terminal-menu {
  display:flex;
  align-items:stretch;
  gap:24px;
  margin-left:auto;
  align-self:stretch;
}
.terminal-menu>a {
  color:var(--t-muted);
  text-decoration:none;
  display:flex;
  align-items:center;
  position:relative;
}
.terminal-menu>a:hover,.terminal-menu>a[aria-current] {
  color:var(--t-accent);
}
.terminal-menu>a[aria-current]:after {
  content:"";
  position:absolute;
  bottom:-1px;
  left:0;
  right:0;
  height:2px;
  background:var(--t-accent);
}
.terminal-nav-actions {
  display:flex;
  align-items:center;
  gap:14px;
}
.terminal-search-trigger {
  border:0;
  background:none;
  color:var(--t-blue);
  padding:6px 0;
  border-radius:0;
  display:inline-flex;
  gap:10px;
  align-items:baseline;
  font:11px/20px var(--t-mono);
  min-height:32px;
}
.terminal-search-trigger:hover {
  color:var(--t-accent);
}
kbd {
  font-size:11px;
  font-weight:400;
  background:var(--t-soft);
  color:var(--t-muted);
  padding:2px 5px;
  border:1px solid var(--t-border);
  border-radius:3px;
  white-space:nowrap;
}
.terminal-theme-toggle {
  background:transparent;
  border:0;
  color:var(--t-muted);
  width:32px;
  height:36px;
  padding:0;
  display:grid;
  place-items:center;
}
.terminal-menu-toggle {
  display:none;
}
.terminal-main {
  width:min(1120px,calc(100% - 64px));
  margin:48px auto 0;
  flex:1;
  min-width:0;
}
.terminal-footer {
  width:min(1120px,calc(100% - 64px));
  margin:68px auto 0;
  border-top:1px solid var(--t-border);
  padding:24px 0 30px;
  display:flex;
  justify-content:space-between;
  gap:16px;
  color:var(--t-muted);
  font:11px/1.8 var(--t-mono);
}
.terminal-footer a {
  color:var(--t-muted);
  text-decoration:none;
}
.terminal-footer a:hover {
  color:var(--t-accent);
}
.footer-prompt {
  color:var(--t-accent);
  margin-right:12px;
}
.footer-separator {
  padding:0 12px;
}
.identity-window {
  border:1px solid var(--t-border);
  border-radius:7px;
  background:var(--t-panel);
  overflow:hidden;
}
.window-titlebar {
  height:43px;
  border-bottom:1px solid var(--t-border);
  display:flex;
  align-items:center;
  gap:12px;
  padding:0 27px;
  font:12px var(--t-mono);
  color:var(--t-muted);
}
.window-glyph {
  color:var(--t-accent);
  font-size:16px;
}
.window-titlebar-end {
  margin-left:auto;
  color:var(--t-muted);
  font-size:10px;
}
.identity-content {
  padding:34px 42px 37px;
}
.shell-command {
  font:12px/1.6 var(--t-mono);
  margin-bottom:25px;
  color:var(--t-text);
}
.shell-command>span:first-child {
  color:var(--t-accent);
}
.shell-path {
  color:var(--t-blue);
  padding:0 8px;
}
.shell-symbol {
  color:var(--t-muted);
  padding-right:8px;
}
.identity-grid {
  display:grid;
  grid-template-columns:minmax(0,1fr) 192px;
  gap:64px;
  align-items:center;
}
.identity-copy h1 {
  font:600 clamp(40px,4.3vw,60px)/1.15 var(--t-mono);
  letter-spacing:-.065em;
  margin:0 0 15px;
}
.identity-alias {
  font-size:20px;
  letter-spacing:-.04em;
  color:var(--t-muted);
  white-space:nowrap;
  font-weight:400;
}
.identity-role {
  font:11px/1.8 var(--t-mono);
  color:var(--t-accent);
  margin-bottom:22px;
}
.identity-role>span {
  color:var(--t-muted);
  padding:0 7px;
}
.identity-intro {
  font-size:16px;
  line-height:1.8;
  max-width:640px;
}
.identity-intro p {
  margin:0 0 12px;
}
.identity-intro a {
  color:var(--t-text);
  text-decoration:underline;
  text-decoration-color:var(--t-border);
}
.identity-intro a:hover {
  color:var(--t-accent);
}
.identity-intro strong {
  font-weight:600;
}
.identity-portrait {
  margin:0;
  align-self:center;
}
.identity-portrait img {
  width:192px;
  aspect-ratio:1;
  object-fit:cover;
  border-radius:4px;
  filter:saturate(.75);
  border:1px solid var(--t-border);
}
.identity-portrait figcaption {
  font:10px/1.5 var(--t-mono);
  color:var(--t-muted);
  margin-top:12px;
  text-align:center;
}
.identity-portrait figcaption span {
  color:var(--t-accent);
  margin-right:5px;
}
.identity-actions {
  display:flex;
  align-items:baseline;
  flex-wrap:wrap;
  gap:8px 24px;
  margin-top:26px;
}
.terminal-button {
  display:inline-flex;
  align-items:baseline;
  justify-content:flex-start;
  gap:.12em;
  font:12px/20px var(--t-mono);
  padding:6px 0;
  border:0;
  border-radius:0;
  background:none;
  color:var(--t-blue);
  text-decoration:none;
  min-height:32px;
}
.terminal-button.primary {
  background:none;
  border:0;
  color:var(--t-accent);
}
.terminal-button:hover {
  background:none;
  color:var(--t-accent);
  text-decoration:underline;
  text-decoration-thickness:1px;
}
.identity-contact {
  font:11px var(--t-mono);
  color:var(--t-muted);
  padding:8px;
  text-decoration:none;
}
.identity-contact:hover {
  color:var(--t-accent);
}
.command-launcher {
  display:flex;
  align-items:center;
  gap:13px;
  width:100%;
  border:0;
  border-top:1px solid var(--t-border);
  background:transparent;
  text-align:left;
  padding:15px 27px;
  color:var(--t-muted);
  font:11px/1.7 var(--t-mono);
}
.command-launcher:hover {
  background:var(--t-soft);
  color:var(--t-text);
}
.command-launcher kbd {
  margin-left:auto;
}
.launcher-symbol {
  color:var(--t-accent);
  font-size:15px;
}
.home-section {
  margin-top:66px;
}
.section-heading {
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:20px;
  margin-bottom:24px;
}
.section-heading h2,.contact-section h2 {
  margin:0;
  font:500 17px/1.6 var(--t-mono);
  letter-spacing:-.04em;
}
.section-heading h2>span,.contact-section h2>span {
  color:var(--t-accent);
  padding-right:5px;
}
.section-heading>a,.section-note {
  font:10px/1.6 var(--t-mono);
  color:var(--t-muted);
  text-decoration:none;
}
.section-heading>a:hover {
  color:var(--t-accent);
}
.section-note {
  color:var(--t-muted);
}
.research-list {
  border-top:1px solid var(--t-border);
}
.research-row {
  display:grid;
  grid-template-columns:35px minmax(0,1fr) auto;
  align-items:center;
  gap:16px;
  padding:23px 0;
  border-bottom:1px solid var(--t-border);
}
.research-symbol {
  font:26px/1 var(--t-mono);
  color:var(--t-accent);
  align-self:start;
  margin-top:4px;
}
.research-row h3 {
  font:500 15px/1.6 var(--t-mono);
  margin:0 0 5px;
  letter-spacing:-.035em;
}
.research-row p {
  font-size:14px;
  color:var(--t-muted);
  margin:0;
}
.research-project {
  font:12px/1.6 var(--t-mono);
  text-align:right;
  text-decoration:none;
}
.research-project small {
  display:block;
  color:var(--t-muted);
  font:10px/1.6 var(--t-mono);
  margin-top:5px;
}
.publications ol.bibliography {
  list-style:none;
  padding:0;
  margin:0;
}
.publications ol.bibliography>li {
  margin:0;
  padding:0;
}
.publications .paper {
  display:grid;
  grid-template-columns:80px minmax(0,1fr);
  gap:24px;
  border-top:1px solid var(--t-border);
  padding:25px 0;
  margin:0;
}
.publications ol.bibliography>li:last-child .paper {
  border-bottom:1px solid var(--t-border);
}
.paper-venue {
  font:10px/1.8 var(--t-mono);
  color:var(--t-muted);
  display:flex;
  flex-direction:column;
  align-items:flex-start;
  gap:7px;
  padding-top:3px;
}
.paper-venue>span:first-child {
  color:var(--t-accent);
  border:0;
  border-radius:0;
  padding:0;
}
.publications .paper .title {
  font:600 17px/1.5 var(--t-body);
  letter-spacing:0;
  margin:0 0 8px;
  color:var(--t-text);
}
.publications .paper .author {
  font:13px/1.8 var(--t-body);
  color:var(--t-muted);
  margin:0 0 5px;
}
.paper .author strong {
  color:var(--t-text);
  font-weight:600;
  text-decoration:underline;
  text-underline-offset:3px;
  text-decoration-color:var(--t-accent);
}
.publications .paper .periodical {
  font:12px/1.7 var(--t-body);
  margin:0;
  color:var(--t-muted);
}
.paper-status {
  display:flex;
  align-items:baseline;
  flex-wrap:wrap;
  gap:0;
  margin-top:9px;
}
.paper-status .status-tag {
  font:10px/20px var(--t-mono);
  text-transform:lowercase;
  border:0;
  border-radius:0;
  background:none;
  padding:0;
  margin:0;
  vertical-align:baseline;
}
.paper-actions {
  display:flex;
  flex-wrap:wrap;
  column-gap:18px;
  row-gap:6px;
  align-items:flex-start;
  margin-top:10px;
  position:relative;
  font:11px/20px var(--t-mono);
}
.paper-actions>a,.paper-bib>summary,.paper-abstract>summary {
  display:inline-flex;
  align-items:baseline;
  gap:.12em;
  font:11px/20px var(--t-mono);
  color:var(--t-blue);
  border:0;
  background:none;
  padding:3px 0;
  border-radius:0;
  margin:0;
  text-decoration:none;
  cursor:pointer;
  list-style:none;
  min-height:26px;
}
.paper-actions>a:hover,.paper-bib>summary:hover {
  color:var(--t-accent);
  background:none;
  text-decoration:underline;
  text-decoration-thickness:1px;
}
.paper-bib>summary::-webkit-details-marker {
  display:none;
}
.paper-bib[open] {
  flex-basis:100%;
  order:10;
}
.paper-bib[open]>summary {
  color:var(--t-accent);
}
.paper-bib-content {
  margin-top:12px;
  border:1px solid var(--t-border);
  background:var(--t-panel);
  border-radius:4px;
  padding:16px;
  position:relative;
}
.paper-bib-content pre {
  white-space:pre;
  overflow:auto;
  margin:12px 0 0;
  padding:0;
  background:transparent;
  font-size:11px;
  max-height:300px;
  line-height:1.8;
}
.paper-bib-content code {
  color:var(--t-text);
  background:none;
  padding:0;
}
.bib-copy {
  font:10px/20px var(--t-mono);
  border:0;
  background:none;
  color:var(--t-blue);
  border-radius:0;
  padding:2px 0;
  text-decoration:underline;
  text-underline-offset:4px;
}
.paper-abstract {
  margin-top:12px;
  font-size:14px;
}
.paper-abstract p {
  margin-top:12px;
}
.publications h2.bibliography {
  font:13px var(--t-mono);
  color:var(--t-muted);
  margin:42px 0 16px;
}
.paper-search {
  margin:32px 0;
}
.paper-search label {
  font:11px var(--t-mono);
  display:block;
  margin-bottom:10px;
  color:var(--t-muted);
}
.paper-search label span {
  color:var(--t-accent);
  margin-right:10px;
}
#bibsearch {
  font:14px var(--t-mono);
  border:1px solid var(--t-border);
  border-radius:4px;
  width:100%;
  max-width:none;
  background:var(--t-panel);
  color:var(--t-text);
  padding:14px 16px;
  margin:0;
}
#bibsearch::placeholder {
  color:var(--t-muted);
}
#paper-search-status {
  min-height:18px;
  font:11px/1.7 var(--t-mono);
  color:var(--t-muted);
  margin:7px 0 0;
}
.updates-grid {
  display:grid;
  grid-template-columns:1fr;
  gap:0;
}
.activity-list {
  padding:0;
  margin:0;
  list-style:none;
}
.activity-list li {
  padding:14px 0;
  border-top:1px solid var(--t-border);
  font-size:13px;
  line-height:1.75;
}
.activity-list time,.activity-date {
  display:block;
  font:10px/1.8 var(--t-mono);
  color:var(--t-muted);
  margin-bottom:5px;
  font-variant-numeric:tabular-nums;
}
.activity-list p {
  margin:0;
}
.activity-list strong,.activity-list b {
  font-weight:600;
  color:var(--t-text);
}
.award-details {
  display:block;
  color:var(--t-muted);
  font-size:12px;
  margin-top:4px;
}
.recent-writing {
  border-top:1px solid var(--t-border);
}
.recent-writing article {
  display:grid;
  grid-template-columns:108px minmax(0,1fr) 20px;
  gap:22px;
  padding:22px 0;
  border-bottom:1px solid var(--t-border);
}
.recent-writing time {
  font:11px/1.9 var(--t-mono);
  color:var(--t-muted);
  font-variant-numeric:tabular-nums;
}
.recent-writing h3 {
  font:600 17px/1.6 var(--t-body);
  letter-spacing:0;
  margin:0 0 5px;
}
.recent-writing h3 a {
  color:var(--t-text);
  text-decoration:none;
}
.recent-writing h3 a:hover {
  color:var(--t-accent);
}
.recent-writing p {
  font-size:13px;
  color:var(--t-muted);
  margin:0;
}
.recent-writing article>span {
  color:var(--t-muted);
}
.contact-section {
  border-top:1px solid var(--t-border);
  padding-top:28px;
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:30px;
}
.contact-section p {
  font-size:13px;
  color:var(--t-muted);
  margin:8px 0 0;
}
.contact-links {
  display:flex;
  gap:13px 22px;
  flex-wrap:wrap;
  max-width:440px;
  justify-content:flex-end;
}
.contact-links a {
  font:11px var(--t-mono);
  text-decoration:none;
}
.post-header {
  margin-bottom:36px;
}
.page-path {
  color:var(--t-accent);
  font-size:12px;
  margin:0 0 20px;
}
.terminal-body .post-title {
  font:500 clamp(32px,4vw,46px)/1.3 var(--t-mono);
  margin:0 0 15px;
  letter-spacing:-.06em;
}
.terminal-body .post-title:before,.terminal-body .post-title:after,.terminal-body .post h2:before {
  content:none!important;
}
.post-description {
  font-size:16px;
  color:var(--t-muted);
  margin:0;
}
.terminal-page {
  padding:12px 0 20px;
}
.terminal-page article {
  min-width:0;
}
.error-message {
  padding:30px 0;
}
.error-message>p {
  color:var(--t-muted);
}
.error-message .terminal-button {
  margin:15px 10px 0 0;
}
.terminal-main>.row {
  display:grid;
  grid-template-columns:180px minmax(0,1fr);
  gap:44px;
  margin:0;
}
.terminal-main>.row>.col-sm-3 {
  grid-column:1;
  grid-row:1;
  width:auto;
  padding:0;
}
.terminal-main>.row>.col-sm-9 {
  grid-column:2;
  grid-row:1;
  width:auto;
  padding:0;
  max-width:100%;
  min-width:0;
}
#toc-sidebar {
  font:11px/1.9 var(--t-mono);
  top:110px;
}
#toc-sidebar .toc-link {
  color:var(--t-muted);
}
#toc-sidebar .toc-link:hover {
  color:var(--t-accent);
}
.terminal-cv .post-title {
  display:flex;
  align-items:center;
  justify-content:space-between;
}
.terminal-cv .post-title>a {
  font:11px var(--t-mono);
  padding:10px 13px;
  border:1px solid var(--t-border);
  border-radius:4px;
  display:flex;
  gap:9px;
  align-items:center;
  letter-spacing:0;
}
.terminal-cv .post-title>a:after {
  content:"Download PDF";
}
.terminal-cv .card {
  background:transparent;
  border:0;
  border-top:1px solid var(--t-border);
  border-radius:0;
  box-shadow:none;
  padding:26px 0!important;
  margin-top:0!important;
}
.terminal-cv .card-title {
  font:500 17px var(--t-mono);
  margin-bottom:18px;
}
.terminal-cv .table {
  font-size:14px;
  color:var(--t-text);
  background:transparent;
}
.terminal-cv td {
  background:transparent;
  border:0;
  padding:7px!important;
  vertical-align:top;
}
.terminal-cv td:first-child {
  color:var(--t-muted);
}
.blog-content {
  width:100%;
  max-width:none;
  padding:0;
}
.blog-page {
  max-width:none;
  padding:8px 0 0;
}
.blog-hero {
  grid-template-columns:minmax(0,1fr) auto;
  gap:30px;
  padding:0 0 32px;
  border-color:var(--t-border);
  align-items:end;
}
.blog-hero h1 {
  font:500 clamp(34px,4vw,48px)/1.3 var(--t-mono);
  letter-spacing:-.06em;
}
.blog-intro {
  max-width:730px;
  font:16px/1.8 var(--t-body);
  color:var(--t-muted);
  margin-top:18px;
}
.blog-archive-count {
  font:11px/1.8 var(--t-mono);
  color:var(--t-muted);
  white-space:nowrap;
  margin-bottom:4px;
}
.blog-archive-count span {
  color:var(--t-accent);
  padding:0 5px;
}
.blog-toolbar {
  padding:26px 0 30px;
}
.blog-search label {
  font:11px var(--t-mono);
  text-transform:none;
  letter-spacing:0;
}
.blog-search-field {
  border-radius:4px;
  background:var(--t-panel);
}
.blog-search-field input {
  font:13px var(--t-mono);
}
.blog-toolbar-status,.blog-reset {
  font:10px/1.7 var(--t-mono);
}
.blog-layout {
  grid-template-columns:165px minmax(0,1fr);
  gap:48px;
}
.blog-sidebar-section {
  border-color:var(--t-border);
}
.blog-sidebar-heading h2 {
  font:12px var(--t-mono);
  text-transform:none;
  letter-spacing:0;
}
.blog-sidebar-heading>span,.blog-filter {
  font:11px var(--t-mono);
}
.blog-filter {
  border-radius:3px;
  min-height:38px;
}
.blog-filter b {
  font-size:10px;
}
.blog-sidebar-note {
  font:11px/1.8 var(--t-body);
}
.blog-results-heading h2 {
  font:14px var(--t-mono);
  letter-spacing:-.03em;
}
.blog-year-heading h3 {
  font:12px var(--t-mono);
  color:var(--t-accent);
}
.blog-year-heading>span {
  font:10px var(--t-mono);
}
.blog-card-list {
  gap:0;
}
.blog-card {
  background:transparent;
  border:0;
  border-bottom:1px solid var(--t-border);
  border-radius:0;
  box-shadow:none!important;
  padding:23px 0;
  grid-template-columns:100px minmax(0,1fr);
  gap:24px;
}
.blog-card:hover {
  background:transparent;
  border-color:var(--t-border);
  transform:none;
}
.blog-card-date {
  font:10px/1.8 var(--t-mono);
  color:var(--t-muted);
}
.blog-card-body h3 {
  font:600 19px/1.6 var(--t-body);
  letter-spacing:0;
}
.blog-card-body h3 a {
  color:var(--t-text);
}
.blog-card-body h3 a:hover {
  color:var(--t-accent);
}
.blog-card-body>p {
  font:14px/1.85 var(--t-body);
}
.blog-tag {
  font:10px/1.7 var(--t-mono);
  border-radius:3px;
}
.blog-tag-muted {
  color:var(--t-muted);
}
.blog-empty {
  background:var(--t-panel);
  border-radius:5px;
  border-color:var(--t-border);
}
.blog-empty h3 {
  font:20px var(--t-mono);
}
.blog-post {
  --blog-reading-width:780px;
  --blog-serif:var(--t-body);
  --blog-mono:var(--t-mono);
  max-width:var(--blog-reading-width);
  padding:10px 0 25px;
}
.blog-post-header {
  margin-top:32px;
  padding-bottom:28px;
}
.blog-post-title {
  font:600 clamp(27px,3.2vw,40px)/1.5 var(--t-body);
  letter-spacing:-.03em;
}
.blog-post-description {
  font:17px/1.85 var(--t-body);
  color:var(--t-muted);
}
.blog-post-back,.blog-post-meta,.blog-post-pagination-label {
  font:11px/1.7 var(--t-mono);
}
.blog-post-content {
  font:18px/1.9 var(--t-body);
  color:var(--t-text);
}
.blog-post-content>p:first-of-type {
  font:18px/1.9 var(--t-body);
}
.blog-post-content h2 {
  font:600 25px/1.5 var(--t-body);
  scroll-margin-top:100px;
}
.blog-post-content h3 {
  font:600 21px/1.5 var(--t-body);
  scroll-margin-top:100px;
}
.blog-post-content blockquote {
  background:var(--t-panel);
  border-left:2px solid var(--t-accent);
  padding:16px 22px;
  color:var(--t-muted);
}
.blog-post-content pre {
  font:12px/1.8 var(--t-mono);
  background:var(--t-panel);
  border:1px solid var(--t-border);
  border-radius:4px;
  padding:20px;
  overflow:auto;
  max-width:100%;
}
.blog-post-content code {
  font-family:var(--t-mono);
  font-size:.84em;
  color:var(--t-accent);
}
.blog-post-content pre code {
  color:inherit;
  font-size:inherit;
  padding:0;
}
.blog-post-content table {
  display:block;
  max-width:100%;
  overflow:auto;
  white-space:normal;
  font-size:14px;
}
.blog-post-content .MathJax {
  max-width:100%;
  overflow-x:auto;
  overflow-y:hidden;
}
.blog-post-pagination-link,.blog-archive-item {
  border-radius:4px;
}
.blog-post-pagination-title {
  font:15px/1.7 var(--t-body);
}
.blog-post-content a {
  overflow-wrap:anywhere;
}
.blog-archive-list {
  margin-top:28px;
}
.blog-archive-title {
  font:17px/1.6 var(--t-body);
}
.terminal-dialog {
  border:1px solid var(--t-border);
  border-radius:6px;
  background:var(--t-panel);
  color:var(--t-text);
  width:min(510px,calc(100% - 32px));
  padding:0;
  max-height:85svh;
  overscroll-behavior:contain;
  box-shadow:0 24px 100px #0006;
}
.terminal-dialog::backdrop {
  background:#050a12b3;
}
.dialog-titlebar {
  font:11px var(--t-mono);
  color:var(--t-muted);
  padding:10px 18px;
  display:flex;
  align-items:center;
  justify-content:space-between;
  border-bottom:1px solid var(--t-border);
}
.dialog-titlebar button {
  border:0;
  background:transparent;
  color:var(--t-muted);
  font-size:24px;
  line-height:1;
  width:34px;
  height:34px;
}
.dialog-content {
  padding:28px;
}
.dialog-content h2 {
  font:500 22px/1.5 var(--t-mono);
  margin:0 0 12px;
}
.dialog-content p {
  font-size:13px;
  color:var(--t-muted);
  line-height:1.8;
}
.dialog-content img {
  display:block;
  margin:auto;
  width:300px;
  max-width:100%;
  height:auto;
}
.email-option {
  border:1px solid var(--t-border);
  border-radius:4px;
  display:flex;
  justify-content:space-between;
  align-items:center;
  padding:15px;
  margin-top:14px;
  text-decoration:none;
}
.email-option:hover {
  border-color:var(--t-accent);
  background:var(--t-soft);
}
.email-option strong {
  font:13px var(--t-mono);
  color:var(--t-text);
}
.email-option small {
  display:block;
  font-size:12px;
  color:var(--t-muted);
  margin-top:4px;
  overflow-wrap:anywhere;
}
.command-help-list {
  display:grid;
  grid-template-columns:125px 1fr;
  gap:9px;
  font-size:12px;
  margin:22px 0;
}
.command-help-list dt {
  font-family:var(--t-mono);
  color:var(--t-accent);
}
.command-help-list dd {
  margin:0;
  color:var(--t-muted);
}
.copy-status {
  position:fixed;
  bottom:24px;
  left:50%;
  transform:translateX(-50%);
  z-index:200;
  background:var(--t-panel);
  border:1px solid var(--t-border);
  border-radius:4px;
  padding:10px 16px;
  color:var(--t-accent);
  font:12px var(--t-mono);
}
ninja-keys {
  --ninja-font-family:var(--t-mono);
  --ninja-accent-color:var(--t-accent);
  --ninja-text-color:var(--t-text);
  --ninja-secondary-text-color:var(--t-muted);
  --ninja-modal-background:var(--t-panel);
  --ninja-group-text-color:var(--t-muted);
  --ninja-selected-background:var(--t-soft);
  --ninja-overflow-background:var(--t-panel);
  --ninja-backdrop-filter:none;
  --ninja-modal-shadow:0 24px 100px #0006;
  --ninja-modal-border-radius:6px;
  --ninja-width:640px;
  --ninja-z-index:100;
  --ninja-footer-background:var(--t-panel);
  --ninja-keyboard-background:var(--t-soft);
  --ninja-keyboard-border:var(--t-border);
  --ninja-actions-height:440px;
}
@media(min-width:768px) and (max-width:1100px) {
  .terminal-nav {
    gap:16px;
  }
  .terminal-menu {
    gap:16px;
  }
  .brand-host {
    display:none;
  }
  .identity-grid {
    gap:32px;
    grid-template-columns:minmax(0,1fr) 165px;
  }
  .identity-portrait img {
    width:165px;
  }
  .identity-content {
    padding:30px;
  }
  .identity-alias {
    font-size:16px;
  }
}
@media(max-width:767px) {
  .terminal-nav,.terminal-main,.terminal-footer {
    width:calc(100% - 36px);
  }
  .terminal-nav {
    min-height:64px;
    gap:12px;
    flex-wrap:wrap;
  }
  .terminal-brand {
    font-size:12px;
    gap:8px;
  }
  .brand-mark {
    font-size:18px;
  }
  .brand-host {
    display:none;
  }
  .terminal-menu-toggle {
    display:flex;
    align-items:center;
    gap:6px;
    margin-left:auto;
    background:transparent;
    border:0;
    color:var(--t-muted);
    font:11px var(--t-mono);
    min-height:40px;
    padding:0 6px;
  }
  .terminal-nav-actions {
    gap:5px;
  }
  .terminal-search-trigger {
    border:0;
    background:transparent;
    padding:5px;
    min-width:32px;
  }
  .terminal-search-trigger .terminal-shortcut {
    display:none;
  }
  .terminal-theme-toggle {
    width:28px;
  }
  .terminal-menu {
    order:4;
    width:100%;
    display:none;
    gap:0;
    flex-direction:column;
    align-self:auto;
    padding:0 0 14px;
    margin:0;
  }
  .terminal-menu.is-open {
    display:flex;
  }
  .terminal-menu>a {
    padding:11px 8px;
    border-left:2px solid transparent;
  }
  .terminal-menu>a[aria-current] {
    border-color:var(--t-accent);
    background:var(--t-soft);
  }
  .terminal-menu>a[aria-current]:after {
    display:none;
  }
  .terminal-main {
    margin-top:26px;
  }
  .window-titlebar {
    padding:0 18px;
    height:39px;
  }
  .identity-content {
    padding:23px 20px 25px;
  }
  .shell-command {
    font-size:10px;
    margin-bottom:21px;
  }
  .identity-grid {
    grid-template-columns:1fr;
    gap:0;
    position:relative;
  }
  .identity-copy h1 {
    font-size:34px;
    max-width:calc(100% - 80px);
    line-height:1.25;
    margin-bottom:9px;
  }
  .identity-alias {
    display:block;
    font-size:13px;
    letter-spacing:0;
    margin-top:3px;
  }
  .identity-role {
    font-size:10px;
    padding-right:60px;
    line-height:1.9;
    margin-bottom:21px;
  }
  .identity-role>span {
    padding:0 3px;
  }
  .identity-intro {
    font-size:15px;
    line-height:1.85;
  }
  .identity-portrait {
    position:absolute;
    top:0;
    right:0;
    width:64px;
  }
  .identity-portrait img {
    width:64px;
    height:72px;
    object-fit:cover;
  }
  .identity-portrait figcaption {
    display:none;
  }
  .identity-actions {
    gap:6px 18px;
    margin-top:23px;
  }
  .terminal-button {
    padding:6px 0;
    font-size:11px;
    gap:.12em;
  }
  .identity-contact {
    font-size:10px;
    padding:8px 0;
  }
  .command-launcher {
    padding:13px 18px;
    gap:9px;
    font-size:10px;
    line-height:1.7;
  }
  .command-launcher>span:nth-child(2) {
    max-width:220px;
  }
  .command-launcher kbd {
    font-size:9px;
    padding:2px 4px;
  }
  .home-section {
    margin-top:44px;
  }
  .section-heading {
    gap:12px;
    margin-bottom:20px;
    align-items:baseline;
  }
  .section-heading h2,.contact-section h2 {
    font-size:14px;
  }
  .section-heading>a,.section-note {
    font-size:9px;
  }
  .research-row {
    grid-template-columns:25px minmax(0,1fr);
    gap:12px;
    padding:20px 0;
  }
  .research-row h3 {
    font-size:12px;
    line-height:1.7;
  }
  .research-row p {
    font-size:12px;
  }
  .research-symbol {
    font-size:22px;
  }
  .research-project {
    grid-column:2;
    text-align:left;
    font-size:11px;
    margin-top:3px;
  }
  .research-project small {
    display:inline;
    margin-left:9px;
    font-size:9px;
  }
  .publications .paper {
    grid-template-columns:1fr;
    gap:13px;
    padding:22px 0;
  }
  .paper-venue {
    flex-direction:row;
    gap:10px;
    align-items:center;
    padding:0;
    font-size:10px;
  }
  .publications .paper .title {
    font-size:16px;
  }
  .publications .paper .author {
    font-size:12px;
  }
  .publications .paper .periodical {
    font-size:11px;
  }
  .paper-bib-content {
    padding:12px;
  }
  .updates-grid {
    grid-template-columns:1fr;
    gap:0;
  }
  .activity-list li {
    display:grid;
    grid-template-columns:82px minmax(0,1fr);
    gap:15px;
    font-size:12px;
  }
  .activity-list time,.activity-date {
    font-size:9px;
    padding-top:1px;
  }
  .award-details {
    font-size:11px;
  }
  .recent-writing article {
    grid-template-columns:minmax(0,1fr) 18px;
    gap:5px;
    padding:18px 0;
  }
  .recent-writing time {
    grid-column:1;
    grid-row:1;
    font-size:10px;
    margin-bottom:5px;
  }
  .recent-writing article>div {
    grid-column:1;
    grid-row:2;
  }
  .recent-writing article>span {
    grid-column:2;
    grid-row:2;
  }
  .recent-writing h3 {
    font-size:16px;
  }
  .recent-writing p {
    font-size:12px;
  }
  .contact-section {
    display:block;
    padding-top:24px;
  }
  .contact-links {
    justify-content:flex-start;
    margin-top:22px;
    gap:20px 25px;
  }
  .contact-links a {
    font-size:11px;
  }
  .terminal-footer {
    display:block;
    margin-top:44px;
    padding:20px 0;
    font-size:10px;
  }
  .terminal-footer>div+div {
    margin-top:9px;
  }
  .terminal-page {
    padding-top:5px;
  }
  .page-path {
    font-size:11px;
    margin-bottom:15px;
  }
  .terminal-body .post-title {
    font-size:32px;
  }
  .post-description {
    font-size:14px;
  }
  .terminal-main>.row {
    display:flex;
    flex-direction:column;
    gap:22px;
  }
  .terminal-main>.row>.col-sm-3 {
    order:1;
  }
  .terminal-main>.row>.col-sm-9 {
    order:0;
  }
  #toc-sidebar {
    position:static!important;
    padding-top:20px;
    border-top:1px solid var(--t-border);
  }
  .terminal-cv .post-title>a {
    font-size:10px;
    padding:9px;
  }
  .terminal-cv .card-title {
    font-size:15px;
  }
  .terminal-cv td {
    font-size:12px;
    overflow-wrap:anywhere;
  }
  .blog-page {
    padding-top:5px;
  }
  .blog-hero {
    display:block;
    padding-bottom:24px;
  }
  .blog-hero h1 {
    font-size:32px;
  }
  .blog-intro {
    font-size:14px;
    line-height:1.8;
  }
  .blog-archive-count {
    font-size:10px;
    margin-top:18px;
  }
  .blog-toolbar {
    display:block;
    padding:22px 0;
  }
  .blog-search {
    max-width:none;
  }
  .blog-search-field {
    min-height:44px;
  }
  .blog-search-field input {
    font-size:12px;
  }
  .blog-toolbar-status {
    justify-content:space-between;
    padding:12px 0 0;
  }
  .blog-layout {
    display:block;
  }
  .blog-sidebar {
    position:static;
    padding:0 0 22px;
    border-bottom:1px solid var(--t-border);
    margin-bottom:25px;
  }
  .blog-sidebar-section {
    margin:0 0 15px;
    padding:0;
    border:0;
  }
  .blog-sidebar-heading {
    margin-bottom:9px;
  }
  .blog-filter-list {
    display:flex;
    flex-wrap:wrap;
    gap:5px;
  }
  .blog-filter {
    width:auto;
    padding:7px 10px;
    min-height:36px;
    gap:10px;
  }
  .blog-sidebar-note {
    display:none;
  }
  .blog-card {
    grid-template-columns:1fr;
    gap:12px;
    padding:22px 0;
  }
  .blog-card-date {
    display:flex;
    gap:16px;
  }
  .blog-card-body h3 {
    font-size:18px;
  }
  .blog-card-body>p {
    font-size:14px;
  }
  .blog-post {
    padding-top:5px;
  }
  .blog-post-header {
    margin-top:26px;
  }
  .blog-post-title {
    font-size:27px;
    line-height:1.5;
  }
  .blog-post-description {
    font-size:16px;
  }
  .blog-post-content,.blog-post-content>p:first-of-type {
    font-size:17px;
    line-height:1.9;
  }
  .blog-post-content h2 {
    font-size:23px;
  }
  .blog-post-content h3 {
    font-size:20px;
  }
  .blog-post-content pre {
    font-size:11px;
    padding:15px;
  }
  .blog-post-pagination {
    grid-template-columns:1fr;
  }
  .blog-archive-item {
    gap:12px;
  }
  .blog-archive-title {
    font-size:15px;
  }
  .blog-archive-item time {
    font-size:10px;
    white-space:nowrap;
  }
  .dialog-content {
    padding:22px;
  }
  .dialog-content h2 {
    font-size:20px;
  }
  .command-help-list {
    grid-template-columns:112px 1fr;
    font-size:11px;
  }
  ninja-keys {
    --ninja-width:calc(100% - 24px);
    --ninja-top:12px;
    --ninja-actions-height:55svh;
  }
}
@media(prefers-reduced-motion:reduce) {
  html {
    scroll-behavior:auto!important;
  }
  *,*:before,*:after {
    animation:none!important;
    transition:none!important;
  }
  .blog-post-back:hover {
    transform:none;
  }
}
.command-footer {
  padding:13px 20px;
  border-top:1px solid var(--t-border);
  font:10px/1.7 var(--t-mono);
  color:var(--t-muted);
  background:var(--t-panel);
}
ninja-keys {
  --ninja-font-size:13px;
  --ninja-selected-text-color:var(--t-text);
  --ninja-secondary-background-color:var(--t-soft);
  --ninja-separate-border:1px solid var(--t-border);
  --ninja-placeholder-color:var(--t-muted);
  --ninja-keys-text-color:var(--t-muted);
  --ninja-key-border-radius:3px;
}

/* Keep existing code-copy controls visible to keyboard and touch users. */
.code-display-wrapper:focus-within > .copy { opacity:1; color:var(--t-accent); }
.paper-bib-content .code-display-wrapper > .copy { display:none; }
@media (pointer:coarse) { .code-display-wrapper > .copy { opacity:1; } }

/* Text actions share a line box, including native disclosure summaries. */
.terminal-button::before,
.paper-actions > a::before,
.paper-bib > summary::before,
.paper-abstract > summary::before { content:"["; color:var(--t-muted); }
.terminal-button::after,
.paper-actions > a::after,
.paper-bib > summary::after,
.paper-abstract > summary::after { content:"]"; color:var(--t-muted); }
.paper-bib { font:11px/20px var(--t-mono); margin:0; padding:0; }
.paper-status .status-tag + .status-tag::before { content:"/"; color:var(--t-muted); padding:0 8px; }
.paper-bib[open] > summary::after { content:" −]"; color:var(--t-accent); }
.paper-abstract > summary::-webkit-details-marker { display:none; }
@media (pointer:coarse) {
  .paper-actions > a, .paper-bib > summary, .paper-abstract > summary, .terminal-button { min-height:44px; align-items:center; }
}

.terminal-shortcut { font:10px/20px var(--t-mono); color:var(--t-muted); }
.terminal-search-trigger:hover .terminal-search-label { text-decoration:underline; text-underline-offset:4px; }

/* Override the theme's ID-level button reset so topbar controls stay centered. */
#search-toggle.terminal-search-trigger {
  display:inline-flex;
  align-items:center;
  padding:6px 0;
  margin:0;
}
#light-toggle.terminal-theme-toggle {
  display:inline-flex;
  align-items:center;
  justify-content:center;
  padding:0;
  margin:0;
  height:32px;
}

/* External recognition stays a text link in the publication metadata. */
.publications .paper-status .status-hf {
  --tag-color:var(--t-accent);
  text-transform:none;
  text-decoration:none;
}
.publications .paper-status .status-hf:hover {
  text-decoration:underline;
  text-underline-offset:3px;
}

.paper .equal-contribution { color:var(--t-accent); font-size:.75em; margin-left:1px; }
.paper .author-contribution { color:var(--t-muted); font:10px/1.7 var(--t-mono); margin:0 0 6px; }

/* Blog opens a separate reading space, apart from the academic navigation. */
.terminal-blog-entry {
  position:relative;
  display:inline-flex;
  align-items:center;
  gap:6px;
  min-height:32px;
  padding:6px 0 6px 24px;
  margin-right:6px;
  color:var(--t-muted);
  font:12px/20px var(--t-mono);
  text-decoration:none;
  white-space:nowrap;
}
.terminal-blog-entry::before {
  content:"";
  position:absolute;
  left:0;
  top:50%;
  transform:translateY(-50%);
  height:16px;
  border-left:1px solid var(--t-border);
}
.terminal-blog-entry:hover { color:var(--t-accent); }
.terminal-blog-entry > span { font-size:11px; }
@media (max-width:767px) {
  .terminal-blog-entry { padding-left:12px; margin-right:4px; font-size:11px; gap:4px; min-height:40px; }
}