:root {
  --paper:#f7f7f2;
  --surface:#fffefa;
  --ink:#172f3b;
  --muted:#4f646b;
  --line:#d9dfd9;
  --accent:#216f68;
  --serif:"Iowan Old Style","Palatino Linotype","Book Antiqua",Georgia,serif;
  --sans:"Avenir Next",Avenir,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;
  --category-color:#4266ac;
  --category-tint:#eaf0fa;
  --text-body:1.125rem;
  --text-secondary:1rem;
  --text-label:.875rem;
  --text-compact:.75rem;
  --title-section:clamp(2rem,2.5vw,2.375rem);
  --title-paper:clamp(1.75rem,2.3vw,2.125rem);
  --title-publication:1.5rem
}

* {
  box-sizing:border-box
}

html {
  scroll-behavior:smooth;
  scroll-padding-top:100px
}

body {
  margin:0;
  background:var(--paper);
  color:var(--ink);
  font-family:var(--sans);
  font-size:var(--text-body);
  line-height:1.75;
  -webkit-font-smoothing:antialiased
}

button,input,select {
  font:inherit
}

button,a,input,select,summary {
  -webkit-tap-highlight-color:transparent
}

button {
  color:inherit
}

a {
  color:inherit;
  text-decoration-thickness:1px;
  text-underline-offset:4px
}

button {
  cursor:pointer
}

button:disabled {
  cursor:default
}

button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible {
  outline:3px solid #c38c38;
  outline-offset:5px
}

button:focus:not(:focus-visible) {
  outline:none
}

[hidden] {
  display:none!important
}

h1,h2,h3,p {
  margin:0
}

ul {
  padding-left:20px
}

svg {
  display:block
}

::selection {
  background:#d7e9e0
}

.page-width {
  width:min(1320px,calc(100% - 96px));
  margin-inline:auto
}

.eyebrow {
  font-size:var(--text-label);
  letter-spacing:.16em;
  font-weight:650;
  line-height:1.5
}

.skip-link {
  position:fixed;
  left:20px;
  top:-80px;
  z-index:30;
  background:var(--ink);
  color:white;
  padding:12px 20px
}

.skip-link:focus {
  top:16px
}

.site-nav {
  position:sticky;
  top:0;
  z-index:20;
  background:rgba(247,247,242,.96);
  border-bottom:1px solid var(--line);
  backdrop-filter:blur(12px)
}

.nav-inner {
  width:min(1320px,calc(100% - 96px));
  margin:auto;
  min-height:88px;
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:24px
}

.wordmark {
  font-family:var(--serif);
  font-size:26px;
  font-weight:500;
  letter-spacing:-.035em;
  text-decoration:none;
  line-height:1.1;
  white-space:nowrap
}

.wordmark span {
  display:block;
  font-family:var(--sans);
  font-size:var(--text-compact);
  letter-spacing:.17em;
  margin-top:9px;
  font-weight:600
}

.nav-links {
  display:flex;
  align-items:center;
  gap:30px;
  font-size:var(--text-secondary)
}

.nav-links a {
  text-decoration:none;
  position:relative
}

.nav-links a:after {
  content:"";
  position:absolute;
  bottom:-6px;
  left:0;
  width:100%;
  height:1px;
  background:var(--ink);
  transform:scaleX(0);
  transform-origin:left;
  transition:transform .2s
}

.nav-links a:hover:after {
  transform:scaleX(1)
}

.nav-links .cv-link {
  border:1px solid #b6c3bd;
  border-radius:30px;
  padding:8px 18px
}

.nav-links .cv-link:after {
  display:none
}

.menu-toggle {
  display:none;
  border:0;
  background:transparent;
  font-size:var(--text-secondary)
}

.hero {
  display:grid;
  grid-template-columns:minmax(400px,1.05fr) minmax(480px,1.5fr);
  align-items:center;
  gap:36px;
  min-height:700px;
  padding-top:40px;
  padding-bottom:50px
}

.hero-intro {
  position:relative;
  z-index:2;
  padding-top:0
}

.hero h1 {
  font-family:var(--serif);
  font-size:clamp(42px,4.2vw,58px);
  font-weight:400;
  line-height:1.09;
  letter-spacing:-.035em
}

.hero-description {
  max-width:440px;
  font-size:var(--text-body);
  line-height:1.75;
  color:var(--muted);
  margin-top:28px
}

.identity {
  display:flex;
  align-items:center;
  gap:24px;
  margin-top:26px
}

.identity img {
  width:176px;
  height:212px;
  flex-shrink:0;
  object-fit:cover;
  object-position:50% 25%;
  border-radius:88px 88px 12px 12px;
  filter:saturate(.75)
}

.identity p {
  font-size:var(--text-secondary);
  line-height:1.65;
  color:var(--muted)
}

.identity .identity-role {
  color:var(--ink);
  font-size:1.25rem;
  font-weight:500;
  line-height:1.4;
  margin-bottom:8px
}

.identity .identity-school {
  color:var(--ink);
  margin-top:8px
}

.identity-links {
  display:flex;
  gap:24px;
  flex-wrap:wrap;
  margin-top:20px;
  font-size:var(--text-secondary)
}

.identity-links a {
  text-decoration:none;
  border-bottom:1px solid #b4c3be;
  padding-bottom:2px
}

.identity-links span {
  margin-left:5px
}

.text-link {
  display:inline-flex;
  justify-content:space-between;
  align-items:center;
  gap:32px;
  text-decoration:none;
  border-bottom:1px solid var(--ink);
  padding:10px 0;
  font-size:var(--text-secondary)
}

.explore-start {
  margin-top:27px
}

.explore-start span {
  font-size:22px
}

.map-wrap {
  min-width:0
}

.research-map {
  aspect-ratio:840/700;
  position:relative;
  isolation:isolate
}

.orbit-paths {
  position:absolute;
  width:100%;
  height:100%;
  inset:0;
  fill:none;
  stroke:#a9bdb5;
  stroke-width:.8;
  stroke-dasharray:3 9;
  opacity:.7
}

.map-center {
  position:absolute;
  width:29.1%;
  height:35%;
  left:35.45%;
  top:32.5%;
  border:1px solid #cbd7ce;
  border-radius:50%;
  display:flex;
  align-items:center;
  justify-content:center;
  flex-direction:column;
  background:rgba(247,247,242,.89);
  z-index:3;
  text-align:center;
  font-family:var(--serif);
  font-size:clamp(22px,2.7vw,37px);
  line-height:1.05;
  letter-spacing:-.03em;
  box-shadow:0 0 35px 18px rgba(247,247,242,.4);
  pointer-events:none
}

