@charset "UTF-8";
@font-face {
  font-family: "Public Sans";
  src: url("../fonts/public-sans/PublicSans-400.ttf") format("truetype");
  font-style: normal;
  font-weight: 400;
  font-display: swap;
}
@font-face {
  font-family: "Public Sans";
  src: url("../fonts/public-sans/PublicSans-500.ttf") format("truetype");
  font-style: normal;
  font-weight: 500;
  font-display: swap;
}
@font-face {
  font-family: "Public Sans";
  src: url("../fonts/public-sans/PublicSans-600.ttf") format("truetype");
  font-style: normal;
  font-weight: 600;
  font-display: swap;
}
@font-face {
  font-family: "Public Sans";
  src: url("../fonts/public-sans/PublicSans-700.ttf") format("truetype");
  font-style: normal;
  font-weight: 700;
  font-display: swap;
}
:root {
  --bg: #fffdf5;
  --surface: #fffefa;
  --text: #315574;
  --muted: #5b7185;
  --heading: #1e4468;
  --link: #245a91;
  --link-hover: #17446f;
  --border: #aab8b8;
  --accent: #f5e8bb;
  --icon-bg: #245a91;
  --icon-bg-hover: #000000;
  --map-wash: #f8eddb;
  --map-ink: #1e4468;
  --map-rule: #20383d;
  --map-smudge: #20383d;
  --map-speck: rgba(41, 38, 42, 0.06);
  --accent-font: "Iowan Old Style", "Charter", "Georgia", serif;
  --shell-width: clamp(61.25rem, 64vw, 72.5rem);
  --pressed-rule-shadow-bottom: 0 1px 0 color-mix(in srgb, var(--surface) 46%, transparent), 0 -1px 0 color-mix(in srgb, var(--heading) 8%, transparent);
  --pressed-rule-shadow-top: 0 -1px 0 color-mix(in srgb, var(--surface) 38%, transparent), 0 1px 0 color-mix(in srgb, var(--heading) 7%, transparent);
  --theme-fade-duration: 260ms;
  --theme-fade-ease: ease;
  --theme-paint-transition:
    background-color var(--theme-fade-duration) var(--theme-fade-ease),
    border-color var(--theme-fade-duration) var(--theme-fade-ease),
    outline-color var(--theme-fade-duration) var(--theme-fade-ease),
    text-decoration-color var(--theme-fade-duration) var(--theme-fade-ease);
  --theme-text-transition:
    color var(--theme-fade-duration) var(--theme-fade-ease),
    text-decoration-color var(--theme-fade-duration) var(--theme-fade-ease);
  --rule-frame-width: 3px;
  --rule-section-width: 2px;
  --rule-detail-width: 1px;
  --rule-frame-color: color-mix(in srgb, var(--map-rule) 92%, transparent);
  --rule-section-color: color-mix(in srgb, var(--map-rule) 82%, transparent);
  --rule-detail-color: color-mix(in srgb, var(--map-rule) 68%, transparent);
  --theme-transition:
    var(--theme-paint-transition),
    var(--theme-text-transition);
}

:root {
  --rule-frame-color: color-mix(in srgb, var(--map-rule) 82%, var(--surface));
  --rule-section-color: color-mix(in srgb, var(--map-rule) 68%, var(--surface));
  --rule-detail-color: color-mix(in srgb, var(--map-rule) 42%, var(--surface));
}

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #171c23;
    --surface: #202832;
    --text: #d1e0ef;
    --muted: #9fb3c8;
    --heading: #e0efff;
    --link: #bddcff;
    --link-hover: #ffffff;
    --border: #587173;
    --accent: #4a4435;
    --icon-bg: #426b98;
    --icon-bg-hover: #315885;
    --map-wash: #202731;
    --map-ink: #e0efff;
    --map-rule: #b9d0cd;
    --map-smudge: #b9d0cd;
    --map-speck: rgba(220, 228, 236, 0.07);
  }
  html:not([data-theme=light]) {
    color-scheme: dark;
  }
}
html[data-theme=light] {
  --bg: #fffdf5;
  --surface: #fffefa;
  --text: #315574;
  --muted: #5b7185;
  --heading: #1e4468;
  --link: #245a91;
  --link-hover: #17446f;
  --border: #aab8b8;
  --accent: #f5e8bb;
  --icon-bg: #245a91;
  --icon-bg-hover: #000000;
  --map-wash: #f8eddb;
  --map-ink: #1e4468;
  --map-rule: #20383d;
  --map-smudge: #20383d;
  --map-speck: rgba(41, 38, 42, 0.06);
  color-scheme: light;
}

html[data-theme=dark] {
  --bg: #171c23;
  --surface: #202832;
  --text: #d1e0ef;
  --muted: #9fb3c8;
  --heading: #e0efff;
  --link: #bddcff;
  --link-hover: #ffffff;
  --border: #587173;
  --accent: #4a4435;
  --icon-bg: #426b98;
  --icon-bg-hover: #315885;
  --map-wash: #202731;
  --map-ink: #e0efff;
  --map-rule: #b9d0cd;
  --map-smudge: #b9d0cd;
  --map-speck: rgba(220, 228, 236, 0.07);
  color-scheme: dark;
}

html {
  scrollbar-gutter: stable;
  overscroll-behavior-y: none;
  background-color: var(--bg);
  color: var(--text);
  color-scheme: light;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  min-height: 100vh;
  padding: 1.6rem 1.25rem 2.5rem;
  background-color: var(--bg);
  color: var(--text);
  font: 16px/1.6 "Public Sans", sans-serif;
  transition: var(--theme-text-transition);
}

.skip-link {
  position: absolute;
  top: 0.5rem;
  left: 0.75rem;
  z-index: 2000;
  padding: 0.45rem 0.7rem;
  border-radius: 0.4rem;
  border: 1px solid var(--border);
  background: var(--surface);
  color: var(--heading);
  text-decoration: none;
  transform: translateY(-150%);
}

.skip-link:focus-visible {
  transform: translateY(0);
  outline: 2px solid var(--link);
  outline-offset: 2px;
}

a:focus-visible,
button:focus-visible,
summary:focus-visible,
[role=button]:focus-visible,
.btn:focus-visible {
  outline: 2px solid var(--link);
  outline-offset: 2px;
}

a:focus-visible {
  text-decoration: underline;
}

html.theme-preload,
html.theme-preload body,
html.theme-preload body *,
html.theme-preload body *::before,
html.theme-preload body *::after {
  transition: none !important;
}

:where(button,
input,
textarea,
select,
summary,
.btn,
.label,
.top-bar,
.skip-link,
.post-shell-header,
.page-shell-header--ruled,
.page-bottom-rule,
.social-icons a,
.home-split,
.home-identity-icons .home-icon-link,
.home-interest-grid,
.home-contact,
.pub-filter-view-toggle,
.pub-filter-view--list .pub-filter-panel,
.pub-area-tree-children,
.pub-area-filter,
.pub-area-filter--visual,
.pub-more-menu,
blockquote,
pre,
th,
td) {
  transition: var(--theme-paint-transition);
}

:where(a,
.top-name,
.top-role,
.top-nav a,
.skip-link,
.site-title,
.pronouns,
.site-meta,
.social-icons a,
.page-shell-title,
.post-shell-date,
.pub-equal-note,
.pub-filter-summary,
.pub-filter-view-button,
.pub-area-filter,
.pub-area-filter--visual,
.pub-area-venn-title,
.pub-area-venn-label,
.pub-empty-state,
.pub-links,
.pub-more-menu,
.home-title,
.home-identity-icons .home-icon-link,
.home-interest-summary,
.home-interest-links-inline,
.home-subtle-links,
.jump-nav,
.external-link,
h1,
h2,
h3,
h4,
h5,
h6,
blockquote,
pre,
code,
th,
td) {
  transition: var(--theme-transition);
}

:where(span,
strong,
em,
small,
time,
i,
svg,
.home-meta-line,
.home-meta-line a,
.home-meta-copy,
.pub-title,
.pub-authors,
.pub-venue,
.pub-note,
.pub-more-link) {
  transition: none;
}

/* Text-only owners must not carry a theme background unless a later rule overrides it. */
:where(h1,
h2,
h3,
h4,
h5,
h6,
.top-name,
.top-role,
.site-title,
.pronouns,
.site-meta,
.page-shell-title,
.post-shell-date,
.home-title,
.pub-equal-note,
.pub-filter-summary,
.pub-area-venn-title,
.pub-area-venn-label,
.pub-year-sticky,
.pub-empty-state,
.jump-nav,
.external-link) {
  transition: var(--theme-text-transition);
}

@media (prefers-reduced-motion: reduce) {
  html,
  body,
  body *,
  body *::before,
  body *::after {
    transition: none !important;
  }
}
.top-shell {
  max-width: var(--shell-width);
  margin: 0 auto;
}

.top-bar {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  justify-content: space-between;
  gap: 0.75rem 1.5rem;
  border-top: var(--rule-frame-width) solid var(--rule-frame-color);
  border-bottom: var(--rule-section-width) solid var(--rule-section-color);
  box-shadow: none;
  padding-top: 0.74rem;
  padding-bottom: 0.8rem;
  margin-bottom: 1.4rem;
}

.top-name {
  font-family: var(--accent-font);
  font-size: 1.78rem;
  font-weight: 700;
  letter-spacing: 0;
  color: var(--heading);
  text-decoration: none;
}

.top-name-heading {
  margin: 0;
  font: inherit;
  line-height: inherit;
}

.top-brand {
  display: flex;
  align-items: center;
}

.top-name:hover,
.top-name:focus-visible {
  color: var(--heading);
  background: transparent;
  box-shadow: none;
  text-decoration: none;
}

.top-role {
  margin: 0.15rem 0 0;
  color: var(--muted);
}

.top-nav {
  display: flex;
  flex-wrap: wrap;
  gap: 0.3rem 0.34rem;
  align-items: center;
}

.top-nav a {
  color: var(--link);
  text-decoration: none;
  font-weight: 700;
  line-height: 1.15;
  padding: 0.17rem 0.34rem 0.15rem;
  border-radius: 3px;
  transition: none;
}

.top-nav a:hover,
.top-nav a:focus-visible,
.top-nav a.is-active {
  color: var(--bg);
  background: var(--heading);
  text-decoration: none;
}