.map-center i {
  font-size:.65em;
  color:#7b9385
}


.map-center .center-symbol {
  font-family:var(--serif);
  font-size:34px;
  color:#758f7d;
  margin-bottom:6px;
  font-weight:400
}

.orbit-circle {
  position:absolute;
  display:flex;
  align-items:center;
  justify-content:center;
  flex-direction:column;
  border-radius:50%;
  width:28.1%;
  height:33.72%;
  padding:22px 6px;
  border:1px solid color-mix(in srgb,var(--category-color) 36%,transparent);
  background:color-mix(in srgb,var(--category-tint) 81%,transparent);
  text-align:center;
  transition:transform .3s,box-shadow .3s,border .3s,background .3s;
  z-index:2;
  line-height:1.25
}

.orbit-circle:hover,.orbit-circle:focus-visible {
  transform:scale(1.045);
  z-index:5;
  background:var(--category-tint);
  box-shadow:0 12px 30px color-mix(in srgb,var(--category-color) 12%,transparent);
  border-color:var(--category-color)
}

.orbit-circle[aria-pressed=true] {
  border-color:var(--category-color);
  box-shadow:inset 0 0 0 1px var(--category-color)
}

.orbit-circle svg {
  height:32%;
  width:35%;
  margin-top:-4px;
  margin-bottom:8px;
  overflow:visible;
  color:var(--category-color);
  fill:var(--category-color);
  stroke:var(--category-color);
  stroke-width:1.5
}

.orbit-circle svg path {
  fill:none;
  opacity:.75
}

.orbit-circle svg .icon-halo {
  fill:none;
  stroke-dasharray:3 3;
  stroke-width:1
}

.orbit-circle .orbit-name {
  font-size:clamp(13px,1.36vw,19px);
  font-weight:600;
  letter-spacing:-.025em
}

.orbit-count {
  font-size:var(--text-compact);
  color:var(--category-color);
  margin-top:9px;
  letter-spacing:.025em
}

.orbit-graphs {
  left:35.95%;
  top:2%
}

.orbit-flexibility {
  left:58.45%;
  top:17.57%
}

.orbit-hiring {
  left:58.45%;
  top:48.71%
}

.orbit-online {
  left:35.95%;
  top:64.28%
}

.orbit-dynamic {
  left:13.45%;
  top:48.71%
}

.orbit-geometry {
  left:13.45%;
  top:17.57%
}

.map-caption {
  display:flex;
  justify-content:center;
  align-items:center;
  gap:27px;
  margin-top:12px;
  color:var(--muted);
  font-size:var(--text-label)
}

.hint-dot {
  display:inline-block;
  width:5px;
  height:5px;
  background:var(--accent);
  border-radius:50%;
  vertical-align:middle;
  margin-right:6px
}

.privacy-link {
  border:0;
  border-bottom:1px solid #b5c3bd;
  padding:0;
  background:none;
  font-size:var(--text-label);
  color:var(--muted)
}

.explorer {
  border-top:1px solid var(--line);
  padding-top:25px;
  margin-bottom:88px;
  scroll-margin-top:10px
}

.explorer-topline {
  display:flex;
  justify-content:space-between;
  align-items:center;
  gap:20px;
  margin-bottom:30px
}

.explorer-topline .eyebrow {
  color:var(--muted)
}

.theme-switch-label {
  display:flex;
  align-items:center;
  gap:10px;
  font-size:var(--text-label);
  color:var(--muted)
}

.theme-switch-label select {
  font-size:var(--text-secondary);
  border:1px solid #bfcac4;
  border-radius:5px;
  padding:8px 28px 8px 10px;
  background:var(--paper);
  color:var(--ink);
  max-width:330px;
  min-height:44px
}

.research-workspace {
  display:grid;
  grid-template-columns:340px minmax(0,1fr);
  border:1px solid #ced9d1;
  border-radius:16px;
  background:var(--surface);
  overflow:hidden;
  box-shadow:0 10px 28px rgba(34,64,52,.035)
}

.paper-sidebar {
  padding:34px 28px;
  background:linear-gradient(135deg,color-mix(in srgb,var(--category-tint) 65%,var(--paper)),var(--paper));
  border-right:1px solid #d9e0d9
}

.theme-number {
  font-family:var(--sans);
  font-size:1.5rem;
  line-height:1;
  color:var(--category-color);
  display:block;
  opacity:.65;
  margin-bottom:14px
}

.paper-sidebar h2 {
  font-family:var(--serif);
  font-size:var(--title-paper);
  line-height:1.12;
  font-weight:400;
  letter-spacing:-.03em;
  margin-bottom:16px
}

.paper-sidebar>p {
  font-size:var(--text-secondary);
  color:var(--muted);
  line-height:1.8
}

.paper-sidebar .sidebar-note {
  font-size:var(--text-label);
  line-height:1.7;
  margin-top:23px;
  color:var(--muted)
}

.paper-picker {
  margin-top:26px
}

.paper-options {
  display:flex;
  flex-direction:column;
  gap:9px
}

.paper-option {
  position:relative;
  display:block;
  text-align:left;
  width:100%;
  background:transparent;
  border:1px solid #ced8ce;
  border-radius:7px;
  padding:13px 16px;
  font-size:var(--text-secondary);
  line-height:1.5;
  overflow-wrap:anywhere;
  hyphens:auto;
  color:var(--muted);
  transition:background .18s,box-shadow .18s
}

.paper-option strong {
  font-weight:500;
  display:block
}

.paper-option small {
  display:block;
  font-size:var(--text-label);
  margin-top:5px;
  color:var(--muted)
}

.paper-option:hover {
  border-color:var(--category-color);
  background:rgba(255,255,255,.65)
}

.paper-option[aria-pressed=true] {
  background:var(--surface);
  border-color:var(--category-color);
  color:var(--category-color);
  box-shadow:inset 3px 0 var(--category-color)
}

.matrix-label {
  font-size:var(--text-label);
  letter-spacing:.07em;
  text-transform:uppercase;
  color:var(--muted);
  margin-bottom:13px
}

.paper-matrix {
  display:grid;
  grid-template-columns:26px minmax(0,1fr) minmax(0,1fr);
  gap:7px;
  align-items:stretch
}

.matrix-axis {
  display:flex;
  align-items:center;
  justify-content:center;
  text-align:center;
  font-size:var(--text-label);
  color:var(--muted);
  line-height:1.4
}

.matrix-axis.row-axis {
  writing-mode:vertical-rl;
  transform:rotate(180deg);
  letter-spacing:.08em;
  text-transform:uppercase;
  font-size:var(--text-label)
}

.paper-matrix .paper-option {
  min-height:104px;
  padding:11px 9px;
  font-size:var(--text-secondary)
}

.paper-matrix .paper-option small {
  font-size:var(--text-label)
}

.paper-explanation {
  min-width:0;
  padding:32px 34px 25px
}

.paper-heading {
  min-height:150px
}

.paper-position {
  font-size:var(--text-label);
  color:var(--category-color);
  letter-spacing:.08em;
  text-transform:uppercase;
  font-weight:650;
  margin-bottom:9px
}

.paper-heading h3 {
  font-family:var(--serif);
  font-size:var(--title-paper);
  font-weight:400;
  line-height:1.2;
  letter-spacing:-.02em;
  max-width:720px;
  margin-bottom:14px
}

.paper-heading>p:last-child {
  font-size:var(--text-body);
  line-height:1.75;
  color:var(--muted);
  max-width:68ch
}

.animation-stage {
  position:relative;
  background:#fbfaf7;
  margin-top:20px;
  border:1px solid #e1e5dd;
  border-radius:10px;
  overflow:hidden
}

.animation-stage svg {
  width:100%;
  height:auto;
  overflow:visible
}

.illustration-label {
  position:absolute;
  right:12px;
  top:9px;
  font-size:7px;
  letter-spacing:.12em;
  color:var(--muted);
  pointer-events:none
}

.animation-controls {
  padding:18px 0 0
}

.demo-controls {
  display:flex;
  align-items:end;
  flex-wrap:wrap;
  gap:16px 25px;
  margin-bottom:18px
}

.demo-control {
  display:flex;
  flex-direction:column;
  gap:7px;
  min-width:150px;
  flex:1
}

.demo-control>label,.demo-control>span,.demo-control>legend {
  display:block;
  font-size:var(--text-label);
  font-weight:550;
  color:var(--muted);
  margin:0 0 3px;
  padding:0;
  line-height:1.5
}

.demo-control fieldset,.demo-control {
  border:0;
  margin:0;
  padding:0
}

.control-heading {
  display:flex;
  justify-content:space-between;
  gap:10px
}

.control-heading output {
  font-variant-numeric:tabular-nums;
  color:var(--category-color)
}

.choice-options {
  display:flex;
  gap:4px;
  padding:3px;
  border-radius:5px;
  background:#f0f2eb;
  border:1px solid #dce3d8
}

.choice-options button {
  flex:1;
  font-size:var(--text-secondary);
  line-height:1.4;
  padding:7px 9px;
  background:none;
  border:1px solid transparent;
  border-radius:4px;
  white-space:normal
}

.choice-options button[aria-pressed=true] {
  background:var(--surface);
  color:var(--category-color);
  border-color:#d1d9cd;
  box-shadow:0 1px 2px #1e35260d
}

input[type=range] {
  accent-color:var(--category-color);
  width:100%;
  height:18px;
  cursor:pointer;
  margin:0
}

.playback {
  display:flex;
  gap:8px;
  align-items:center;
  border-top:1px solid #e0e5dc;
  padding-top:13px
}

.playback button {
  background:transparent;
  border:1px solid #cdd8cd;
  border-radius:4px;
  font-size:var(--text-secondary);
  padding:6px 12px;
  min-width:59px
}

.playback button:first-child {
  background:var(--ink);
  border-color:var(--ink);
  color:white
}

.timeline-label {
  display:flex;
  align-items:center;
  gap:10px;
  flex:1;
  font-size:var(--text-label);
  color:var(--muted);
  padding-left:8px
}

.timeline-label input {
  flex:1;
  min-width:30px
}

.stage-caption {
  margin-top:12px;
  font-size:var(--text-label);
  line-height:1.8;
  min-height:40px;
  color:var(--muted)
}

.research-insight {
  display:grid;
  grid-template-columns:1fr;
  gap:8px;
  border-top:1px solid #dde5da;
  border-bottom:1px solid #dde5da;
  margin-top:15px;
  padding:18px 0
}

.research-insight .eyebrow {
  color:var(--category-color);
  font-size:var(--text-label);
  line-height:1.8;
  padding-top:3px
}

.research-insight p {
  font-size:var(--text-body);
  line-height:1.75;
  max-width:68ch
}

.paper-reference {
  margin-top:19px
}

.paper-reference>a {
  font-size:var(--text-body);
  font-weight:550;
  line-height:1.75;
  display:inline-block;
  text-decoration:none
}

.paper-reference>a:hover {
  text-decoration:underline
}

.paper-reference>a[aria-disabled=true] {
  pointer-events:none
}

.paper-reference>p {
  font-size:var(--text-secondary);
  color:var(--muted);
  margin-top:5px
}

.paper-reference-links {
  display:flex;
  gap:20px;
  flex-wrap:wrap;
  font-size:var(--text-secondary);
  margin-top:10px
}

.paper-reference-links a {
  text-decoration:none;
  border-bottom:1px solid #b7c6bb;
  padding-bottom:2px
}

.paper-reference #paper-caveat {
  font-size:var(--text-label);
  line-height:1.8;
  margin-top:12px;
  color:var(--muted)
}

.paper-game {
  margin-top:28px;
  padding:22px;
  background:var(--category-tint);
  border-left:3px solid var(--category-color)
}

.paper-game h4 {
  margin:12px 0;
  font-family:var(--serif);
  font-size:var(--title-publication);
  font-weight:500;
  line-height:1.2
}

.paper-game>p:not(.eyebrow) {
  font-size:var(--text-body);
  line-height:1.75
}

.paper-game .text-link {
  margin-top:16px;
  font-size:var(--text-secondary)
}

.no-script {
  border:1px solid var(--line);
  padding:20px
}

.editorial-section {
  display:grid;
  grid-template-columns:340px minmax(0,1fr);
  gap:0;
  padding-block:50px;
  border-top:1px solid var(--line)
}