.top-nav a:focus-visible {
  outline: var(--rule-section-width) solid var(--heading);
  outline-offset: 2px;
}

.top-main {
  max-width: 760px;
}

.top-main--home {
  max-width: none;
}

.top-main--publications {
  max-width: calc(var(--shell-width) - 5rem);
}

.top-main--bio {
  max-width: none;
}

.post-shell-header {
  margin-bottom: 1.25rem;
  padding-bottom: 0.75rem;
  border-bottom: var(--rule-section-width) solid var(--rule-section-color);
  box-shadow: none;
}

.page-shell-header {
  margin-bottom: 1.25rem;
  padding-bottom: 0;
  border-bottom: 0;
  box-shadow: none;
}

.page-shell-header--ruled {
  padding-bottom: 0.72rem;
  border-bottom: var(--rule-section-width) solid var(--rule-section-color);
  box-shadow: none;
}

.page-shell-title {
  margin: 0;
}

.page-bottom-rule {
  margin-top: 1rem;
  width: min(var(--shell-width), 100vw - 2.5rem);
  border-bottom: var(--rule-frame-width) solid var(--rule-frame-color);
  box-shadow: none;
}

.bio-text {
  margin: 0;
}

.bio-text p {
  text-align: justify;
  text-wrap: pretty;
  line-height: 1.7;
}

.bio-text p:last-child {
  margin-bottom: 0;
}

.post-shell-title {
  margin: 0 0 0.35rem;
}

.post-shell-date {
  margin: 0;
  color: var(--muted);
  font-size: 0.92rem;
}

.post-shell img {
  max-width: 100%;
  height: auto;
}

.post-shell .deepphish-image {
  border: 1px solid var(--border);
}

.wrapper {
  max-width: 1100px;
  margin: 0 auto;
  position: relative;
}

.site-header,
.site-content,
.site-footer {
  background: transparent;
  border: 0;
  border-radius: 0;
}

.site-sidebar {
  position: fixed;
  top: 1.25rem;
  bottom: 1.25rem;
  left: max(1.25rem, (100vw - 1100px) / 2);
  width: min(320px, 100vw - 2.5rem);
  display: flex;
  flex-direction: column;
  justify-content: flex-start;
}

.site-content {
  margin-left: 360px;
  max-width: 740px;
  padding: 0;
}

.site-header {
  text-align: center;
  padding: 0;
}

.site-title {
  margin: 0;
  font-family: var(--accent-font);
  font-size: 2rem;
  line-height: 1.1;
  letter-spacing: 0;
  color: var(--heading);
}

.pronouns {
  margin: 0.4rem 0 1rem;
  color: var(--muted);
}

.avatar {
  width: 180px;
  max-width: 100%;
  border-radius: 18%;
  margin-bottom: 1rem;
}

.site-meta {
  margin: 0;
  color: var(--muted);
}

.site-footer {
  position: static;
  padding: 0;
  margin-top: 1rem;
}

.social-icons {
  display: flex;
  justify-content: center;
  gap: 0.65rem;
}

.social-icons a {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  width: 2.85rem;
  height: 2.25rem;
  border-radius: 7px;
  border: 1px solid color-mix(in srgb, var(--icon-bg) 18%, var(--border));
  color: var(--heading) !important;
  background-color: color-mix(in srgb, var(--accent) 70%, var(--surface));
  text-decoration: none;
  transition: none;
}

.social-icons a i,
.social-icons a svg,
.home-identity-icons .home-icon-link i,
.home-identity-icons .home-icon-link svg {
  transition: none;
}

.social-icons a:hover {
  background-color: var(--accent);
  border-color: color-mix(in srgb, var(--icon-bg) 42%, var(--border));
  color: var(--heading) !important;
  text-decoration: none;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  margin: 0 0 1rem;
  color: var(--heading);
  line-height: 1.2;
}

h1,
h2 {
  font-family: var(--accent-font);
  font-weight: 600;
  letter-spacing: 0;
}

.top-main:not(.top-main--home) h3 {
  font-family: var(--accent-font);
  font-weight: 600;
  letter-spacing: 0;
}

.top-main--list-page > h3 {
  margin-bottom: 0.45rem;
}

.service-note,
.pub-equal-note {
  margin: 0;
  color: var(--muted);
  font-size: 0.8rem;
  line-height: 1.25;
}

.service-note {
  margin-bottom: 0.85rem;
  padding-top: 0.2rem;
}

.note-mark,
.top-main--list-page a sup {
  color: var(--map-rule);
  font-weight: 700;
}

.note-mark {
  font-size: 0.7rem;
  line-height: 0;
  vertical-align: super;
}

.top-main--list-page > ul {
  margin-bottom: 1.35rem;
  padding-left: 1.2rem;
}

.top-main--list-page > ul li + li {
  margin-top: 0.08rem;
}

.top-main--list-page > ul:last-of-type {
  margin-bottom: 0;
}

h2 {
  font-size: 1.45rem;
  margin-top: 2rem;
}

p,
ul,
ol,
pre,
blockquote,
table,
dl {
  margin: 0 0 1rem;
}

ul,
ol {
  padding-left: 1.35rem;
}

a {
  color: var(--link);
  text-decoration: none;
  text-decoration-color: color-mix(in srgb, currentColor 58%, transparent);
  text-decoration-thickness: 1px;
  text-underline-offset: 0.13em;
  font-weight: inherit;
}

a:hover {
  color: var(--link-hover);
  text-decoration: none;
}

a:not(.btn):not(.skip-link):not(.top-name):not(.home-interest-summary):not(.home-icon-link):not(.top-nav-link):not(.pub-more-link) {
  border-radius: 1px;
  transition: none;
  -webkit-box-decoration-break: clone;
  box-decoration-break: clone;
}

a:not(.btn):not(.skip-link):not(.top-name):not(.home-interest-summary):not(.home-icon-link):not(.top-nav-link):not(.pub-more-link):hover,
a:not(.btn):not(.skip-link):not(.top-name):not(.home-interest-summary):not(.home-icon-link):not(.top-nav-link):not(.pub-more-link):focus-visible {
  color: var(--bg);
  background-color: var(--heading);
  box-shadow: 0 0 0 0.1em var(--heading);
  text-decoration: none;
}

strong {
  color: inherit;
  font-weight: 600;
  transition: none;
}

span.jaron {
  text-decoration-line: underline;
  text-decoration-thickness: 2px;
  text-underline-offset: 2px;
}

.pub-year-group {
  display: grid;
  grid-template-columns: 4rem minmax(0, 1fr);
  column-gap: 0.95rem;
  align-items: start;
  margin: 0 0 0.45rem;
  opacity: 1;
}

.pub-layout {
  display: block;
}

.pub-header-row {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 0.7rem;
  margin: -0.2rem 0 0.65rem;
  flex-wrap: wrap;
}

.pub-list-main {
  min-width: 0;
}

.pub-filter-toolbar {
  display: block;
  text-align: right;
  margin: 0;
}

.pub-filter-summary {
  border: 0;
  border-radius: 0;
  background: transparent;
  color: var(--muted);
  font-size: 0.74rem;
  line-height: 1.2;
  padding: 0.1rem 0.2rem;
  cursor: pointer;
  user-select: none;
  display: inline-block;
}

.pub-filter-summary::after {
  content: "▾";
  display: inline-block;
  margin-left: 0.28rem;
  font-size: 0.7rem;
  line-height: 1;
  transform-origin: 50% 45%;
  transition: transform 140ms ease;
}

.pub-filter-summary[aria-expanded=true] {
  color: var(--text);
}

.pub-filter-summary[aria-expanded=true]::after {
  transform: rotate(180deg);
}

.pub-filter-panel-row {
  margin-top: 0.35rem;
  padding-top: 0.2rem;
  margin-left: 4.95rem;
  width: calc(100% - 4.95rem);
  text-align: right;
  display: flex;
  flex-wrap: wrap;
  justify-content: flex-end;
  align-items: flex-start;
  gap: 0.45rem 0.7rem;
  opacity: 0;
  pointer-events: none;
  transition: none;
}

.pub-filter-panel-row.is-open {
  opacity: 1;
  pointer-events: auto;
}

.pub-filter-panel-row .is-panel-motion-target {
  opacity: 0;
  transform: none;
  transition: none;
  transition-delay: 0ms;
}

.pub-filter-panel-row .is-panel-motion-target.pub-area-venn-title,
.pub-filter-panel-row .is-panel-motion-target.pub-area-venn-label--centered {
  transform: translateX(-50%);
}

.pub-filter-panel-row.is-open .is-panel-motion-target {
  opacity: 1;
  transform: none;
}

.pub-filter-panel-row.is-open .is-panel-motion-target.pub-area-venn-title,
.pub-filter-panel-row.is-open .is-panel-motion-target.pub-area-venn-label--centered {
  transform: translateX(-50%);
}

.pub-filter-panel-row[hidden] {
  display: none !important;
}

.pub-filter-view-toggle {
  display: inline-flex;
  gap: 0.22rem;
  margin: 0;
  padding: 0.14rem;
  border: 1px solid color-mix(in srgb, var(--border) 64%, transparent);
  border-radius: 999px;
  background: transparent;
  flex: 0 0 auto;
  order: 2;
}

.pub-filter-view-stack {
  position: relative;
  flex: 1 1 29rem;
  min-width: min(100%, 29rem);
  order: 1;
}

.pub-filter-view {
  text-align: left;
  width: 100%;
  opacity: 1;
  transform: translateY(0);
  transition: none;
}

.pub-filter-view.is-view-overlay {
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  pointer-events: none;
}

.pub-filter-view.is-view-entering,
.pub-filter-view.is-view-leaving {
  opacity: 0;
  transform: translateY(0.18rem);
}

.pub-filter-view-button {
  appearance: none;
  border: 0;
  background: transparent;
  color: var(--heading);
  font: inherit;
  font-size: 0.76rem;
  line-height: 1.2;
  border-radius: 999px;
  padding: 0.2rem 0.58rem;
  cursor: pointer;
}

.pub-filter-view-button:hover {
  background: color-mix(in srgb, var(--accent) 20%, transparent);
  color: var(--heading);
}