.section-heading {
  padding-right:35px
}

.section-heading .eyebrow {
  color:var(--muted);
  font-size:var(--text-label);
  margin-bottom:13px;
  display:block
}

.section-heading h2,.publications-heading h2 {
  font-family:var(--serif);
  font-weight:400;
  font-size:var(--title-section);
  line-height:1.2;
  letter-spacing:-.035em
}

.prose {
  font-family:var(--sans);
  font-size:var(--text-body);
  line-height:1.75;
  padding-left:34px;
  max-width:74ch
}

.prose p+p {
  margin-top:18px
}

.prose a {
  text-decoration-color:#a2b6a7
}

.news-section>div:last-child {
  padding-left:34px
}

.news-list {
  padding:0;
  margin:0;
  list-style:none
}

.news-list li {
  position:relative;
  font-size:var(--text-body);
  line-height:1.75;
  margin-bottom:19px;
  padding-left:17px;
  max-width:74ch
}

.news-list li:before {
  content:"";
  position:absolute;
  left:0;
  top:10px;
  width:4px;
  height:4px;
  background:var(--accent);
  border-radius:50%
}

.news-list a {
  text-decoration-color:#b0c5b7
}

.news-archive {
  margin-top:25px;
  font-size:var(--text-secondary)
}

.news-archive summary {
  cursor:pointer;
  list-style:none;
  display:flex;
  justify-content:space-between;
  align-items:center;
  border-top:1px solid var(--line);
  padding-top:14px
}

.news-archive summary::-webkit-details-marker {
  display:none
}

.news-archive summary span {
  font-size:20px;
  line-height:1
}

.news-archive[open] summary {
  margin-bottom:20px
}

.news-archive[open] summary span {
  transform:rotate(45deg)
}

.publications-section {
  padding-block:55px 70px;
  border-top:1px solid var(--line)
}

.publications-heading {
  display:flex;
  justify-content:space-between;
  gap:30px;
  align-items:end;
  margin-bottom:30px
}

.publications-heading .eyebrow {
  color:var(--muted);
  font-size:var(--text-label);
  margin-bottom:13px
}

.paper-search-label {
  font-size:var(--text-label);
  color:var(--muted);
  display:flex;
  flex-direction:column;
  gap:6px;
  min-width:240px
}

.paper-search-label input {
  border:0;
  border-bottom:1px solid #aabbb0;
  border-radius:0;
  background:none;
  font-size:var(--text-secondary);
  padding:7px 0;
  color:var(--ink);
  width:100%
}

.publication-filters {
  display:flex;
  flex-wrap:wrap;
  gap:7px;
  margin-top:28px;
  margin-bottom:11px
}

.publication-filters button {
  background:transparent;
  border:1px solid #c6d2c7;
  border-radius:22px;
  padding:7px 13px;
  font-size:var(--text-label);
  line-height:1.4
}

.publication-filters button:hover {
  background:#e9eee5
}

.publication-filters button[aria-pressed=true] {
  background:var(--ink);
  color:white;
  border-color:var(--ink)
}

.publication-count {
  font-size:var(--text-label);
  color:var(--muted);
  margin-bottom:20px;
  min-height:16px
}

.publication-list {
  padding:0;
  margin:0;
  list-style:none;
  display:grid;
  grid-template-columns:minmax(0,1fr);
  column-gap:54px
}

.publication {
  display:flex;
  align-items:stretch;
  gap:17px;
  padding:24px 0;
  border-top:1px solid var(--line);
  scroll-margin-top:15px;
  min-width:0
}

.publication:target {
  background:#e8eee4;
  box-shadow:0 0 0 12px #e8eee4;
  border-radius:4px
}

.publication-marker {
  width:4px;
  flex-shrink:0;
  height:24px;
  border-radius:2px;
  background:var(--category-color);
  opacity:.75
}

.publication-copy {
  min-width:0;
  width:100%;
  max-width:82ch
}

.publication-copy>p:first-child {
  font-family:var(--serif);
  font-size:var(--title-publication);
  line-height:1.35;
  letter-spacing:-.01em;
  margin-bottom:10px
}

.publication-copy>p:first-child a {
  text-decoration:none
}

.publication-copy>p:first-child a:hover {
  text-decoration:underline;
  text-decoration-thickness:1px
}

.publication-detail {
  font-size:var(--text-secondary);
  line-height:1.75;
  color:var(--muted);
  margin-bottom:4px;
  overflow-wrap:anywhere
}

.publication-copy>.publication-detail:nth-child(2) {
  color:var(--muted);
  font-size:var(--text-secondary);
  margin-bottom:7px
}

.publication-actions {
  display:flex;
  justify-content:flex-start;
  align-items:center;
  gap:12px 24px;
  flex-wrap:wrap;
  margin-top:13px
}

.category-label {
  font-size:var(--text-label);
  text-transform:uppercase;
  letter-spacing:.08em;
  color:var(--muted)
}

.explore-paper,.game-link {
  padding:0;
  border:0;
  background:none;
  font-size:var(--text-label);
  color:var(--accent);
  border-bottom:1px solid #b6cabb;
  text-decoration:none
}

.explore-paper:hover,.game-link:hover {
  color:var(--ink)
}

.talks-list,.teaching-list,.student-collaborators {
  padding-left:34px
}

.student-collaborators>p {
  font-size:var(--text-body);
  margin-bottom:16px
}

.student-list {
  list-style:none;
  padding:0;
  margin:0;
  font-size:var(--text-body);
  line-height:1.75
}

.student-list li+li {margin-top:10px}
.student-list a {text-underline-offset:4px;text-decoration-color:#a2b6a7}
.student-list span {font-size:var(--text-secondary);color:var(--muted)}

.talks-list>ul,.teaching-list>ul {
  padding:0;
  margin:0;
  list-style:none
}

.talks-list li {
  font-size:var(--text-body);
  line-height:1.75;
  border-bottom:1px solid #e2e7dc;
  padding:14px 0
}

.talks-list li:first-child {
  padding-top:0
}

.talks-list li:last-child {
  border:0
}

.teaching-list li {
  font-size:var(--text-body);
  line-height:1.75;
  margin-bottom:24px;
  max-width:74ch
}

.teaching-list li p+p {
  font-size:var(--text-label);
  color:var(--muted);
  margin-top:5px
}

.site-footer {
  display:flex;
  justify-content:space-between;
  gap:35px;
  align-items:start;
  border-top:1px solid var(--line);
  padding-block:40px 55px;
  margin-top:30px
}

.site-footer p {
  font-size:var(--text-label);
  margin-top:12px;
  color:var(--muted)
}

.site-footer>div:last-child {
  display:flex;
  flex-direction:column;
  align-items:end;
  gap:7px;
  font-size:var(--text-secondary)
}

.site-footer>div:last-child a {
  text-decoration:none
}

.site-footer>div:last-child a:hover {
  text-decoration:underline
}

body:not(.js-ready) .explore-paper,body:not(.js-ready) .publication-filters,body:not(.js-ready) .paper-search-label {
  display:none
}

@media(min-width:1600px) {
  .hero {
    gap:40px
  }
  .orbit-name {
    font-size:20px!important
  }
  .orbit-count {
    font-size:var(--text-compact)
  }
  .map-center {
    font-size:39px
  }
}

@media(max-width:1150px) {
  .page-width,.nav-inner {
    width:calc(100% - 60px)
  }
  .nav-links {
    gap:14px
  }
  .hero {
    grid-template-columns:360px minmax(0,1fr);
    gap:20px;
    min-height:670px
  }
  .hero h1 {
    font-size:48px
  }
  .hero-description {
    font-size:var(--text-body)
  }
  .map-center {
    font-size:26px
  }
  .map-center .center-symbol {
    font-size:23px
  }
  .orbit-name {
    font-size:14px!important
  }
  .orbit-count {
    font-size:var(--text-compact)
  }
  .map-caption {
    font-size:var(--text-label);
    gap:12px
  }
  .privacy-link {
    font-size:var(--text-label)
  }
  .identity {
    gap:20px
  }
  .identity img {
    width:152px;
    height:184px
  }
  .research-workspace,.editorial-section {
    grid-template-columns:310px minmax(0,1fr)
  }
  .paper-sidebar {
    padding:26px 20px
  }
  .paper-explanation {
    padding:27px 24px 22px
  }
  .paper-heading h3 {
    font-size:var(--title-paper)
  }
  .paper-matrix .paper-option {
    padding:10px 7px;
    font-size:var(--text-secondary)
  }
  .demo-controls {
    gap:12px
  }
  .prose,.news-section>div:last-child,.talks-list,.teaching-list,.student-collaborators {
    padding-left:24px
  }
  .section-heading h2,.publications-heading h2 {
    font-size:var(--title-section)
  }
  .publication-list {
    column-gap:30px
  }
  .publication-copy>p:first-child {
    font-size:var(--title-publication)
  }
}

@media(max-width:900px) {
  html {
    scroll-padding-top:85px
  }
  .hero {
    grid-template-columns:1fr;
    min-height:auto;
    padding-top:50px;
    padding-bottom:45px;
    gap:5px
  }
  .hero-intro {
    max-width:620px
  }
  .hero h1 {
    font-size:52px
  }
  .hero-description {
    font-size:var(--text-body);
    max-width:500px
  }
  .identity img {
    width:176px;
    height:212px
  }
  .explore-start {
    margin-top:20px
  }
  .research-map {
    width:min(700px,100%);
    margin:auto
  }
  .map-wrap {
    margin-top:15px
  }
  .map-center {
    font-size:34px
  }
  .map-center .center-symbol {
    font-size:32px
  }
  .orbit-name {
    font-size:18px!important
  }
  .orbit-count {
    font-size:var(--text-compact)
  }
  .map-caption {
    font-size:var(--text-label);
    gap:25px;
    margin-top:5px
  }
  .privacy-link {
    font-size:var(--text-label)
  }
  .research-workspace {
    grid-template-columns:1fr
  }
  .paper-sidebar {
    border-right:0;
    border-bottom:1px solid var(--line);
    padding:25px 28px;
    display:grid;
    grid-template-columns:1fr 1.4fr;
    column-gap:35px;
    align-items:start
  }
  .theme-number {
    font-size:1.5rem;
    margin-bottom:10px;
    grid-column:1
  }
  .paper-sidebar h2 {
    grid-column:1;
    font-size:var(--title-paper)
  }
  .paper-sidebar>p {
    grid-column:1;
    font-size:var(--text-secondary)
  }
  .paper-sidebar #paper-picker {
    grid-column:2;
    grid-row:1 / span 4;
    margin-top:0
  }
  .paper-sidebar .sidebar-note {
    margin-top:14px;
    font-size:var(--text-label)
  }
  .paper-matrix .paper-option {
    font-size:var(--text-secondary);
    min-height:90px
  }
  .paper-options {
    gap:5px
  }
  .paper-options .paper-option {
    padding:9px 13px
  }
  .paper-explanation {
    padding:30px
  }
  .paper-heading {
    min-height:0
  }
  .paper-heading h3 {
    font-size:var(--title-paper)
  }
  .animation-stage {
    margin-top:24px
  }
  .editorial-section {
    grid-template-columns:200px minmax(0,1fr)
  }
  .section-heading h2 {
    font-size:var(--title-section)
  }
  .prose {
    font-size:var(--text-body)
  }
  .publication-list {
    column-gap:28px
  }
  .publications-heading h2 {
    font-size:var(--title-section)
  }
  .paper-search-label {
    min-width:205px
  }
  .nav-links {
    gap:15px;
    font-size:var(--text-secondary)
  }
  .menu-toggle {
    display:block;
    min-height:44px;
    padding:8px 0 8px 14px
  }
  .nav-links {
    display:none;
    position:absolute;
    top:100%;
    left:0;
    width:100%;
    background:var(--paper);
    border-bottom:1px solid var(--line);
    padding:20px;
    flex-wrap:wrap;
    justify-content:center;
    gap:16px 25px
  }
  .nav-links.is-open {
    display:flex
  }
  .nav-inner {
    min-height:80px
  }
  .wordmark {
    font-size:24px
  }
}