.pub-filter-view-button.is-active {
  background: var(--icon-bg-hover);
  color: #fff;
  box-shadow: 0 0 0 1px color-mix(in srgb, #000 16%, transparent) inset;
}

.pub-filter-view[hidden] {
  display: none !important;
}

.pub-area-filters {
  display: flex;
  flex-direction: column;
  gap: 0.4rem;
  margin: 0;
}

.pub-filter-panel {
  display: block;
}

.pub-area-tree-node {
  display: flex;
  flex-direction: column;
  gap: 0.25rem;
}

.pub-area-tree-node--domain {
  margin-top: 0.05rem;
}

.pub-area-tree-node--track {
  margin-top: 0.12rem;
}

.pub-area-tree-children {
  display: flex;
  flex-direction: column;
  gap: 0.3rem;
  padding-left: 0.65rem;
  border-left: 1px solid color-mix(in srgb, var(--border) 90%, transparent);
}

.pub-filter-view--list .pub-area-tree-node--domain {
  margin-top: 0;
  padding-top: 0.2rem;
  border-top: 1px solid color-mix(in srgb, var(--border) 72%, transparent);
}

.pub-filter-view--list .pub-area-tree-node--domain:first-child {
  padding-top: 0.04rem;
  border-top: 0;
}

.pub-filter-view--list .pub-area-tree-children {
  border-left: 1px solid color-mix(in srgb, var(--border) 72%, transparent);
  padding-left: 0.48rem;
}

.pub-filter-view--list .pub-area-tree-node {
  display: flex;
  flex-direction: column;
  gap: 0.22rem;
}

.pub-filter-view--list .pub-filter-panel {
  display: flex;
  flex-direction: column;
  gap: 0.24rem;
  border: 1px solid color-mix(in srgb, var(--border) 64%, transparent);
  border-radius: 0.65rem;
  background: transparent;
  padding: 0.36rem 0.42rem;
  width: fit-content;
  max-width: min(100%, 44rem);
}

.pub-filter-view--list .pub-area-filters {
  align-items: flex-start;
}

.pub-filter-view--list .pub-area-layout {
  display: inline-flex;
  flex-direction: column;
  gap: 0.22rem;
}

.pub-filter-view--list .pub-area-children {
  display: flex;
  flex-direction: column;
  gap: 0.2rem;
  margin-left: 0.24rem;
  padding-left: 0.44rem;
  border-left: 1px solid color-mix(in srgb, var(--border) 72%, transparent);
}

.pub-filter-view--list .pub-area-children > * {
  position: relative;
}

.pub-filter-view--list .pub-area-children > *::before {
  content: "";
  position: absolute;
  top: 0.62rem;
  left: -0.44rem;
  width: 0.34rem;
  border-top: 1px solid color-mix(in srgb, var(--border) 70%, transparent);
}

.pub-filter-view--list .pub-area-row {
  display: flex;
  align-items: flex-start;
  column-gap: 0.28rem;
  row-gap: 0.18rem;
  flex-wrap: wrap;
}

.pub-filter-view--list .pub-area-row--domain .pub-area-filter--domain {
  width: 100%;
  min-width: 7.25rem;
}

.pub-filter-view--list .pub-area-row--tracks .pub-area-filter--track {
  min-width: 13.2rem;
}

.pub-filter-view--list .pub-area-row--tracks {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  align-items: start;
  column-gap: 0.24rem;
}

.pub-filter-view--list .pub-area-row--tracks > * + * {
  border-left: 1px solid color-mix(in srgb, var(--border) 72%, transparent);
  padding-left: 0.3rem;
}

.pub-filter-view--list .pub-area-row--tracks > * {
  position: relative;
}

.pub-filter-view--list .pub-area-row--tracks > *::before {
  content: "";
  position: absolute;
  top: -0.22rem;
  left: 0.56rem;
  height: 0.22rem;
  border-left: 1px solid color-mix(in srgb, var(--border) 68%, transparent);
}

.pub-filter-view--list .pub-area-row--hf-subtracks {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  align-items: start;
  column-gap: 0.24rem;
}

.pub-filter-view--list .pub-area-row--hf-subtracks > * + * {
  border-left: 1px solid color-mix(in srgb, var(--border) 72%, transparent);
  padding-left: 0.3rem;
}

.pub-filter-view--list .pub-area-row--hf-subtracks > * {
  position: relative;
}

.pub-filter-view--list .pub-area-row--hf-subtracks > *::before {
  content: "";
  position: absolute;
  top: -0.22rem;
  left: 0.56rem;
  height: 0.22rem;
  border-left: 1px solid color-mix(in srgb, var(--border) 68%, transparent);
}

.pub-filter-view--list .pub-area-hf-branch {
  display: inline-flex;
  flex-direction: column;
  gap: 0.18rem;
  min-width: 0;
}

.pub-filter-view--list .pub-area-hf-branch > .pub-area-filter--track {
  width: 100%;
}

.pub-filter-view--list .pub-area-ml-branch {
  display: inline-flex;
  flex-direction: column;
  gap: 0.18rem;
  min-width: 13.2rem;
}

.pub-filter-view--list .pub-area-ml-branch > .pub-area-filter--track {
  width: 100%;
}

.pub-filter-view--list .pub-area-children--ml {
  margin-left: 0.2rem;
  padding-left: 0.4rem;
}

.pub-filter-view--list .pub-area-row--ml-leaves {
  gap: 0.24rem;
}

.pub-filter-view--list .pub-area-filter--usable-sp {
  align-self: flex-start;
}

.pub-filter-view--list .pub-area-filter--domain,
.pub-filter-view--list .pub-area-filter--track {
  border: 1px solid color-mix(in srgb, var(--border) 68%, transparent);
  background: transparent;
  color: var(--heading);
  font-size: 0.7rem;
  letter-spacing: 0;
  text-transform: none;
  font-weight: 500;
  line-height: 1.2;
  border-radius: 0.44rem;
  padding: 0.14rem 0.36rem;
}

.pub-filter-view--list .pub-area-tree-node--domain > .pub-area-tree-children {
  display: flex;
  flex-direction: column;
  gap: 0.28rem;
}

.pub-filter-view--list .pub-area-filter--domain {
  font-size: 0.73rem;
  font-weight: 600;
  color: var(--heading);
  margin-bottom: 0.05rem;
}

.pub-filter-view--list .pub-area-tree-node--track > .pub-area-tree-children,
.pub-filter-view--list .pub-area-tree-node--track-flat {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.24rem;
}

.pub-filter-view--list .pub-area-filter--area {
  border-radius: 999px;
  border: 1px solid color-mix(in srgb, var(--border) 68%, transparent);
  background: transparent;
  color: var(--heading);
  font-size: 0.73rem;
  line-height: 1.2;
  padding: 0.13rem 0.4rem;
  text-align: center;
  white-space: nowrap;
}

.pub-filter-view--list .pub-area-filter--area {
  border-radius: 0.44rem;
}

.pub-filter-view--list .pub-area-filter--domain:hover,
.pub-filter-view--list .pub-area-filter--track:hover,
.pub-filter-view--list .pub-area-filter--area:hover {
  border-color: color-mix(in srgb, var(--muted) 40%, var(--border));
  background: color-mix(in srgb, var(--accent) 18%, transparent);
  color: var(--heading);
}

.pub-filter-view--list .pub-area-filter--domain.is-active,
.pub-filter-view--list .pub-area-filter--track.is-active,
.pub-filter-view--list .pub-area-filter--area.is-active,
.pub-filter-view--list .pub-area-filter--domain.is-active:hover,
.pub-filter-view--list .pub-area-filter--track.is-active:hover,
.pub-filter-view--list .pub-area-filter--area.is-active:hover {
  background: var(--icon-bg-hover);
  border-color: color-mix(in srgb, var(--icon-bg) 56%, var(--border));
  color: #fff;
  font-weight: 600;
}

.pub-filter-view--list .pub-area-filter--domain.is-partial,
.pub-filter-view--list .pub-area-filter--track.is-partial,
.pub-filter-view--list .pub-area-filter--area.is-partial,
.pub-filter-view--list .pub-area-filter--domain.is-partial:hover,
.pub-filter-view--list .pub-area-filter--track.is-partial:hover,
.pub-filter-view--list .pub-area-filter--area.is-partial:hover {
  background: color-mix(in srgb, var(--accent) 18%, var(--surface));
  border-color: color-mix(in srgb, var(--icon-bg) 36%, var(--border));
  border-style: dashed;
  color: var(--muted);
  font-weight: 500;
  box-shadow: 0 0 0 1px color-mix(in srgb, var(--icon-bg) 12%, transparent) inset;
}

.pub-area-filter {
  appearance: none;
  border: 1px solid var(--border);
  background: var(--surface);
  color: var(--text);
  border-radius: 999px;
  padding: 0.2rem 0.55rem;
  font: inherit;
  font-size: 0.82rem;
  line-height: 1.35;
  cursor: pointer;
  text-align: left;
}

.pub-area-filter--domain {
  font-weight: 600;
}

.pub-area-filter--track {
  font-size: 0.79rem;
}

.pub-area-filter--area {
  font-size: 0.78rem;
}

.pub-area-filter:hover {
  border-color: var(--muted);
  color: var(--heading);
}

.pub-area-filter.is-active {
  background: transparent;
  border-color: color-mix(in srgb, var(--icon-bg) 58%, var(--border));
  color: var(--heading);
}

.pub-area-filter.is-partial {
  background: transparent;
  border-color: color-mix(in srgb, var(--icon-bg) 42%, var(--border));
  color: var(--heading);
}

.pub-area-filter.is-active:hover {
  background: transparent;
  border-color: color-mix(in srgb, var(--icon-bg-hover) 62%, var(--border));
  color: var(--heading);
}

.pub-area-filter.is-direct-selected {
  background: var(--icon-bg);
  border-color: var(--icon-bg);
  color: #fff;
}

.pub-area-filter.is-direct-selected:hover {
  background: var(--icon-bg-hover);
  border-color: var(--icon-bg-hover);
  color: #fff;
}

/* Keep hierarchy nodes unfilled; only leaf nodes use filled active states. */
.pub-area-filter--domain.is-active,
.pub-area-filter--track.is-active,
.pub-area-filter--domain.is-active:hover,
.pub-area-filter--track.is-active:hover {
  background: transparent;
  color: var(--heading);
  border-color: color-mix(in srgb, var(--icon-bg) 58%, var(--border));
}

.pub-area-filter--domain:hover,
.pub-area-filter--track:hover,
.pub-area-filter--domain.is-partial,
.pub-area-filter--track.is-partial,
.pub-area-filter--domain.is-partial:hover,
.pub-area-filter--track.is-partial:hover {
  background: transparent;
  box-shadow: none;
}

.pub-area-venn {
  --venn-width: 18.6rem;
  --venn-height: 13.2rem;
  --circle-size: 5.2rem;
  --inner-offset-y: 0.7rem;
  --top-y: 2.05rem;
  --left-x: 0.7rem;
  --right-x: 5.3rem;
  --bottom-y: 5.2rem;
  --bottom-x: 3rem;
  position: relative;
  width: var(--venn-width);
  min-width: var(--venn-width);
  height: var(--venn-height);
  min-height: var(--venn-height);
  border: 0;
  border-radius: 0.75rem;
  background: transparent;
  overflow: visible;
  padding: 0.28rem;
  margin: 0 auto;
}

.pub-area-venn-title {
  appearance: none;
  position: absolute;
  top: calc(1.4rem + var(--inner-offset-y));
  left: calc((var(--left-x) + var(--right-x)) / 2 + var(--circle-size) / 2);
  transform: translateX(-50%);
  border: 0;
  background: transparent;
  padding: 0;
  margin: 0;
  font-size: 0.74rem;
  font-weight: 600;
  color: var(--heading);
  cursor: pointer;
}

.pub-area-venn-title,
.pub-area-venn-title:hover,
.pub-area-venn-title.is-active,
.pub-area-venn-title.is-partial {
  border: 0 !important;
  background: transparent !important;
  border-color: transparent !important;
  box-shadow: none !important;
  color: var(--heading);
}

.pub-area-filter--visual {
  position: absolute;
  border-radius: 50%;
  border-width: 1.2px;
  border-style: solid;
  box-sizing: border-box;
  padding: 0.26rem 0.3rem;
  text-align: center;
  font-size: 0.62rem;
  line-height: 1.2;
  width: var(--circle-size);
  height: var(--circle-size);
  white-space: normal;
  display: grid;
  place-items: center;
  text-wrap: balance;
  max-inline-size: 96%;
  background: transparent;
  border-color: color-mix(in srgb, var(--border) 76%, var(--icon-bg) 24%);
  color: color-mix(in srgb, var(--heading) 82%, var(--text) 18%);
  transition: color var(--theme-fade-duration) var(--theme-fade-ease), box-shadow 220ms ease, background-color 220ms ease, border-color 220ms ease, transform 180ms ease;
  pointer-events: none;
}

.pub-area-filter--visual .pub-area-filter-label {
  pointer-events: auto;
  display: inline-block;
}

.pub-area-filter--visual-ml-enabled-abuse {
  top: calc(var(--top-y) + var(--inner-offset-y));
  left: var(--left-x);
  z-index: 3;
}

.pub-area-filter--visual-ml-security-and-privacy {
  top: calc(var(--top-y) + var(--inner-offset-y));
  left: var(--right-x);
  z-index: 3;
}

.pub-area-filter--visual-ml-for-security-applications {
  top: calc(var(--bottom-y) + var(--inner-offset-y));
  left: var(--bottom-x);
  z-index: 4;
}

.pub-area-filter--visual-human-factors {
  top: calc(var(--top-y) - 0.75rem + var(--inner-offset-y));
  left: calc(var(--left-x) - 0.45rem);
  width: calc(var(--right-x) - var(--left-x) + 2 * var(--circle-size) + 1.8rem);
  height: calc(var(--bottom-y) - var(--top-y) + var(--circle-size) + 1.5rem);
  max-inline-size: none;
  border-radius: 0.95rem;
  font-size: 0.7rem;
  line-height: 1.1;
  text-align: left;
  align-items: start;
  justify-items: start;
  padding: 0.35rem 0.55rem;
  z-index: 1;
  overflow: visible;
}

.pub-area-filter--visual-sp-research {
  top: calc(var(--top-y) - 1.25rem);
  left: calc(var(--left-x) - 0.85rem);
  width: calc(var(--right-x) - var(--left-x) + 3 * var(--circle-size) + 1.2rem - 0.3rem);
  height: calc(var(--bottom-y) - var(--top-y) + var(--circle-size) + 3.1rem);
  max-inline-size: none;
  border-radius: 1.05rem;
  z-index: 0;
  overflow: visible;
}

.pub-area-venn-label {
  appearance: none;
  position: absolute;
  border: 0;
  background: transparent;
  padding: 0;
  margin: 0;
  color: var(--heading);
  font-size: 0.7rem;
  font-weight: 600;
  line-height: 1;
  white-space: nowrap;
  z-index: 9;
  cursor: pointer;
  pointer-events: auto;
}

.pub-area-venn-label,
.pub-area-venn-label:hover,
.pub-area-venn-label.is-active,
.pub-area-venn-label.is-partial {
  border: 0 !important;
  background: transparent !important;
  box-shadow: none !important;
  color: var(--heading);
}

.pub-area-filter--visual-sp-research-label {
  top: calc(var(--top-y) - 1.25rem - 0.95rem);
  left: calc(var(--left-x) - 0.85rem + (var(--right-x) - var(--left-x) + 3 * var(--circle-size) + 1.2rem - 0.3rem) / 2);
  transform: translateX(-50%);
}

.pub-area-filter--visual-human-factors-label {
  top: calc(var(--top-y) - 0.75rem - 0.95rem + var(--inner-offset-y));
  left: calc(var(--left-x) + 0.1rem);
}

.pub-area-filter--visual-non-ml-human-factors {
  top: calc((var(--top-y) + var(--bottom-y)) / 2 + var(--inner-offset-y));
  left: calc(var(--right-x) + var(--circle-size) + 0.9rem);
  z-index: 3;
  width: var(--circle-size);
  height: var(--circle-size);
}

.pub-area-filter--visual-system-security {
  top: calc((var(--top-y) + var(--bottom-y)) / 2 + var(--inner-offset-y));
  left: calc(var(--right-x) + var(--circle-size) + 4.9rem);
  z-index: 3;
  width: var(--circle-size);
  height: var(--circle-size);
}

.pub-area-filter--visual-system-security .pub-area-filter-label {
  transform: translateX(0.28rem);
}

.pub-area-filter--visual-non-ml-human-factors .pub-area-filter-label {
  transform: translateX(-0.28rem);
}

.pub-area-filter--visual-leaf:hover {
  border-color: color-mix(in srgb, var(--icon-bg) 62%, var(--border));
  background: transparent;
  box-shadow: 0 0 0 2px color-mix(in srgb, var(--icon-bg) 26%, transparent), 0 6px 14px color-mix(in srgb, var(--icon-bg) 16%, transparent);
  transform: translateY(-1px);
}

.pub-area-filter--visual-leaf {
  pointer-events: auto;
}

.pub-area-filter--visual:not(.pub-area-filter--visual-leaf).is-active,
.pub-area-filter--visual:not(.pub-area-filter--visual-leaf).is-active:hover {
  background: transparent;
  border-color: color-mix(in srgb, var(--border) 76%, var(--icon-bg) 24%);
  box-shadow: none;
  color: color-mix(in srgb, var(--heading) 82%, var(--text) 18%);
  transform: none;
}

.pub-area-filter--visual-leaf.is-active {
  background: transparent;
  border-color: color-mix(in srgb, var(--icon-bg) 86%, var(--border));
  box-shadow: none;
  color: var(--heading);
}

.pub-area-filter--visual-leaf.is-active:hover {
  background: color-mix(in srgb, var(--icon-bg) 16%, transparent);
  border-color: color-mix(in srgb, var(--icon-bg) 72%, var(--border));
  box-shadow: 0 0 0 2px color-mix(in srgb, var(--icon-bg) 22%, transparent), 0 6px 14px color-mix(in srgb, var(--icon-bg) 14%, transparent);
  color: var(--heading);
}

.pub-area-filter--visual-leaf.is-partial {
  background: transparent;
  border-color: color-mix(in srgb, var(--icon-bg) 62%, var(--border));
  box-shadow: none;
  color: var(--heading);
}

.pub-area-filter--visual-leaf.is-direct-selected {
  background: color-mix(in srgb, var(--icon-bg) 18%, transparent);
  border-color: color-mix(in srgb, var(--icon-bg) 58%, var(--border));
  box-shadow: 0 0 0 1px color-mix(in srgb, var(--icon-bg) 38%, transparent) inset, 0 5px 12px color-mix(in srgb, var(--icon-bg) 22%, transparent);
}

.pub-area-filter--visual-leaf.is-hover-linked {
  border-color: color-mix(in srgb, var(--icon-bg) 62%, var(--border));
  background: transparent;
  box-shadow: 0 0 0 2px color-mix(in srgb, var(--icon-bg) 26%, transparent), 0 6px 14px color-mix(in srgb, var(--icon-bg) 16%, transparent);
  transform: translateY(-1px);
}

.pub-area-filter--visual-leaf.is-active.is-hover-linked {
  background: color-mix(in srgb, var(--icon-bg) 16%, transparent);
  border-color: color-mix(in srgb, var(--icon-bg) 72%, var(--border));
  box-shadow: 0 0 0 2px color-mix(in srgb, var(--icon-bg) 22%, transparent), 0 6px 14px color-mix(in srgb, var(--icon-bg) 14%, transparent);
  color: var(--heading);
}

html[data-theme=dark] .pub-filter-view-button.is-active {
  background: color-mix(in srgb, var(--icon-bg-hover) 86%, var(--surface));
  color: var(--heading);
  box-shadow: 0 0 0 1px color-mix(in srgb, var(--heading) 20%, transparent) inset;
}

html[data-theme=dark] .pub-area-filter:hover {
  background: transparent;
  border-color: color-mix(in srgb, var(--icon-bg-hover) 62%, var(--border));
  color: var(--heading);
}

html[data-theme=dark] .pub-area-filter.is-active {
  background: transparent;
  border-color: color-mix(in srgb, var(--icon-bg-hover) 62%, var(--border));
  color: var(--heading);
  box-shadow: none;
}

html[data-theme=dark] .pub-area-filter.is-active:hover {
  background: transparent;
  border-color: color-mix(in srgb, var(--heading) 26%, var(--icon-bg-hover));
}

html[data-theme=dark] .pub-area-filter.is-partial {
  background: transparent;
  border-color: color-mix(in srgb, var(--icon-bg-hover) 58%, var(--border));
  color: var(--heading);
}

html[data-theme=dark] .pub-area-filter.is-direct-selected {
  background: color-mix(in srgb, var(--icon-bg-hover) 90%, var(--surface));
  border-color: color-mix(in srgb, var(--icon-bg-hover) 92%, var(--border));
  color: var(--heading);
  box-shadow: 0 0 0 1px color-mix(in srgb, var(--heading) 18%, transparent) inset;
}

html[data-theme=dark] .pub-area-filter.is-direct-selected:hover {
  background: color-mix(in srgb, var(--icon-bg-hover) 96%, var(--surface));
  border-color: color-mix(in srgb, var(--heading) 26%, var(--icon-bg-hover));
}

html[data-theme=dark] .pub-area-filter--domain.is-active,
html[data-theme=dark] .pub-area-filter--track.is-active,
html[data-theme=dark] .pub-area-filter--domain.is-active:hover,
html[data-theme=dark] .pub-area-filter--track.is-active:hover {
  background: transparent;
  box-shadow: none;
  color: var(--heading);
  border-color: color-mix(in srgb, var(--icon-bg-hover) 62%, var(--border));
}

html[data-theme=dark] .pub-area-filter--domain:hover,
html[data-theme=dark] .pub-area-filter--track:hover,
html[data-theme=dark] .pub-area-filter--domain.is-partial,
html[data-theme=dark] .pub-area-filter--track.is-partial,
html[data-theme=dark] .pub-area-filter--domain.is-partial:hover,
html[data-theme=dark] .pub-area-filter--track.is-partial:hover {
  background: transparent;
  box-shadow: none;
}

html[data-theme=dark] .pub-area-filter--visual-leaf:hover,
html[data-theme=dark] .pub-area-filter--visual-leaf.is-hover-linked {
  border-color: color-mix(in srgb, var(--heading) 26%, var(--icon-bg-hover));
  box-shadow: 0 0 0 2px color-mix(in srgb, var(--icon-bg-hover) 42%, transparent), 0 8px 16px color-mix(in srgb, #000 34%, transparent);
}

html[data-theme=dark] .pub-area-filter--visual-leaf.is-active {
  background: color-mix(in srgb, var(--icon-bg-hover) 28%, transparent);
  border-color: color-mix(in srgb, var(--heading) 22%, var(--icon-bg-hover));
}

html[data-theme=dark] .pub-area-filter--visual-leaf.is-active:hover,
html[data-theme=dark] .pub-area-filter--visual-leaf.is-active.is-hover-linked {
  background: color-mix(in srgb, var(--icon-bg-hover) 36%, transparent);
  border-color: color-mix(in srgb, var(--heading) 30%, var(--icon-bg-hover));
  box-shadow: 0 0 0 2px color-mix(in srgb, var(--icon-bg-hover) 48%, transparent), 0 10px 18px color-mix(in srgb, #000 40%, transparent);
}

/* Preserve list-view filled highlight states in dark mode. */
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--domain:hover,
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--track:hover,
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--area:hover {
  border-color: color-mix(in srgb, var(--heading) 18%, var(--icon-bg-hover));
  background: color-mix(in srgb, var(--icon-bg-hover) 28%, transparent);
  color: var(--heading);
}

html[data-theme=dark] .pub-filter-view--list .pub-area-filter--domain.is-active,
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--track.is-active,
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--area.is-active,
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--domain.is-active:hover,
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--track.is-active:hover,
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--area.is-active:hover {
  background: color-mix(in srgb, var(--icon-bg-hover) 96%, var(--surface));
  border-color: color-mix(in srgb, var(--icon-bg-hover) 95%, var(--border));
  color: #fff;
  font-weight: 600;
  box-shadow: 0 0 0 1px color-mix(in srgb, #fff 18%, transparent) inset;
}

html[data-theme=dark] .pub-filter-view--list .pub-area-filter--domain.is-partial,
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--track.is-partial,
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--area.is-partial,
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--domain.is-partial:hover,
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--track.is-partial:hover,
html[data-theme=dark] .pub-filter-view--list .pub-area-filter--area.is-partial:hover {
  background: color-mix(in srgb, var(--icon-bg-hover) 10%, var(--surface));
  border-color: color-mix(in srgb, var(--icon-bg-hover) 34%, var(--border));
  border-style: dashed;
  color: var(--muted);
  font-weight: 500;
  box-shadow: 0 0 0 1px color-mix(in srgb, var(--icon-bg-hover) 14%, transparent) inset;
}

.pub-item.is-filter-hidden {
  display: none;
}

.pub-year-group.is-filter-hidden {
  display: none;
}

.pub-year-sticky {
  font-size: 0.86rem;
  font-weight: 600;
  line-height: 1.35;
  color: var(--muted);
  text-align: left;
  padding-top: 0.12rem;
  position: sticky;
  top: 0.9rem;
  align-self: start;
  z-index: 3;
  background-color: transparent;
  display: inline-block;
  padding-right: 0.3rem;
}

.pub-year-group + .pub-year-group {
  position: relative;
  padding-top: 0.8rem;
}

.pub-year-group + .pub-year-group::before {
  content: "";
  position: absolute;
  top: 0;
  left: 5.3rem;
  right: 0.35rem;
  height: 1px;
  background-image: repeating-linear-gradient(90deg, color-mix(in srgb, var(--map-rule) 68%, transparent) 0 0.72rem, transparent 0.72rem 0.98rem, color-mix(in srgb, var(--map-rule) 48%, transparent) 0.98rem 1.06rem, transparent 1.06rem 1.34rem);
  opacity: 0.6;
  pointer-events: none;
}

.pub-item {
  margin: 0 0 1.35rem;
  scroll-margin-top: 1rem;
  padding: 0.2rem 0.35rem;
  border-radius: 6px;
  outline: 1px solid transparent;
  box-shadow: 0 0 0 0 transparent;
  transition: background-color 280ms ease, outline-color 280ms ease, box-shadow 360ms cubic-bezier(0.22, 1, 0.36, 1);
}

@media (prefers-reduced-motion: reduce) {
  .pub-item,
  .pub-year-group {
    transition: none !important;
  }
}
.pub-item.is-target-highlighted {
  background: transparent;
  outline: 1px solid color-mix(in srgb, var(--muted) 38%, transparent);
  box-shadow: 0 0 0 2px color-mix(in srgb, var(--accent) 54%, transparent);
  transition: none;
}

.pub-item.is-target-highlighted .pub-title,
.pub-item.is-target-highlighted .pub-authors,
.pub-item.is-target-highlighted .pub-venue,
.pub-item.is-target-highlighted .pub-note {
  color: color-mix(in srgb, var(--heading) 94%, #fff 6%);
}

.pub-item.is-target-highlighted .pub-links {
  color: color-mix(in srgb, var(--heading) 96%, #fff 4%);
}

.pub-item.is-target-highlighted .pub-title strong {
  color: inherit;
}

.pub-item .pub-title,
.pub-item .pub-authors,
.pub-item .pub-venue,
.pub-item .pub-note,
.pub-item .pub-links,
.pub-item .pub-title strong {
  opacity: 1;
}

.pub-highlight-active .pub-item:not(.is-target-highlighted) {
  opacity: 0.58;
}

.pub-item p {
  margin: 0 0 0.3rem;
}

.pub-empty-state {
  margin: 0.45rem 0 0.85rem;
  color: var(--muted);
  font-size: 0.84rem;
  font-style: italic;
}

.pub-title {
  font-size: 1rem;
  line-height: 1.4;
}

.pub-title strong {
  color: inherit;
}

.pub-authors {
  font-size: 0.9rem;
  line-height: 1.48;
}

.pub-venue {
  font-size: 0.86rem;
  color: var(--muted);
  line-height: 1.4;
}

.pub-author-name {
  white-space: nowrap;
}

.pub-author-self {
  text-decoration: underline;
  text-decoration-thickness: 1px;
  text-underline-offset: 0.13em;
}

.pub-links {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.1rem 0.28rem;
  margin-top: 0.12rem;
  color: var(--text);
}

.pub-more {
  position: relative;
  display: inline-block;
}

.pub-more > summary {
  display: inline-flex;
  align-items: center;
  list-style: none;
  cursor: pointer;
  user-select: none;
  margin-right: 0;
}

.pub-more > summary::-webkit-details-marker {
  display: none;
}

.pub-more[open] > summary.pub-more-trigger,
.pub-more > summary.pub-more-trigger:focus-visible {
  border-color: var(--muted);
  color: inherit !important;
}

.pub-more-menu {
  position: absolute;
  right: 0;
  top: calc(100% + 0.25rem);
  min-width: 9.25rem;
  padding: 0.25rem 0.38rem;
  border: 1px solid var(--border);
  border-radius: 0.45rem;
  background: var(--surface);
  color: var(--text);
  box-shadow: 0 8px 18px rgba(0, 0, 0, 0.08);
  z-index: 12;
}

.pub-more-link {
  display: block;
  width: 100%;
  border: 0;
  background: transparent;
  padding: 0.2rem 0.06rem;
  margin: 0;
  text-align: left;
  color: inherit;
  font-size: 0.8rem;
  line-height: 1.3;
  text-decoration: none;
  cursor: pointer;
  transition: none;
}

.pub-more-link:hover,
.pub-more-link:focus-visible {
  color: var(--heading);
}

.pub-note {
  margin-top: 0.1rem;
}

@media (max-width: 720px) {
  .bio-text p {
    text-align: left;
  }
  .pub-authors {
    font-size: 0.92rem;
  }
  .pub-venue {
    font-size: 0.9rem;
  }
  .pub-filter-panel-row {
    display: block;
    margin-left: 0;
    width: 100%;
  }
  .pub-filter-view-toggle {
    display: inline-flex;
    margin: 0 0 0.45rem;
  }
  .pub-filter-view-stack {
    min-width: 0;
  }
  .pub-header-row {
    align-items: flex-start;
    margin-top: 0;
  }
  .pub-area-filters {
    flex-direction: row;
    flex-wrap: wrap;
  }
  .pub-area-tree-node--domain {
    width: 100%;
  }
  .pub-area-tree-children {
    border-left: 0;
    padding-left: 0;
  }
  .pub-area-tree-node--track {
    width: 100%;
  }
  .pub-area-tree-node--track .pub-area-tree-children {
    flex-direction: row;
    flex-wrap: wrap;
  }
  .pub-filter-view--list .pub-filter-panel {
    max-width: 100%;
    width: 100%;
  }
  .pub-filter-view--list .pub-area-row {
    gap: 0.18rem;
  }
  .pub-filter-view--list .pub-area-row--tracks {
    display: flex;
    flex-wrap: wrap;
  }
  .pub-filter-view--list .pub-area-row--hf-subtracks {
    display: flex;
    flex-wrap: wrap;
  }
  .pub-filter-view--list .pub-area-row--tracks .pub-area-filter--track,
  .pub-filter-view--list .pub-area-hf-branch,
  .pub-filter-view--list .pub-area-ml-branch {
    min-width: 0;
    width: 100%;
  }
  .pub-filter-view--list .pub-area-row--ml-leaves {
    padding-left: 0;
  }
  .pub-area-filter {
    text-align: center;
  }
  .pub-filter-top {
    overflow-x: auto;
    padding-bottom: 0.1rem;
  }
  .pub-year-group {
    grid-template-columns: 1fr;
    row-gap: 0.12rem;
    margin-bottom: 1rem;
  }
  .pub-year-group + .pub-year-group {
    padding-top: 0;
  }
  .pub-year-group + .pub-year-group::before {
    content: none;
  }
  .pub-year-sticky {
    font-size: 0.82rem;
    letter-spacing: 0;
    font-variant-numeric: tabular-nums;
    line-height: 1.2;
    position: sticky;
    top: 0;
    padding: 0.08rem 0 0.24rem;
    margin-bottom: 0.2rem;
    border: 0;
    border-bottom: 1px solid var(--border);
    border-radius: 0;
    background-color: var(--bg);
    transition: var(--theme-transition);
    width: 100%;
    z-index: 4;
    isolation: isolate;
    overflow: hidden;
  }
  .pub-year-sticky::before {
    content: "";
    position: absolute;
    top: -0.5rem;
    left: 0;
    right: 0;
    bottom: 0;
    background-color: var(--bg);
    transition: background-color var(--theme-fade-duration) var(--theme-fade-ease);
    z-index: -1;
  }
  .pub-group-items {
    border-left: 0;
    padding-left: 0;
    padding-top: 0.2rem;
  }
  .pub-item {
    margin-bottom: 1rem;
    scroll-margin-top: 3rem;
  }
}
@media (prefers-reduced-motion: reduce) {
  .pub-filter-panel-row,
  .pub-filter-view,
  .pub-filter-panel-row .is-panel-motion-target {
    transition: none !important;
  }
}
pre,
code {
  font-family: Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, Consolas, Liberation Mono, DejaVu Sans Mono, Courier New, monospace;
}

pre {
  overflow-x: auto;
  border: 1px solid var(--border);
  background: var(--accent);
  border-radius: 10px;
  padding: 0.75rem 1rem;
}

blockquote {
  border-left: 3px solid var(--border);
  padding-left: 0.9rem;
  color: var(--muted);
}

table {
  width: 100%;
  border-collapse: collapse;
}

th,
td {
  padding: 0.45rem 0.55rem;
  border-bottom: 1px solid var(--border);
  text-align: left;
}

.btn {
  display: inline-block;
  padding: 0.15rem 0.5rem;
  border-radius: 7px;
  border: 1px solid transparent;
  font-size: 0.8rem;
  line-height: 1.3;
  margin-right: 0.3rem;
  margin-bottom: 0.35rem;
  text-decoration: none;
  transition: none;
}

.btn.btn-primary {
  background: var(--icon-bg);
  color: #fff !important;
}

.btn.btn-info {
  background: #fff;
  color: #245a91 !important;
  border-color: color-mix(in srgb, #245a91 62%, #fff);
}

.btn.btn-unavailable {
  background: transparent;
  border-color: var(--border);
  color: var(--muted) !important;
  cursor: default;
  opacity: 0.76;
}

.btn:hover {
  text-decoration: none;
}

.btn.btn-primary:hover,
.btn.btn-primary:focus-visible {
  background: var(--icon-bg-hover);
  color: #fff !important;
}

.btn.btn-info:hover,
.btn.btn-info:focus-visible {
  background: #f3f7fb;
  border-color: #245a91;
  color: #17446f !important;
}

.pub-filter-view-button,
.pub-area-filter {
  transition: none;
}

.pub-filter-view-button:active,
.pub-area-filter:active,
.btn:not(.btn-unavailable):active {
  transform: translateY(1px);
}

.label {
  display: inline-block;
  padding: 0.15rem 0.45rem;
  border-radius: 0.45rem;
  font-size: 0.74rem;
  line-height: 1.3;
}

.label.label-success {
  background: #1f7a3d;
  color: #fff;
}

.external-link {
  font-size: 0.78rem;
  margin-left: 0;
  vertical-align: baseline;
}

.jump-nav {
  color: var(--muted);
  margin: 1rem 0 1.25rem;
  font-size: 0.95rem;
}

.jump-nav a {
  text-decoration: none;
}

.jump-nav a:hover {
  text-decoration: underline;
}

.home-split {
  display: grid;
  grid-template-columns: 230px minmax(0, 1fr);
  gap: 1.5rem;
  align-items: stretch;
  margin-bottom: 0;
  padding-bottom: 1.1rem;
  border-bottom: var(--rule-section-width) solid var(--rule-section-color);
}

.home-identity {
  min-width: 0;
  padding-right: 0.6rem;
  display: flex;
  flex-direction: column;
}

.home-main {
  position: relative;
  min-width: 0;
}

.home-identity-details {
  min-width: 0;
}

.home-title {
  font-size: 1.62rem;
  line-height: 1.2;
  margin-bottom: 0.5rem;
}

.home-lead {
  max-width: 72ch;
  font-size: 0.96rem;
  font-weight: 400;
  line-height: 1.55;
  margin-bottom: 0;
  text-wrap: pretty;
}

.home-portrait {
  text-align: left;
  margin-bottom: 0.72rem;
  flex: 1 1 auto;
  min-height: 0;
}

.home-hero-avatar {
  display: block;
  width: 100%;
  height: 100%;
  max-width: 100%;
  box-sizing: border-box;
  object-fit: cover;
  object-position: center top;
  border: var(--rule-detail-width) solid var(--rule-detail-color);
  border-radius: 7px;
  box-shadow: none;
}

.home-meta-line {
  margin: 0;
  font-size: 0.92rem;
  line-height: 1.35;
  color: inherit;
}

.home-meta-line + .home-meta-line {
  margin-top: 0.18rem;
}

.home-meta-line a {
  color: inherit;
  transition: none;
  text-decoration: none;
  font-weight: inherit;
  background-image: none;
}

.home-meta-copy {
  color: inherit;
  transition: none;
}

.home-identity-icons {
  margin-top: 0.48rem;
  display: flex;
  align-items: center;
  flex-wrap: nowrap;
  gap: 0.72rem;
  justify-content: start;
}

.home-identity-icons .home-icon-link {
  display: inline-flex;
  flex: 0 0 2.85rem;
  align-items: center;
  justify-content: center;
  width: 2.85rem;
  height: 2.35rem;
  padding: 0;
  appearance: none;
  border: 0;
  border-radius: 5px;
  color: #fff;
  background-color: color-mix(in srgb, var(--icon-bg) 76%, var(--surface));
  box-shadow: none;
  text-decoration: none;
  cursor: pointer;
  font-size: 1.34rem;
  line-height: 1;
  transition: none;
}

.home-identity-icons .home-icon-link:hover:not(.is-pointer-activated),
.home-identity-icons .home-icon-link:focus-visible {
  color: var(--bg);
  background-color: var(--heading);
  text-decoration: none;
}

.home-identity-icons .home-icon-link:focus-visible {
  outline: var(--rule-detail-width) solid var(--heading);
  outline-offset: 2px;
}

.home-copy-label {
  display: none;
  font-size: 0.68rem;
  font-weight: 700;
  line-height: 1;
}

.home-identity-icons [data-copy-email].is-copied i {
  display: none;
}

.home-identity-icons [data-copy-email].is-copied .home-copy-label {
  display: inline;
}

.home-copy-status {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

.home-icon-svg {
  width: 1.28em;
  height: 1.28em;
  display: block;
}

.home-research-board {
  --research-rule-color: var(--rule-section-color);
  --research-rule-image: linear-gradient(90deg, currentColor, currentColor);
  --research-rule-opacity: 1;
  --research-rule-repeat: no-repeat;
  --research-rule-size: 100% var(--rule-detail-width);
}

.home-research-board {
  display: contents;
}

.home-interest-grid {
  margin-top: 0.85rem;
  position: relative;
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1.2rem 1.35rem;
  padding: 1.1rem 1.15rem 1rem;
  border-radius: 22px 25px 20px 24px;
  overflow: hidden;
  isolation: isolate;
}

.home-interest-item {
  position: relative;
  z-index: 1;
  display: flex;
  flex-direction: column;
  gap: 0.46rem;
  min-height: 100%;
  padding: 0.15rem 0.45rem 0.2rem 0;
  background: transparent;
  border: 0;
  border-radius: 0;
  transition: none;
}

.home-interest-grid::before,
.home-interest-grid::after,
.home-interest-item::before,
.home-interest-item::after {
  content: "";
  position: absolute;
  pointer-events: none;
}

.home-interest-grid::before {
  display: none;
  inset: 0.3rem;
  z-index: 0;
  color: var(--map-rule);
  background-image: linear-gradient(to right, color-mix(in srgb, currentColor 14%, transparent) 1px, transparent 1px), linear-gradient(to bottom, color-mix(in srgb, currentColor 12%, transparent) 1px, transparent 1px);
  background-position: 0.12rem 0.08rem;
  background-size: 2.35rem 2.35rem;
  opacity: 0.42;
  transition: color var(--theme-fade-duration) var(--theme-fade-ease);
}

.home-interest-grid::after {
  inset: 0.05rem 0.65rem 0.09rem;
  z-index: 0;
  color: var(--research-rule-color);
  background-image: linear-gradient(currentColor, currentColor), linear-gradient(currentColor, currentColor);
  background-repeat: no-repeat;
  background-position: center top, left center;
  background-size: var(--rule-detail-width) 100%, 100% var(--rule-detail-width);
  opacity: var(--research-rule-opacity);
  transition: color var(--theme-fade-duration) var(--theme-fade-ease);
}

.home-research-board--grid-strong .home-interest-grid::after {
  color: color-mix(in srgb, var(--map-rule) 82%, transparent);
  background-size: var(--rule-section-width) 100%, 100% var(--rule-section-width);
  opacity: 0.88;
}

.home-research-board--grid-strong {
  --research-rule-color: color-mix(in srgb, var(--map-rule) 82%, transparent);
  --research-rule-opacity: 0.88;
}

.home-research-board--grid-dotted .home-interest-grid::after {
  color: color-mix(in srgb, var(--map-rule) 74%, transparent);
  background-image: repeating-linear-gradient(to bottom, currentColor 0 1.5px, transparent 1.5px 6.5px), repeating-linear-gradient(to right, currentColor 0 1.5px, transparent 1.5px 6.5px);
  opacity: 0.72;
}

.home-research-board--grid-dotted {
  --research-rule-color: color-mix(in srgb, var(--map-rule) 74%, transparent);
  --research-rule-image: repeating-linear-gradient(90deg, currentColor 0 1.5px, transparent 1.5px 6.5px);
  --research-rule-opacity: 0.72;
}

.home-research-board--grid-dot-dash .home-interest-grid::after {
  color: color-mix(in srgb, var(--map-rule) 72%, transparent);
  background-image: repeating-linear-gradient(to bottom, currentColor 0 1.2px, transparent 1.2px 4.8px, currentColor 4.8px 9.2px, transparent 9.2px 14px), repeating-linear-gradient(to right, currentColor 0 1.2px, transparent 1.2px 4.8px, currentColor 4.8px 9.2px, transparent 9.2px 14px);
  opacity: 0.76;
}

.home-research-board--grid-dot-dash .home-interest-links-inline::before {
  color: color-mix(in srgb, var(--map-rule) 72%, transparent);
  background-image: repeating-linear-gradient(90deg, currentColor 0 1.2px, transparent 1.2px 4.8px, currentColor 4.8px 9.2px, transparent 9.2px 14px);
  opacity: 0.76;
}

.home-interest-item::before {
  display: none;
}

.home-interest-item::after {
  display: none;
}

.home-interest-item:hover .home-interest-links-inline::before,
.home-interest-item:focus-within .home-interest-links-inline::before {
  opacity: 1;
}

.home-interest-item:nth-child(2n) {
  padding-left: 0;
}

.home-interest-item:nth-child(2) {
  margin-top: 0;
}

.home-interest-item:nth-child(3) {
  margin-top: 0;
}

.home-interest-item:nth-child(4) {
  margin-top: 0;
}

.home-interest-map-label {
  position: relative;
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 0.42rem;
  margin: 0.48rem 0 -0.3rem;
  font-family: var(--accent-font);
  font-size: 0.82rem;
  font-style: normal;
  font-weight: 700;
  letter-spacing: 0;
  line-height: 1.1;
  text-transform: none;
  color: var(--heading);
  white-space: nowrap;
}

.home-interest-map-label::before,
.home-interest-map-label::after {
  content: "";
  flex: 1 1 auto;
  height: var(--rule-section-width);
  color: var(--research-rule-color);
  background-image: var(--research-rule-image);
  background-repeat: var(--research-rule-repeat);
  background-size: 100% var(--rule-section-width);
  opacity: var(--research-rule-opacity);
  transition: color var(--theme-fade-duration) var(--theme-fade-ease);
}

.home-interest-map-label::before {
  flex: 0.25 1 0;
}

.home-interest-map-label::after {
  flex: 1.75 1 0;
}

.home-grid-switch {
  position: fixed;
  right: 1rem;
  bottom: 1rem;
  z-index: 20;
  display: inline-flex;
  align-items: center;
  gap: 0.24rem;
  margin: 0;
  padding: 0.14rem;
  border: 1px solid color-mix(in srgb, var(--map-rule) 28%, transparent);
  border-radius: 999px;
  background: color-mix(in srgb, var(--bg) 92%, transparent);
  box-shadow: 0 0.2rem 0.8rem color-mix(in srgb, var(--shadow) 16%, transparent);
  color: var(--muted);
}

.home-grid-switch[hidden] {
  display: none !important;
}

.home-grid-switch button {
  appearance: none;
  border: 0;
  border-radius: 999px;
  background: transparent;
  color: inherit;
  cursor: pointer;
  font: inherit;
  font-size: 0.62rem;
  line-height: 1;
  padding: 0.28rem 0.46rem;
}

.home-grid-switch button[aria-pressed=true] {
  background: color-mix(in srgb, var(--map-rule) 16%, transparent);
  color: var(--heading);
}

.home-grid-switch button:focus-visible {
  outline: 2px solid var(--link);
  outline-offset: 2px;
}

@media (hover: none) and (pointer: coarse) {
  .home-interest-item {
    transition: none;
  }
  .home-interest-item a {
    -webkit-tap-highlight-color: transparent;
  }
  .home-interest-item:hover .home-interest-links-inline::before,
  .home-interest-item:active .home-interest-links-inline::before {
    opacity: 0.8;
  }
}
.home-interest-item h3 {
  position: relative;
  z-index: 1;
  margin: 0;
  font-size: 0.96rem;
  line-height: 1.24;
}

.home-interest-summary {
  display: flex;
  flex-direction: column;
  gap: 0.46rem;
  min-width: 0;
  color: inherit;
  text-decoration: none;
  transition: none;
}

.home-interest-summary h3 {
  align-self: flex-start;
  max-width: 100%;
  border-radius: 1px;
  color: var(--link);
  transition: none;
  -webkit-box-decoration-break: clone;
  box-decoration-break: clone;
}

.home-interest-summary:hover,
.home-interest-summary:focus-visible,
.home-interest-summary:active {
  text-decoration: none;
}

.home-interest-summary:hover h3,
.home-interest-summary:focus-visible h3,
.home-interest-summary:active h3 {
  color: var(--bg);
  background-color: var(--heading);
  box-shadow: 0 0 0 0.1em var(--heading);
  text-decoration: none;
}

.home-interest-item p {
  position: relative;
  z-index: 1;
  margin-bottom: 0;
  font-size: 0.92rem;
  line-height: 1.52;
}

.home-interest-desc {
  flex: 1 1 auto;
}

.home-interest-item .home-interest-links-inline {
  position: relative;
  margin: auto 0 0;
  padding: 0.56rem 0 0;
  font-family: inherit;
  font-size: 0.84rem;
  font-weight: inherit;
  line-height: 1.5;
  color: var(--muted);
}

.home-interest-link-item {
  display: inline;
}

.home-interest-link-item:not(:last-child)::after {
  content: " •";
  white-space: nowrap;
  color: color-mix(in srgb, var(--map-ink) 68%, var(--muted));
}

.home-interest-link-item a {
  font: inherit;
  color: inherit;
  text-decoration: none;
  overflow-wrap: anywhere;
}

.home-interest-link-item a:hover,
.home-interest-link-item a:focus-visible {
  text-decoration: underline;
  text-underline-offset: 0.12em;
  text-decoration-thickness: 1px;
}

.home-interest-links-inline::before {
  content: "";
  position: absolute;
  top: 0;
  left: 0;
  width: min(100%, 11.5rem);
  height: var(--rule-detail-width);
  color: var(--research-rule-color);
  background-image: var(--research-rule-image);
  background-repeat: var(--research-rule-repeat);
  background-size: var(--research-rule-size);
  opacity: var(--research-rule-opacity);
  transition: color var(--theme-fade-duration) var(--theme-fade-ease);
}

.home-subtle-links {
  position: relative;
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 0.42rem;
  margin-top: -0.34rem;
  margin-bottom: 0;
  color: var(--muted);
  font-size: 0.72rem;
  line-height: 1;
}

.home-subtle-links::after,
.home-subtle-links::before {
  content: "";
  flex: 1 1 auto;
  height: var(--rule-section-width);
  color: var(--research-rule-color);
  background-image: var(--research-rule-image);
  background-repeat: var(--research-rule-repeat);
  background-size: 100% var(--rule-section-width);
  opacity: var(--research-rule-opacity);
  transition: color var(--theme-fade-duration) var(--theme-fade-ease);
}

.home-subtle-links::before {
  flex: 1.75 1 0;
}

.home-subtle-links::after {
  flex: 0.25 1 0;
}

.home-subtle-links a {
  position: relative;
  z-index: 1;
  font-family: var(--accent-font);
  font-style: italic;
  font-weight: 500;
  letter-spacing: 0;
  white-space: nowrap;
}

@media screen and (min-width: 921px) {
  .home-interest-grid {
    margin-top: -0.08rem;
  }
  .home-interest-desc {
    min-height: 4.56em;
  }
  .home-interest-item .home-interest-links-inline {
    min-height: calc(4.5em + 0.56rem);
  }
  .home-interest-map-label,
  .home-subtle-links {
    gap: 0.3rem;
  }
  .home-interest-map-label {
    margin-top: 0.5rem;
    margin-bottom: -0.36rem;
  }
  .home-interest-map-label::before {
    flex: 0.42 1 0;
  }
  .home-interest-map-label::after {
    flex: 2.58 1 0;
  }
  .home-subtle-links {
    margin-top: -0.4rem;
  }
  .home-subtle-links::before {
    flex: 2.58 1 0;
  }
  .home-subtle-links::after {
    flex: 0.42 1 0;
  }
}
@media screen and (min-width: 1600px) {
  body {
    padding-top: 2rem;
    padding-bottom: 3rem;
  }
  .top-bar {
    margin-bottom: 1.55rem;
  }
  .home-split {
    grid-template-columns: 250px minmax(0, 1fr);
    gap: 1.75rem;
  }
  .home-identity {
    padding-right: 0.7rem;
  }
  .home-interest-grid {
    column-gap: 1.65rem;
    padding-right: 1.3rem;
    padding-left: 1.3rem;
  }
  .top-main--publications,
  .top-main--bio {
    margin-right: auto;
    margin-left: auto;
  }
  .top-main--list-page {
    margin-right: auto;
    margin-left: 2.5rem;
  }
  .top-main--bio {
    max-width: 62rem;
  }
  .page-bottom-rule {
    position: relative;
    left: 50%;
    transform: translateX(-50%);
  }
  .top-main--list-page .page-bottom-rule {
    left: -2.5rem;
    transform: none;
  }
}
.home-contact {
  width: 100%;
  margin-top: 0;
  padding-bottom: 0.82rem;
  border-bottom: var(--rule-frame-width) solid var(--rule-frame-color);
  box-shadow: none;
}

.home-contact p:last-child {
  margin-bottom: 0;
}

.contact-guidance p {
  margin: 0;
}

.home-awards {
  margin-top: 0;
}

.home-index-row {
  display: grid;
  grid-template-columns: 9rem minmax(0, 1fr);
  column-gap: 1.1rem;
  align-items: baseline;
  padding: 0.78rem 0;
}

.home-index-row + .home-index-row {
  border-top: var(--rule-detail-width) solid var(--rule-detail-color);
}

.home-index-row h2 {
  margin: 0 0 0.55rem;
  font-size: 1.08rem;
  font-weight: 700;
}

.home-index-row p {
  margin: 0;
}

.home-awards p,
.home-contact p {
  font-size: 0.9rem;
  line-height: 1.55;
}

.home-news-coverage {
  padding-bottom: 0.78rem;
}

.home-news-coverage p:last-child {
  margin-bottom: 0;
}

@media print, screen and (max-width: 920px) {
  body {
    padding: 0.85rem 1rem 1rem;
  }
  .page-bottom-rule {
    width: calc(100vw - 2rem);
  }
  .top-bar {
    gap: 0.55rem 1rem;
  }
  .top-name {
    font-size: 1.55rem;
  }
  .top-nav {
    gap: 0.2rem 0.65rem;
    font-size: 0.95rem;
  }
  .home-split {
    grid-template-columns: 1fr;
    gap: 1rem;
  }
  .home-identity {
    padding-right: 0;
    display: grid;
    grid-template-columns: minmax(112px, 176px) minmax(0, 1fr);
    gap: 0.8rem;
    align-items: center;
    text-align: left;
  }
  .home-lead {
    font-size: 1.05rem;
    line-height: 1.62;
  }
  .home-meta-line {
    font-size: 0.98rem;
    line-height: 1.5;
  }
  .home-identity-icons {
    justify-content: start;
  }
  .home-title {
    font-size: 1.35rem;
  }
  .home-interest-grid {
    grid-template-columns: 1fr;
    gap: 0.95rem;
    padding: 0.95rem 1rem 0.9rem;
  }
  .home-interest-grid::after {
    display: block;
    top: 0.58rem;
    bottom: 0.58rem;
    left: calc(0.1rem + 0.5px);
    width: 0.48rem;
    color: var(--research-rule-color);
    background-image: linear-gradient(currentColor, currentColor);
    background-repeat: no-repeat;
    background-position: center top;
    background-size: var(--rule-detail-width) 100%;
    opacity: var(--research-rule-opacity);
    transition: color var(--theme-fade-duration) var(--theme-fade-ease);
  }
  .home-interest-grid::before {
    display: none;
    inset: 0.3rem 58% 0.3rem 0.02rem;
    color: var(--map-rule);
    background-image: linear-gradient(to right, color-mix(in srgb, currentColor 14%, transparent) 1px, transparent 1px), linear-gradient(to bottom, color-mix(in srgb, currentColor 12%, transparent) 1px, transparent 1px);
    background-position: 0.14rem 0.12rem;
    background-size: 2.35rem 2.35rem;
    opacity: 0.46;
    transition: color var(--theme-fade-duration) var(--theme-fade-ease);
  }
  .home-interest-item {
    gap: 0.38rem;
    padding: 0.1rem 0.1rem 0.18rem 0.95rem;
    margin-top: 0 !important;
  }
  .home-interest-item::before {
    display: block;
    top: calc(-0.76rem + 0.5px);
    left: -0.66rem;
    right: 0.08rem;
    height: 0.48rem;
    color: var(--research-rule-color);
    background-image: linear-gradient(currentColor, currentColor);
    background-repeat: no-repeat;
    background-position: left center;
    background-size: 100% var(--rule-detail-width);
    opacity: var(--research-rule-opacity);
    transition: color var(--theme-fade-duration) var(--theme-fade-ease);
  }
  .home-research-board--grid-strong .home-interest-grid::after {
    color: color-mix(in srgb, var(--map-rule) 82%, transparent);
    background-size: var(--rule-section-width) 100%;
    opacity: 0.84;
  }
  .home-research-board--grid-strong .home-interest-item::before {
    color: color-mix(in srgb, var(--map-rule) 82%, transparent);
    background-size: 100% var(--rule-detail-width);
    opacity: 0.76;
  }
  .home-research-board--grid-dotted .home-interest-grid::after {
    color: color-mix(in srgb, var(--map-rule) 74%, transparent);
    background-image: repeating-linear-gradient(180deg, currentColor 0 1.5px, transparent 1.5px 6.5px);
    opacity: 0.72;
  }
  .home-research-board--grid-dotted .home-interest-item::before {
    color: color-mix(in srgb, var(--map-rule) 70%, transparent);
    background-image: repeating-linear-gradient(90deg, currentColor 0 1.5px, transparent 1.5px 6.5px);
    opacity: 0.68;
  }
  .home-research-board--grid-dot-dash .home-interest-grid::after {
    color: color-mix(in srgb, var(--map-rule) 72%, transparent);
    background-image: repeating-linear-gradient(180deg, currentColor 0 1.2px, transparent 1.2px 4.8px, currentColor 4.8px 9.2px, transparent 9.2px 14px);
    opacity: 0.76;
  }
  .home-research-board--grid-dot-dash .home-interest-item::before {
    color: color-mix(in srgb, var(--map-rule) 72%, transparent);
    background-image: repeating-linear-gradient(90deg, currentColor 0 1.2px, transparent 1.2px 4.8px, currentColor 4.8px 9.2px, transparent 9.2px 14px);
    opacity: 0.76;
  }
  .home-interest-item:first-child::before {
    display: none;
  }
  .home-interest-item:nth-child(2n) {
    padding-left: 0.95rem;
  }
  .home-interest-item h3 {
    font-size: 0.96rem;
  }
  .home-interest-item p {
    font-size: 0.96rem;
    line-height: 1.52;
  }
  .home-interest-item .home-interest-links-inline {
    font-size: 0.88rem;
    line-height: 1.5;
    overflow-wrap: anywhere;
  }
  .home-interest-map-label {
    margin-top: 1.2rem;
    font-size: 0.78rem;
  }
  .home-interest-map-label::before,
  .home-interest-map-label::after,
  .home-subtle-links::before,
  .home-subtle-links::after {
    flex: 1 1 auto;
  }
  .home-portrait {
    max-width: 176px;
    margin-bottom: 0;
    margin-left: 0;
    margin-right: 0;
    flex: initial;
  }
  .home-hero-avatar {
    width: 100%;
    height: auto;
    object-fit: initial;
  }
  .home-contact p,
  .home-awards p {
    overflow-wrap: anywhere;
  }
  .top-main {
    max-width: none;
  }
  .wrapper {
    max-width: none;
    display: flex;
    flex-direction: column;
  }
  .site-sidebar {
    display: contents;
    position: static;
    width: auto;
    left: auto;
    top: auto;
    bottom: auto;
    gap: 1rem;
  }
  .site-content {
    order: 2;
    margin-left: 0;
    max-width: none;
    padding: 0;
  }
  .site-header,
  .site-footer {
    position: static;
  }
  .site-header {
    order: 1;
  }
  .site-footer {
    order: 3;
  }
}
@media screen and (min-width: 700px) and (max-width: 920px) {
  .home-interest-grid {
    grid-template-columns: repeat(2, minmax(0, 1fr));
    gap: 1.2rem 1.35rem;
    padding: 1.1rem 1.15rem 1rem;
  }
  .home-interest-grid::after {
    inset: 0.05rem 0.65rem 0.09rem;
    width: auto;
    color: var(--research-rule-color);
    background-image: linear-gradient(currentColor, currentColor), linear-gradient(currentColor, currentColor);
    background-position: center top, left center;
    background-size: var(--rule-detail-width) 100%, 100% var(--rule-detail-width);
    opacity: var(--research-rule-opacity);
  }
  .home-interest-item {
    gap: 0.46rem;
    padding: 0.15rem 0.45rem 0.2rem 0;
  }
  .home-interest-item::before {
    display: none;
  }
  .home-interest-item:nth-child(2n) {
    padding-left: 0;
  }
  .home-interest-desc {
    min-height: 4.56em;
  }
  .home-interest-item p {
    font-size: 0.92rem;
  }
  .home-interest-item .home-interest-links-inline {
    min-height: calc(4.5em + 0.56rem);
    font-size: 0.84rem;
  }
  .home-interest-map-label {
    margin-top: 0.5rem;
    margin-bottom: -0.36rem;
    font-size: 0.82rem;
  }
  .home-interest-map-label::before {
    flex: 0.42 1 0;
  }
  .home-interest-map-label::after {
    flex: 2.58 1 0;
  }
  .home-subtle-links {
    margin-top: -0.4rem;
  }
  .home-subtle-links::before {
    flex: 2.58 1 0;
  }
  .home-subtle-links::after {
    flex: 0.42 1 0;
  }
}
@media print, screen and (max-width: 699px) {
  .home-index-row {
    grid-template-columns: 1fr;
    row-gap: 0.26rem;
    padding: 0.72rem 0;
  }
  .home-index-row h2 {
    margin-bottom: 0;
  }
}
@media print, screen and (max-width: 480px) {
  .top-nav {
    display: grid;
    grid-template-columns: repeat(3, max-content);
    width: 100%;
    gap: 0.22rem 0.6rem;
  }
  .home-identity {
    grid-template-columns: 1fr;
    justify-items: center;
    text-align: center;
    gap: 0.65rem;
  }
  .home-identity-details {
    width: 100%;
  }
  .home-identity-icons {
    justify-content: center;
  }
  .home-portrait {
    max-width: 192px;
  }
}
@media print {
  body {
    background: #fff;
    color: #222;
    padding: 0;
  }
  .wrapper {
    display: block;
  }
  .site-header,
  .site-content,
  .site-footer {
    border: 0;
    border-radius: 0;
    background: #fff;
    padding: 0;
  }
}
.avatar {
  vertical-align: middle;
  max-width: 300px;
  border-radius: 20%;
}

.email {
  unicode-bidi: bidi-override;
  direction: rtl;
}

/*# sourceMappingURL=style.css.map */