@media(max-width:650px) {
  .page-width,.nav-inner {
    width:calc(100% - 36px)
  }
  .nav-inner {
    min-height:73px
  }
  .wordmark {
    font-size:22px
  }
  .wordmark span {
    font-size:var(--text-compact);
    margin-top:6px
  }
  .menu-toggle {
    display:block;
    font-size:var(--text-secondary);
    padding:8px 0 8px 14px
  }
  .menu-toggle span {
    margin-left:6px
  }
  .nav-links {
    display:none;
    position:absolute;
    top:100%;
    left:0;
    width:100%;
    background:var(--paper);
    border-bottom:1px solid var(--line);
    padding:20px;
    flex-wrap:wrap;
    justify-content:center;
    gap:16px 25px
  }
  .nav-links.is-open {
    display:flex
  }
  .hero {
    padding-top:35px;
    padding-bottom:30px
  }
  .hero h1 {
    font-size:42px
  }
  .hero-description {
    font-size:var(--text-body);
    margin-top:24px;
    max-width:440px
  }
  .identity {
    margin-top:22px;
    gap:16px
  }
  .identity img {
    width:124px;
    height:150px
  }
  .identity .identity-role {
    font-size:1.25rem;
    margin-bottom:6px
  }
  .identity p {
    font-size:var(--text-secondary);
    line-height:1.6
  }
  .identity-links {
    font-size:var(--text-secondary);
    margin-top:20px;
    gap:20px
  }
  .explore-start {
    font-size:var(--text-secondary);
    margin-top:19px
  }
  .map-wrap {
    margin-top:20px
  }
  .research-map {
    aspect-ratio:1 / 1.14;
    max-width:460px
  }
  .orbit-paths {
    display:none
  }
  .map-center {
    width:36%;
    height:31.6%;
    left:32%;
    top:34.2%;
    font-size:clamp(21px,6vw,28px)
  }
  .map-center .center-symbol {
    font-size:24px;
    margin-bottom:3px
  }
  .orbit-circle {
    width:35%;
    height:30.7%;
    padding:16px 3px
  }
  .orbit-name {
    font-size:clamp(12px,3.35vw,16px)!important
  }
  .orbit-count {
    font-size:var(--text-compact);
    margin-top:7px
  }
  .orbit-circle svg {
    width:30%;
    height:29%;
    margin-bottom:6px
  }
  .orbit-graphs {
    left:32.5%;
    top:1.5%
  }
  .orbit-flexibility {
    left:64%;
    top:18.5%
  }
  .orbit-hiring {
    left:64%;
    top:51%
  }
  .orbit-online {
    left:32.5%;
    top:68%
  }
  .orbit-dynamic {
    left:1%;
    top:51%
  }
  .orbit-geometry {
    left:1%;
    top:18.5%
  }
  .map-caption {
    margin-top:10px;
    gap:12px;
    flex-wrap:wrap;
    font-size:var(--text-label)
  }
  .privacy-link {
    font-size:var(--text-label)
  }
  .explorer {
    padding-top:20px;
    margin-bottom:40px;
    scroll-margin-top:10px
  }
  .explorer-topline {
    flex-direction:column;
    align-items:start;
    margin-bottom:18px;
    gap:15px
  }
  .explorer-topline .eyebrow {
    font-size:var(--text-label);
    padding-top:8px
  }
  .theme-switch-label {
    font-size:0;
    gap:0;
    width:100%
  }
  .theme-switch-label select {
    font-size:var(--text-secondary);
    max-width:100%;
    width:100%;
    padding:6px 22px 6px 8px
  }
  .research-workspace {
    border-radius:10px
  }
  .paper-sidebar {
    display:block;
    padding:22px 20px
  }
  .theme-number {
    font-size:1.5rem;
    margin-bottom:12px
  }
  .paper-sidebar h2 {
    font-size:var(--title-paper);
    margin-bottom:12px
  }
  .paper-sidebar>p {
    font-size:var(--text-secondary)
  }
  .paper-sidebar #paper-picker {
    margin-top:23px
  }
  .paper-matrix {
    grid-template-columns:26px minmax(0,1fr) minmax(0,1fr);
    gap:7px
  }
  .paper-matrix .paper-option {
    min-height:90px;
    font-size:var(--text-secondary);
    padding:11px 8px
  }
  .paper-matrix .paper-option small {
    font-size:var(--text-label)
  }
  .matrix-axis {
    font-size:var(--text-label)
  }
  .matrix-axis.row-axis {
    font-size:var(--text-label)
  }
  .paper-options {
    display:grid;
    grid-template-columns:1fr;
    gap:7px
  }
  .paper-options .paper-option {
    font-size:var(--text-secondary);
    padding:11px;
    line-height:1.5
  }
  .paper-options .paper-option small {
    font-size:var(--text-label)
  }
  .paper-sidebar .sidebar-note {
    font-size:var(--text-label);
    margin-top:16px
  }
  .paper-explanation {
    padding:22px 15px
  }
  .paper-heading h3 {
    font-size:var(--title-paper)
  }
  .paper-heading>p:last-child {
    font-size:var(--text-body);
    line-height:1.75
  }
  .paper-position {
    font-size:var(--text-label)
  }
  .animation-stage {
    margin-inline:-8px;
    border-radius:6px;
    margin-top:20px
  }
  .illustration-label {
    font-size:5px;
    right:6px;
    top:5px
  }
  .animation-controls {
    padding-top:15px
  }
  .demo-controls {
    gap:13px;
    display:grid;
    grid-template-columns:1fr
  }
  .demo-control {
    min-width:0
  }
  .demo-control>label,.demo-control>span,.demo-control>legend {
    font-size:var(--text-label)
  }
  .choice-options button {
    font-size:var(--text-secondary);
    padding:8px
  }
  .playback {
    gap:7px
  }
  .playback button {
    font-size:var(--text-secondary);
    padding:6px 9px;
    min-width:52px
  }
  .timeline-label {
    font-size:0;
    padding-left:4px;
    gap:0
  }
  .stage-caption {
    font-size:var(--text-label);
    line-height:1.75;
    min-height:49px
  }
  .research-insight {
    grid-template-columns:1fr;
    gap:7px;
    padding:15px 0;
    margin-top:9px
  }
  .research-insight p {
    font-size:var(--text-body)
  }
  .paper-reference>a {
    font-size:var(--text-body)
  }
  .paper-reference>p {
    font-size:var(--text-secondary)
  }
  .paper-reference-links {
    font-size:var(--text-secondary);
    gap:15px
  }
  .paper-reference #paper-caveat {
    font-size:var(--text-label)
  }
  .editorial-section {
    display:block;
    padding-block:33px
  }
  .section-heading {
    padding:0;
    margin-bottom:24px
  }
  .section-heading .eyebrow {
    font-size:var(--text-label);
    margin-bottom:10px
  }
  .section-heading h2 {
    font-size:var(--title-section)
  }
  .prose,.news-section>div:last-child,.talks-list,.teaching-list,.student-collaborators {
    padding-left:0
  }
  .prose {
    font-size:var(--text-body)
  }
  .news-list li {
    font-size:var(--text-body);
    margin-bottom:17px
  }
  .publications-section {
    padding-block:35px 45px
  }
  .publications-heading {
    display:block;
    margin-bottom:22px
  }
  .publications-heading h2 {
    font-size:var(--title-section);
    max-width:300px
  }
  .publications-heading .eyebrow {
    font-size:var(--text-label)
  }
  .paper-search-label {
    margin-top:22px;
    max-width:100%
  }
  .paper-search-label input {
    font-size:var(--text-secondary)
  }
  .publication-filters {
    gap:6px;
    margin-top:20px
  }
  .publication-filters button {
    font-size:var(--text-label);
    padding:6px 10px
  }
  .publication-list {
    grid-template-columns:1fr
  }
  .publication {
    padding:23px 0;
    gap:13px
  }
  .publication-copy>p:first-child {
    font-size:var(--title-publication)
  }
  .publication-copy>.publication-detail:nth-child(2) {
    font-size:var(--text-secondary)
  }
  .publication-detail {
    font-size:var(--text-secondary)
  }
  .category-label {
    font-size:var(--text-label)
  }
  .explore-paper {
    font-size:var(--text-label)
  }
  .talks-list li {
    font-size:var(--text-body);
    padding-block:12px
  }
  .teaching-list li {
    font-size:var(--text-body)
  }
  .site-footer {
    display:block;
    margin-top:15px;
    padding-block:30px 40px
  }
  .site-footer>div:last-child {
    align-items:start;
    margin-top:25px;
    font-size:var(--text-secondary)
  }
}

@media(prefers-reduced-motion:reduce) {
  html {
    scroll-behavior:auto
  }
  *,*:before,*:after {
    animation-duration:.01ms!important;
    transition-duration:.01ms!important
  }
  .orbit-circle:hover {
    transform:none
  }
}

@media print {
  body {
    background:white;
    color:black
  }
  .site-nav,.research-map,.map-caption,.explorer,.hero-intro .eyebrow,.explore-start,.publication-filters,.paper-search-label,.explore-paper,.publication-count,.menu-toggle,.site-footer {
    display:none!important
  }
  .page-width {
    width:100%
  }
  .hero {
    display:block;
    padding:0;
    min-height:0
  }
  .hero-intro {
    display:block
  }
  .hero h1 {
    font-size:32px
  }
  .hero-description {
    max-width:none
  }
  .identity {
    margin-top:15px
  }
  .identity-links {
    margin-bottom:20px
  }
  .editorial-section {
    padding-block:20px;
    display:block
  }
  .section-heading {
    margin-bottom:15px
  }
  .prose,.news-section>div:last-child,.talks-list,.teaching-list,.student-collaborators {
    padding-left:0
  }
  .publication-list {
    display:block
  }
  .publication,.talks-list li,.news-list li {
    break-inside:avoid
  }
  .news-archive>ul {
    display:block!important
  }
  .news-archive>summary {
    display:none
  }
  .publications-section {
    padding-top:20px
  }
  .publication-copy>p:first-child {
    font-size:17px
  }
  .publications-heading h2,.section-heading h2 {
    font-size:25px
  }
}

/* A larger, keyboard-accessible view keeps dense diagrams readable on phones. */
.animation-toolbar {
  display:flex;
  justify-content:space-between;
  align-items:center;
  margin-top:22px;
  gap:15px;
  font-size:var(--text-label);
  letter-spacing:.08em;
  color:var(--muted)
}

.animation-toolbar button {
  background:none;
  border:0;
  border-bottom:1px solid #bdcbbf;
  padding:2px 0;
  font-size:var(--text-secondary);
  letter-spacing:0;
  color:var(--muted)
}

.animation-toolbar+.animation-stage {
  margin-top:9px
}

.diagram-open {
  overflow:hidden
}

#diagram-dialog {
  width:min(1100px,calc(100vw - 40px));
  max-height:calc(100vh - 40px);
  padding:24px 30px;
  border:1px solid #cbd6cd;
  border-radius:14px;
  background:var(--surface);
  color:var(--ink);
  overflow-y:auto;
  box-shadow:0 20px 80px #172f3b44
}

#diagram-dialog::backdrop {
  background:#172f3ba6;
  backdrop-filter:blur(4px)
}

.diagram-dialog-heading {
  position:sticky;
  top:0;
  z-index:3;
  background:var(--surface);
  padding-block:8px;
  display:flex;
  align-items:start;
  justify-content:space-between;
  gap:30px;
  margin-bottom:12px
}

.diagram-dialog-heading h2 {
  font-family:var(--serif);
  font-weight:400;
  font-size:var(--title-paper);
  line-height:1.25;
  max-width:840px
}

.diagram-dialog-heading form {
  flex-shrink:0
}

.diagram-dialog-heading button {
  border:1px solid #becbc0;
  background:var(--paper);
  border-radius:5px;
  font-size:var(--text-secondary);
  padding:7px 12px
}

.diagram-dialog-heading button span {
  font-size:18px;
  margin-left:8px
}

.diagram-zoom-viewport {
  overflow-x:auto;
  border-radius:7px
}

.diagram-zoom-viewport .animation-stage {
  margin:0;
  min-width:760px
}

.diagram-zoom-viewport svg {
  max-height:none;
  height:auto;
  min-height:440px
}

.diagram-zoom-controls .demo-controls {
  gap:18px
}

.diagram-pan-hint {
  display:none
}

.diagram-zoom-controls .stage-caption {
  min-height:0;
  margin-bottom:0
}

.diagram-zoom-controls .demo-control>label,.diagram-zoom-controls .demo-control>legend {
  font-size:var(--text-label)
}

.diagram-zoom-controls .choice-options button,.diagram-zoom-controls .playback button {
  font-size:var(--text-secondary)
}

.diagram-zoom-controls .stage-caption {
  font-size:var(--text-label)
}

@media(max-width:800px) {
  #diagram-dialog {
    width:calc(100vw - 20px);
    max-height:calc(100dvh - 20px);
    padding:17px 15px;
    border-radius:10px
  }
  .diagram-dialog-heading {
    gap:20px
  }
  .diagram-dialog-heading h2 {
    font-size:var(--title-paper)
  }
  .diagram-dialog-heading button {
    padding:5px 9px;
    font-size:var(--text-secondary)
  }
  .diagram-pan-hint {
    display:block;
    font-size:var(--text-label);
    color:var(--muted);
    margin-bottom:10px
  }
  .diagram-zoom-viewport svg {
    width:760px;
    max-height:none
  }
  .diagram-zoom-viewport .animation-stage {
    width:760px
  }
  .diagram-zoom-controls .demo-controls {
    gap:13px
  }
}

.demo-control>label.control-heading {
  display:flex;
  justify-content:space-between;
  gap:12px
}

.diagram-zoom-viewport {
  scrollbar-width:thin;
  scrollbar-color:#9fb6a7 #edf1e9
}

.diagram-zoom-viewport::-webkit-scrollbar {
  height:7px
}

.diagram-zoom-viewport::-webkit-scrollbar-thumb {
  background:#9fb6a7;
  border-radius:8px
}

.explorer {
  position:relative
}

.paper-deep-link {
  position:absolute;
  left:0;
  top:0;
  display:block;
  width:1px;
  height:1px;
  pointer-events:none;
  scroll-margin-top:10px
}

.orbit-circle svg {
  transition:transform .25s
}

.orbit-circle:hover svg,.orbit-circle:focus-visible svg {
  transform:translateY(-3px)
}

.try-this {
  font-size:var(--text-label);
  color:#4e6b61;
  line-height:1.8;
  border-left:2px solid #c6d7c7;
  padding:1px 0 1px 10px;
  margin:0 0 17px
}

.try-this:before {
  content:"TRY THIS  ";
  font-size:var(--text-label);
  letter-spacing:.08em;
  font-weight:650;
  color:var(--category-color);
  margin-right:7px
}

.story-steps {
  display:flex;
  gap:5px;
  flex-wrap:wrap;
  margin-top:13px
}

.story-steps button {
  flex:1;
  display:flex;
  justify-content:center;
  align-items:center;
  gap:7px;
  background:transparent;
  border:0;
  border-bottom:2px solid #e1e7dc;
  padding:7px 5px;
  font-size:var(--text-label);
  line-height:1.5;
  color:var(--muted);
  text-align:center
}

.story-steps button>span {
  font-size:var(--text-compact);
  display:inline-flex;
  align-items:center;
  justify-content:center;
  flex-shrink:0;
  border:1px solid #cdd9cd;
  border-radius:50%;
  width:16px;
  height:16px
}

.story-steps button[aria-current=step] {
  border-bottom-color:var(--category-color);
  color:var(--category-color)
}

.story-steps button[aria-current=step]>span {
  background:var(--category-color);
  border-color:var(--category-color);
  color:white
}

.diagram-zoom-controls .story-steps button {
  font-size:var(--text-label)
}

.diagram-zoom-controls .try-this {
  font-size:var(--text-label)
}

@media(max-width:650px) {
  .try-this {
    font-size:var(--text-label)
  }
  .story-steps button {
    font-size:var(--text-label);
    gap:5px;
    padding-inline:2px;
    flex-basis:40%
  }
  .story-steps button>span {
    width:14px;
    height:14px;
    font-size:var(--text-compact)
  }
  .diagram-zoom-controls .story-steps button {
    font-size:var(--text-label)
  }
}
/* Keep the map's invitation and interactive controls readable at every width. */
.map-caption, .privacy-link {font-size:var(--text-label);}
.explore-paper {min-height:28px;}
.animation-toolbar button {min-height:28px;}
.paper-reference-links a {padding-block:5px;}
input,select,.publication-filters button,.choice-options button,.playback button,.story-steps button {
  min-height:44px;
}
.nav-links a {
  display:inline-flex;
  align-items:center;
  min-height:44px;
}
.animation-toolbar {
  flex-wrap:wrap;
}
@media(max-width:650px) {
  .menu-toggle {min-height:44px;min-width:64px;}
  .identity-links a {min-height:30px;display:inline-flex;align-items:center;}
  .publication-filters button {min-height:44px;}
  .choice-options button {min-height:44px;}
  .playback button {min-height:44px;}
  .map-caption {gap:10px 20px;text-align:center;}
}

/* Read the motivation first; examples are optional and start paused. */
.paper-heading {
  min-height:0;
  margin-bottom:24px;
}
.paper-heading>p.paper-motivation {
  font-size:var(--text-body);
  line-height:1.75;
  color:var(--muted);
}
.research-insight {
  margin-top:0;
  padding-block:20px;
}
.research-insight p {
  font-size:var(--text-body);
  line-height:1.75;
}
.paper-reference {
  margin-top:24px;
}
.paper-reference>a {
  font-size:var(--text-body);
}
.paper-reference>p {
  font-size:var(--text-secondary);
  line-height:1.7;
}
.paper-reference-links {
  font-size:var(--text-secondary);
}
.paper-illustration {
  border-top:1px solid #d9e0d9;
  margin-top:28px;
}
.paper-illustration>summary {
  display:flex;
  justify-content:space-between;
  align-items:center;
  gap:15px;
  padding:18px 0;
  cursor:pointer;
  list-style:none;
  font-size:var(--text-secondary);
  font-weight:550;
  color:var(--category-color);
}
.paper-illustration>summary::-webkit-details-marker {display:none;}
.paper-illustration>summary:focus-visible {
  outline:2px solid var(--category-color);
  outline-offset:5px;
}
.disclosure-symbol {
  font-size:22px;
  font-weight:400;
  line-height:1;
}
.paper-illustration[open] .disclosure-symbol {transform:rotate(45deg);}
.illustration-content {padding-bottom:12px;}
.illustration-notes {
  border-top:1px solid #dde5da;
  padding-top:14px;
  margin-top:16px;
  font-size:var(--text-label);
  color:var(--muted);
  line-height:1.8;
}
.illustration-notes a {text-underline-offset:4px;}
.illustration-notes p {margin-top:8px;}
@media (max-width:600px) {
  .paper-heading>p.paper-motivation {font-size:var(--text-body);line-height:1.75;}
  .research-insight p {font-size:var(--text-body);}
  .paper-reference>a {font-size:var(--text-body);}
  .paper-illustration>summary {min-height:52px;}
}