/* SEPT Lab website.
   Modeled on comsec.ethz.ch (the BlogFeedly WordPress theme as the Computer Security Group at ETH
   Zurich uses it): a centered masthead, a menu bar under a hairline, a 1024 px body with a main column
   and a sidebar, Karla throughout, white paper, and links in USC cardinal instead of comsec's blue.
   Sizes follow that theme: the root is 112.5% (18 px text, 16 px on phones), page titles 34 px, the
   menu 14 px, the sidebar 15 px.

   Contrast on white (WCAG 2.x): ink 16.5:1, text 12.6:1, title 9.4:1, muted 5.1:1, cardinal 8.9:1,
   cardinal hover 11.5:1; ink on the year bars 11.9:1; cardinal on the tint of a linked entry 8.3:1;
   the Menu button's text 7.1:1. All text meets AA. The lighter gray is used for decorative rules.
   The site has no pill buttons: in this plain-text design,
   actions are text links and text buttons. */

:root {
  --paper: #ffffff;
  --ink: #1f1f1f;          /* headings, names, citation titles */
  --text: #333333;         /* reading text */
  --title: #464646;        /* the site title and the menu */
  --muted: #6e6e6e;        /* captions, labels, course terms */
  --accent: #990000;       /* USC cardinal: links, awards, the current page */
  --accent-hover: #7a0000;
  --gold: #9c6500;         /* gold lettering, 4.9:1 contrast on white */
  --rule: #d9d9d9;         /* the home separator's lower line */
  --hair: #eeeeee;         /* the sidebar's left border */
  --nav-rule: #edeeee;     /* the hairline above the menu */
  --bar: #dbdbdb;          /* year bars on the Publications page (bibbase's gray) */
  --target: #f6f6f6;       /* an entry reached through its #anchor */
}

/* ---------- Base ---------- */

*, *::before, *::after { box-sizing: border-box; }

html {
  font-size: 112.5%;
  -webkit-text-size-adjust: 100%;
  text-size-adjust: 100%;
  color-scheme: light;
}

body {
  margin: 0;
  background: var(--paper);
  color: var(--text);
  font-family: "Karla", "Helvetica Neue", Helvetica, Arial, sans-serif;
  line-height: 1.66667;
  overflow-wrap: break-word;
}

img { max-width: 100%; height: auto; border: 0; vertical-align: middle; }
svg { max-width: 100%; }

a {
  color: var(--accent);
  text-decoration: underline;
  text-decoration-thickness: 1px;
  text-underline-offset: 0.14em;
  transition: color 0.2s, background-color 0.2s;
}
a:hover { color: var(--accent-hover); }

:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
#main:focus { outline: 0; }

h1, h2, h3, h4, h5, h6 {
  margin: 0 0 24px;
  color: var(--ink);
  font-weight: 700;
  line-height: 1.2;
}
h1 { font-size: 34px; letter-spacing: -1px; }
h2 { font-size: 22px; letter-spacing: normal; }
h3 { font-size: 18px; }
h4 { font-size: 16px; }

p, ul, ol, dl, address, figure { margin: 0 0 24px; }
p, li { text-wrap: pretty; }
ul, ol { padding-left: 24px; }
ul { list-style: circle; }
li > ul, li > ol { margin-bottom: 0; }
address { font-style: normal; }
strong, b { font-weight: 700; }
sup { font-size: 75%; line-height: 0; position: relative; top: -0.45em; vertical-align: baseline; }

.visually-hidden {
  position: absolute !important;
  width: 1px;
  height: 1px;
  margin: -1px;
  padding: 0;
  overflow: hidden;
  clip: rect(0 0 0 0);
  clip-path: inset(50%);
  white-space: nowrap;
  border: 0;
}

.nowrap { white-space: nowrap; }

.skip-link {
  position: absolute;
  top: 8px;
  left: 8px;
  z-index: 100;
  padding: 10px 18px;
  background: var(--paper);
  color: var(--accent);
  font-size: 15px;
  font-weight: 700;
  box-shadow: 0 0 2px 2px rgba(0, 0, 0, 0.45);
  transform: translateY(-200%);
}
.skip-link:focus { transform: none; }

/* ---------- Masthead ---------- */

.site-header {
  padding: 30px 24px;
  background: var(--paper);
  text-align: center;
}

.lockup {
  display: inline-flex;
  align-items: center;
  max-width: 100%;
  margin: 38px 0 32px;
  color: var(--ink);
  text-decoration: none;
}
.lockup:hover { color: var(--ink); }

.lockup__mark {
  flex: none;
  width: auto;
  height: 82px;
}

.lockup__name {
  margin-left: 15px;
  font-size: 54px;
  font-weight: 700;
  letter-spacing: -1.5px;
  line-height: 1;
  white-space: nowrap;
}
.brand-accent { color: var(--accent); }

.lockup__rule {
  flex: none;
  align-self: stretch;
  width: 2px;
  margin: 0 32px;
  background: var(--ink);
}

.lockup__inst {
  font-size: 21px;
  font-weight: 700;
  letter-spacing: -0.2px;
  line-height: 1.2;
  text-align: left;
}
.lockup__line { display: block; white-space: nowrap; }

.site-title {
  margin: 0 0 15px;
  color: var(--title);
  font-size: 34px;
  font-weight: 700;
  letter-spacing: -1px;
  line-height: 1.2;
  text-wrap: balance;
}
.site-title__initial {
  color: var(--accent);
  text-transform: uppercase;
}
.site-title__initial--gold { color: var(--gold); }

/* ---------- Menu ---------- */

.site-nav {
  padding: 0 24px 16px;
  border-top: 1px solid var(--nav-rule);
  background: var(--paper);
  text-align: center;
}

.menu {
  margin: 0;
  padding: 0;
  list-style: none;
}
.menu li {
  display: inline-block;
  margin-top: 14px;
  padding: 0 12px;
}
.menu a {
  color: var(--title);
  font-size: 14px;
  text-decoration: none;
  text-transform: uppercase;
}
.menu a:hover { color: var(--accent); }
.menu a[aria-current="page"] {
  color: var(--accent);
  text-decoration: underline;
  text-decoration-thickness: 1px;
  text-underline-offset: 5px;
}

.menu-toggle { display: none; }

/* ---------- Body: main column and sidebar ---------- */

.site-content { padding: 60px 24px 30px; }

.inner {
  display: flex;
  max-width: 1024px;
  margin: 0 auto;
}

/* As comsec's .hentry (margin-bottom 60px), the column ends about 70 px below its last line, so the
   sidebar's rule runs on a little past the text before the footer. */
.main {
  width: 100%;
  max-width: 75%;
  min-width: 0;
  margin-bottom: 60px;
  padding-bottom: 24px;
}
.content > :last-child,
.content > :last-child > :last-child { margin-bottom: 0; }

.sidebar {
  width: 100%;
  max-width: 25%;
  margin: 0 0 15px 30px;
  padding-left: 30px;
  border-left: 1px solid var(--hair);
  font-size: 15px;
}

.widget { margin: 0 0 24px; }
.widget-title {
  margin: 0 0 24px;
  padding-bottom: 10px;
  border-bottom: 1px solid #333;
  color: #2b2b2b;
  font-size: 18px;
  letter-spacing: normal;
  line-height: 1.2;
}
.widget ul {
  margin: 0 0 24px;
  padding-left: 24px;
  list-style: circle;
}
.widget li { padding-bottom: 4px; }
.widget li::marker { font-size: 13px; }
.widget a {
  color: #000;
  text-decoration: none;
}
.widget a:hover { color: var(--accent); text-decoration: underline; }

/* ---------- Page content ---------- */

.entry-title { margin: 0 0 24px; }

/* comsec: .entry-content > h2 { margin-top: 30px } */
.content > h2 { margin: 30px 0 12px; }
.content > h2:first-child,
.content > section:first-child > h2:first-child { margin-top: 0; }
.content > section > h2 { margin: 30px 0 12px; }

.page-note { color: var(--text); }

/* ---------- Home ---------- */

/* The image starts level with the sidebar title's rule, as comsec's group photo does. */
.vision { margin: 24px 0 0; }
.vision__svg {
  display: block;
  width: 100%;
  height: auto;
}
.vision__caption {
  padding-top: 6px;
  color: var(--muted);
  font-size: 15px;
  font-style: italic;
  line-height: 1.5;
  text-align: center;
  text-wrap: balance;
}

/* WordPress's separator as comsec draws it: a 2 px gray line over a 1 px light one. */
.separator {
  box-sizing: content-box;
  width: 50%;
  height: 2px;
  margin: 36px auto;
  border: 0;
  border-bottom: 1px solid var(--rule);
  background: #808080;
}

/* ---------- Vision image: motion ----------
   The drawing carries hooks only: classes on the parts that move (design/vision/make_vision.py lists
   them), which the build prefixes with "vision-". The rules below animate them while site.js sets
   data-motion on the figure: "running", or "paused" to freeze them where they are (the reader's
   Pause button, and while the figure is off-screen, the tab hidden or the journey dialog open).
   Without the attribute (no JavaScript, or prefers-reduced-motion: reduce) none of this applies and
   the drawing is the still image; a replacement drawing without the hooks simply does not move.

   One loop of 8 s, after a one-time intro of 1.1 s in which the layers lift apart a little and settle:
   the root of trust and its enclave light up; a pulse climbs the red thread, hidden wherever the
   thread is hidden, and surfaces at each via; the confidential VM lights; the pulse passes through the
   two nodes of the inference path to the verified output, which lights while its check draws in
   again; the agent lights and its spark twinkles; it calls its caged tool, whose gear turns a notch;
   the crack on the vulnerable VM flickers twice; then rest. Lit gold is the pulse's pale gold
   #ffe08a, the drawing's gold is #ebb840, its red #b22a22, its ink #23261f. The delays come from
   make_vision.py. The loop changes paint properties only (fill, stroke, the dash, visibility):
   animating opacity or transform would make the browser composite those parts of the drawing, which
   renders its edges differently from the still image. Only the intro moves (transforms) the layers. */

/* The drawing's lower corners hold its motion control and game entry. The journey link uses larger
   cardinal text with a gold underline and walker; a clear row keeps the controls off the drawing. */
.vision__art { position: relative; }
html.js .vision__art { padding-bottom: 32px; }
.vision__toggle,
.journey-link {
  position: absolute;
  bottom: 0;
  display: flex;
  align-items: center;
  gap: 6px;
  min-height: 24px;
  margin: 0;
  padding: 2px 0;
  border: 0;
  background: none;
  color: var(--muted);
  font: inherit;
  font-size: 14px;
  line-height: 20px;
  text-decoration: none;
  cursor: pointer;
}
.vision__toggle { left: 0; }
.journey-link {
  right: 0;
  gap: 8px;
  min-height: 34px;
  padding: 5px 0;
  color: var(--accent);
  font-size: 16px;
  font-weight: 700;
}
.journey-link__text {
  text-decoration: underline;
  text-decoration-color: #d9aa3b;
  text-decoration-thickness: 2px;
  text-underline-offset: 5px;
}
.journey-link__arrow { font-size: 20px; line-height: 1; }
.vision__toggle[hidden],
.journey-link[hidden] { display: none; }
.vision__toggle:hover,
.vision__toggle:focus-visible,
.journey-link:hover,
.journey-link:focus-visible { color: var(--accent-hover); }
.vision__toggle:hover,
.vision__toggle:focus-visible { text-decoration: underline; text-underline-offset: 0.14em; }
.journey-link:hover .journey-link__text,
.journey-link:focus-visible .journey-link__text { text-decoration-color: var(--gold); }
/* A gold pixel walker from the game; it walks while pointed at. */
.journey-link__fig {
  display: block;
  flex: none;
  width: 14px;
  height: 26px;
  overflow: visible;
  color: var(--gold);
  shape-rendering: crispEdges;
}
.journey-link__walk1,
.journey-link__walk2 { visibility: hidden; }

@media (max-width: 540px) {
  .vision__toggle { gap: 5px; font-size: 13px; }
  .journey-link { gap: 6px; font-size: 14px; }
}
/* Compact controls keep a gap between the motion control and the journey entry on small phones. */
@media (max-width: 350px) {
  .vision__toggle { gap: 4px; font-size: 12px; }
  .journey-link { gap: 5px; font-size: 13px; }
  .journey-link__fig { width: 11px; height: 21px; }
}

@media (prefers-reduced-motion: no-preference) {
  .journey-link:hover .journey-link__stand,
  .journey-link:focus-visible .journey-link__stand { visibility: hidden; }
  .journey-link:hover .journey-link__walk1,
  .journey-link:focus-visible .journey-link__walk1 { animation: journey-link-step 0.5s step-end infinite; }
  .journey-link:hover .journey-link__walk2,
  .journey-link:focus-visible .journey-link__walk2 { animation: journey-link-step 0.5s step-end -0.25s infinite; }

  /* The one-time intro. Each layer is a group, and its label has the layer's class too. The top
     layer lifts 11.4 units, so its outline stays inside the drawing's 14-unit margin at phone weight. */
  .vision[data-motion] .vision-sv-l1 { animation: vision-lift-1 1.1s ease-in-out; }
  .vision[data-motion] .vision-sv-l2 { animation: vision-lift-2 1.1s ease-in-out; }
  .vision[data-motion] .vision-sv-l3 { animation: vision-lift-3 1.1s ease-in-out; }

  /* The loop: every hook runs keyframes of 8 s after its own delay (below). */
  .vision[data-motion] .vision-sv-rt,
  .vision[data-motion] .vision-sv-vi { animation: vision-flash 8s linear infinite; }
  .vision[data-motion] .vision-sv-gd { animation: vision-glow 8s linear infinite; }
  .vision[data-motion] .vision-sv-nd { animation: vision-node 8s linear infinite; }
  /* The pulse overlays have no stroke of their own; one dash travels along each and otherwise lies
     just off the path (its length and offsets are in the generated block below). */
  .vision[data-motion] .vision-sv-pu {
    stroke: #ffe08a;
    stroke-width: 3.4px;
    stroke-linecap: round;
    animation: vision-pulse 8s linear infinite;
  }
  .vision[data-motion] .vision-sv-ck {
    stroke-dasharray: 24px 40px;   /* one dash longer than the check (21 units) */
    animation: vision-check 8s linear infinite;
  }
  .vision[data-motion] .vision-sv-ln { animation: vision-call 8s ease-in-out infinite; }
  /* The spark and the gear as drawn hide while their hidden frames show, one each 0.1 s. */
  .vision[data-motion] .vision-sv-sp0 { animation: vision-frame-hide-2 8s step-end infinite; }
  .vision[data-motion] .vision-sv-gr0 { animation: vision-frame-hide-3 8s step-end infinite; }
  .vision[data-motion] .vision-sv-sp1,
  .vision[data-motion] .vision-sv-sp2,
  .vision[data-motion] .vision-sv-gr1,
  .vision[data-motion] .vision-sv-gr2,
  .vision[data-motion] .vision-sv-gr3 { animation: vision-frame-show 8s step-end infinite; }
  .vision[data-motion] .vision-sv-cr { animation: vision-flicker 8s step-end infinite; }
}
@media (prefers-reduced-motion: no-preference) and (max-width: 560px) {
  /* The drawing thickens its thread below 560 px (7.5 units); the pulse follows. */
  .vision[data-motion] .vision-sv-pu { stroke-width: 5px; }
}

/* Pausing freezes everything where it is; !important guards against a later animation rule. */
.vision[data-motion="paused"] [class*="vision-sv-"] { animation-play-state: paused !important; }

@keyframes journey-link-step { 50% { visibility: visible; } }

@keyframes vision-lift-1 {
  45% { transform: translateY(-3.8px); animation-timing-function: cubic-bezier(0.3, 1.4, 0.6, 1); }
}
@keyframes vision-lift-2 {
  45% { transform: translateY(-7.6px); animation-timing-function: cubic-bezier(0.3, 1.4, 0.6, 1); }
}
@keyframes vision-lift-3 {
  45% { transform: translateY(-11.4px); animation-timing-function: cubic-bezier(0.3, 1.4, 0.6, 1); }
}
/* the root of trust and the vias: red, lit as the pulse leaves or surfaces, red */
@keyframes vision-flash {
  0% { fill: #b22a22; }
  2% { fill: #ffe08a; }
  9%, 100% { fill: #b22a22; }
}
/* the gold faces: lit for half a second, then back over most of a second */
@keyframes vision-glow {
  0% { fill: #ebb840; }
  3%, 6% { fill: #ffe08a; }
  16%, 100% { fill: #ebb840; }
}
/* the white network nodes the pulse passes through */
@keyframes vision-node {
  0% { fill: #ffffff; }
  1.5% { fill: #fff0c2; }
  6%, 100% { fill: #ffffff; }
}
/* The check fades into the gold of its node while the pulse approaches, is reset unseen, and draws in
   again as the node lights. */
@keyframes vision-check {
  0% { stroke: #23261f; stroke-dashoffset: 0; }
  3% { stroke: #ebb840; stroke-dashoffset: 0; animation-timing-function: step-end; }
  3.1% { stroke: #23261f; stroke-dashoffset: 25px; }
  7.5% { stroke-dashoffset: 25px; animation-timing-function: cubic-bezier(0.3, 0.6, 0.4, 1); }
  12%, 100% { stroke: #23261f; stroke-dashoffset: 0; }
}
/* The dotted link: the dots move two of their 8.1-unit periods toward the tool, which looks the same
   as where they started. */
@keyframes vision-call {
  0% { stroke-dashoffset: 0; }
  7.5%, 100% { stroke-dashoffset: -16.2px; }
}
/* Frames of 0.1 s (1.25% of the loop): a part as drawn hides for two or three of them, each hidden
   frame shows for one. */
@keyframes vision-frame-hide-2 {
  0% { visibility: hidden; }
  2.5% { visibility: visible; }
}
@keyframes vision-frame-hide-3 {
  0% { visibility: hidden; }
  3.75% { visibility: visible; }
}
@keyframes vision-frame-show {
  0% { visibility: visible; }
  1.25% { visibility: hidden; }
}
@keyframes vision-flicker {
  0%, 2.1% { fill: #ee4433; stroke: #ee4433; }
  0.9%, 3.5%, 100% { fill: #b22a22; stroke: #b22a22; }
}

/* make_vision.py --motion: begin. Generated by python3 design/vision/make_vision.py --motion;
   loop 8 s, the first one 1.2 s after the motion starts; the pulse, 36 units long, moves 170 units/s along
   thread pieces of 78, 46, 60, 170, 80, 24 units. */
.vision[data-motion] .vision-sv-pu { stroke-dasharray: 36px 600px; stroke-dashoffset: 37px; }
@keyframes vision-pulse {
  0% { stroke-dashoffset: 37px; }
  15.51%, 100% { stroke-dashoffset: -174px; }
}
.vision[data-motion] .vision-sv-gd0 { animation-delay: 1.20s; }
.vision[data-motion] .vision-sv-rt { animation-delay: 1.20s; }
.vision[data-motion] .vision-sv-pu1 { animation-delay: 1.45s; }
.vision[data-motion] .vision-sv-pu2 { animation-delay: 1.91s; }
.vision[data-motion] .vision-sv-vi1 { animation-delay: 1.91s; }
.vision[data-motion] .vision-sv-gd1 { animation-delay: 2.18s; }
.vision[data-motion] .vision-sv-pu3 { animation-delay: 2.48s; }
.vision[data-motion] .vision-sv-pu4 { animation-delay: 2.83s; }
.vision[data-motion] .vision-sv-vi2 { animation-delay: 2.83s; }
.vision[data-motion] .vision-sv-nd1 { animation-delay: 2.85s; }
.vision[data-motion] .vision-sv-nd2 { animation-delay: 3.20s; }
.vision[data-motion] .vision-sv-ck { animation-delay: 3.23s; }
.vision[data-motion] .vision-sv-gd2 { animation-delay: 3.83s; }
.vision[data-motion] .vision-sv-pu5 { animation-delay: 4.33s; }
.vision[data-motion] .vision-sv-pu6 { animation-delay: 4.80s; }
.vision[data-motion] .vision-sv-vi3 { animation-delay: 4.80s; }
.vision[data-motion] .vision-sv-gd3 { animation-delay: 4.95s; }
.vision[data-motion] .vision-sv-sp0 { animation-delay: 5.05s; }
.vision[data-motion] .vision-sv-sp1 { animation-delay: 5.05s; }
.vision[data-motion] .vision-sv-sp2 { animation-delay: 5.15s; }
.vision[data-motion] .vision-sv-ln { animation-delay: 5.30s; }
.vision[data-motion] .vision-sv-gr0 { animation-delay: 5.90s; }
.vision[data-motion] .vision-sv-gr1 { animation-delay: 5.90s; }
.vision[data-motion] .vision-sv-gr2 { animation-delay: 6.00s; }
.vision[data-motion] .vision-sv-gr3 { animation-delay: 6.10s; }
.vision[data-motion] .vision-sv-cr { animation-delay: 6.65s; }
/* make_vision.py --motion: end (the last event starts 5.45 s into the loop; the check is 21.2 units long) */

@media print {
  html.js .vision__art { padding-bottom: 0; }
  .vision__toggle,
  .journey-link { display: none !important; }
  .vision [class*="vision-sv-"] { animation: none !important; }
}

/* ---------- Research ---------- */

/* comsec's row: the icon in the left third, the title and summary beside it. The description,
   topics, open problems and papers follow across the whole column. */
.area { margin: 0 0 54px; }
.area__row {
  display: grid;
  grid-template-columns: 33.333% minmax(0, 1fr);
  column-gap: 20px;
  align-items: start;
  margin-bottom: 30px;
}
.area--no-icon .area__row { display: block; }
.area__icon {
  padding-top: 4px;
  text-align: center;
}
.area__svg {
  display: inline-block;
  width: 150px;
  height: auto;
}
.area__title {
  margin: 0 0 24px;
  font-size: 22px;
  letter-spacing: normal;
}
.area__title a { color: var(--accent); }
.area__title a:hover { color: var(--accent-hover); }
.area__summary { margin-bottom: 0; }
.area__h {
  margin: 30px 0 10px;
  font-size: 18px;
}
.area__problems { margin-bottom: 0; }
.area__more { margin: 18px 0 0; }
/* "All 8 papers in this direction since 2024": a line that unfolds the list, as a year bar does. */
.area__more summary { color: var(--accent); cursor: pointer; }
.area__more summary:hover { color: var(--accent-hover); }
.area__all { margin: 8px 0 0; padding-left: 20px; list-style: circle; }
.area__all li { margin: 2px 0; }

.pubs--area .pub { margin-bottom: 14px; }

.projects > h2 { margin: 0 0 12px; }
.project-list li { margin-bottom: 10px; }
.project__name { color: var(--ink); }
.project__links { white-space: nowrap; }

/* ---------- Publications ---------- */

.pub-intro { margin-bottom: 24px; }

.year { margin: 0 0 14px; }

.year__bar {
  display: flex;
  align-items: center;
  min-height: 46px;
  padding: 6px 16px 6px 38px;
  border-radius: 4px;
  background: var(--bar);
  cursor: pointer;
  list-style: none;
}
.year__bar::-webkit-details-marker { display: none; }
.year__bar::before {
  content: "";
  flex: none;
  width: 9px;
  height: 9px;
  margin: -5px 16px 0 4px;
  border-right: 2px solid var(--ink);
  border-bottom: 2px solid var(--ink);
  transform: rotate(45deg);
  transition: transform 0.2s;
}
.year:not([open]) > .year__bar::before {
  margin-top: 0;
  transform: rotate(-45deg);
}
.year__bar:hover { background: #d2d2d2; }

.year__h {
  margin: 0;
  color: var(--ink);
  font-size: 21px;
  font-style: italic;
  font-weight: 400;
  letter-spacing: 0;
  line-height: 1.4;
}
.year__count { font-size: 16px; }

.year__body { padding: 8px 0 4px 20px; }

.pub {
  margin: 0 0 8px;
  font-size: 17px;
  line-height: 1.765;
}
/* The title has a line of its own: lab members are bold in the author list, so a bold title
   running on into a bold first author would hide where the title ends. */
.pub__title {
  display: block;
  margin: 0;
  color: var(--ink);
  font-size: inherit;
  letter-spacing: 0;
  line-height: inherit;
}
/* A citation is a div and its title an h3, so the rule for p and li does not reach them. Pretty
   wrapping keeps a title's last word or a lone year off a line of its own; build.py also ties the
   year (and "In") to the venue with no-break spaces. */
.pub__cite,
.pub__title { text-wrap: pretty; }
.pub .me { color: var(--ink); }
.pub__venue abbr[title] { text-decoration: none; }
.au { white-space: nowrap; }
.eq { color: var(--accent); }
.award { color: var(--accent); font-style: italic; }

.pub__links {
  display: flex;
  flex-wrap: wrap;
  gap: 0 14px;
  margin: 0;
  padding: 0;
  list-style: none;
  font-size: 15px;
  line-height: 1.6;
}
.pub__links a { text-decoration: none; }
.pub__links a:hover { text-decoration: underline; }
.pub__note { margin: 0; font-size: 15px; }

.pub:target,
.news-item:target {
  background: var(--target);
  box-shadow: 0 0 0 8px var(--target);
}

/* ---------- People ---------- */

.pi { margin-bottom: 0; }
.people-list { margin-bottom: 0; }
.people-list strong,
.pi strong { color: var(--ink); }
.people-list a strong,
.pi a strong { color: inherit; }
.content--people > h2 { font-size: 24px; letter-spacing: -0.5px; }
.content--people .page-note { margin-top: 36px; }

/* ---------- News ---------- */

.news-year > h2 { margin: 30px 0 18px; }
.news-year:first-child > h2 { margin-top: 0; }
.news-item { margin: 0 0 22px; }
.news-item__title {
  margin: 0 0 2px;
  font-size: 18px;
  letter-spacing: 0;
  line-height: 1.5;
}
.news-item p { margin: 0; }

/* ---------- Teaching, Join, Contact ---------- */

.course__terms {
  margin: -4px 0 12px;
  color: var(--muted);
  font-size: 16px;
}
.status { color: var(--accent); font-style: italic; }
.course h2 a { color: var(--accent); }
.course h2 a:hover { color: var(--accent-hover); }
.course p:last-child { margin-bottom: 0; }

.contact-email { font-size: 20px; }
.contact-source { color: var(--muted); font-size: 16px; }
.contact-source a { color: var(--accent); }

/* ---------- Footer ---------- */

.site-footer { padding: 20px 24px 24px; }

.site-info {
  position: relative;
  max-width: 1180px;
  margin: 0 auto;
  padding: 10px 48px 12px 0;
}

.copyright {
  margin: 0;
  color: #000;
  font-size: 14px;
  line-height: 1.5;
  text-wrap: balance;
}

.back-to-top {
  position: absolute;
  top: 6px;
  right: 0;
  display: inline-flex;
  align-items: center;
  justify-content: flex-end;
  width: 32px;
  height: 32px;
  color: #000;
}
.back-to-top:hover { color: var(--accent); }
.chevron { display: block; }

/* Optional analytics uses the site's existing text-button style. It never blocks reading. */
.privacy-links { margin-top: 8px; font-size: 14px; line-height: 1.5; }
.privacy-note { margin-bottom: 8px; }
.privacy-note summary { width: fit-content; color: var(--accent); cursor: pointer; }
.privacy-note p { max-width: 76ch; margin: 8px 0; }
.privacy-button {
  appearance: none;
  padding: 4px 0;
  border: 0;
  background: transparent;
  color: var(--accent);
  font: inherit;
  text-decoration: underline;
  text-underline-offset: 0.14em;
  cursor: pointer;
}
.privacy-button:hover { color: var(--accent-hover); }
.privacy-button[hidden], .analytics-choice[hidden] { display: none; }
.analytics-choice {
  position: fixed;
  z-index: 100;
  right: 16px;
  bottom: 16px;
  left: 16px;
  max-width: 680px;
  max-height: calc(100vh - 32px);
  overflow: auto;
  margin: 0 auto;
  padding: 18px 22px;
  border: 1px solid var(--rule);
  background: var(--paper);
  color: var(--text);
  box-shadow: 0 4px 20px #0002;
  font-size: 16px;
  line-height: 1.5;
}
.analytics-choice h2 { margin-bottom: 8px; font-size: 20px; }
.analytics-choice p { margin-bottom: 8px; }
.analytics-state { color: var(--muted); }
.analytics-actions { display: flex; flex-wrap: wrap; gap: 8px 28px; }

/* ---------- Breakpoints (from comsec's theme: 850, 768, 540, 480 px) ---------- */

/* Just above 850 px a 25% sidebar would be about 170 px wide and break every headline into three
   lines; it keeps 220 px here and comes 20 px closer to the main column. */
@media (min-width: 851px) and (max-width: 1023px) {
  .main { flex: 1 1 auto; max-width: none; }
  .sidebar {
    flex: 0 0 220px;
    max-width: none;
    margin-left: 20px;
    padding-left: 20px;
  }
}

@media (max-width: 850px) {
  .inner { display: block; }
  .main,
  .sidebar { max-width: none; }
  /* With the sidebar below, its top rule ends the column, so less space is needed above it. */
  .main { margin-bottom: 36px; padding-bottom: 0; }
  .sidebar {
    margin: 12px 0 0;
    padding: 30px 0 0;
    border-left: 0;
    border-top: 1px solid var(--hair);
  }
  /* Beside the sidebar the image starts level with the widget title's rule; alone it needs no gap. */
  .vision { margin-top: 0; }
  /* Each page leaves out the stacked widget that would repeat its own content: the News page
     already lists every item, and the Research page every direction. */
  .page-news .widget--news,
  .page-research .widget--research { display: none; }
}

@media (max-width: 768px) {
  .site-header { padding-bottom: 24px; }
  .lockup { margin: 10px 0 24px; }
  .lockup__mark { height: 64px; }
  .lockup__name { margin-left: 12px; font-size: 40px; letter-spacing: -1px; }
  .lockup__rule { margin: 0 22px; }
  .lockup__inst { font-size: 16px; }

  .site-nav { padding-bottom: 14px; }
  .menu li {
    display: block;
    margin-top: 0;
    padding: 0;
  }
  .menu a {
    display: block;
    padding: 6px 0;
    font-size: 15px;
  }
  .menu li:first-child { margin-top: 10px; }

  html.js .menu-toggle {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 8px;
    width: 100%;
    margin: 14px 0 0;
    padding: 6px 0;
    border: 0;
    background: #eff0f0;
    color: #4f504f;
    font: inherit;
    font-size: 15px;
    line-height: 30px;
    cursor: pointer;
  }
  html.js .menu-toggle[aria-expanded="true"] { background: #e4e5e5; }
  html.js .menu { display: none; }
  html.js .site-nav.is-open .menu { display: block; }

  .area__row { grid-template-columns: 150px minmax(0, 1fr); }
}

@media (max-width: 540px) {
  html { font-size: 100%; }
  h1, .site-title { font-size: 28px; }
  h2 { font-size: 21px; }
  .site-content { padding-top: 48px; }

  .site-header { padding: 24px 16px 20px; }
  .site-nav { padding: 0 16px 12px; }
  .site-content,
  .site-footer { padding-left: 16px; padding-right: 16px; }

  .lockup { margin: 4px 0 18px; }
  .lockup__mark { height: 52px; }
  .lockup__name { margin-left: 10px; font-size: 31px; letter-spacing: -1px; }
  .lockup__rule { margin: 0 14px; width: 1.5px; }
  .lockup__inst { font-size: 13px; letter-spacing: 0; }

  .area { margin-bottom: 42px; }
  .area__row { display: block; margin-bottom: 24px; }
  .area__icon { margin: 0 0 14px; padding-top: 0; text-align: left; }
  .area__svg { width: 84px; }
  .area__title { font-size: 20px; margin-bottom: 12px; }
  .content--people > h2 { font-size: 22px; }

  .year__bar { padding-left: 20px; }
  .year__body { padding-left: 0; }
  .pub { font-size: 16px; line-height: 1.7; }
  .pub__links { font-size: 14px; }

  .contact-email { font-size: 18px; }
}

@media (max-width: 480px) {
  .site-title { font-size: 24px; }
}

@media (max-width: 360px) {
  .lockup__mark { height: 46px; }
  .lockup__name { font-size: 27px; }
  .lockup__rule { margin: 0 10px; }
  .lockup__inst { font-size: 12px; }
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { transition: none !important; }
}

@media (forced-colors: active) {
  .menu a[aria-current="page"] { text-decoration-color: Highlight; }
  .year__bar { border: 1px solid CanvasText; }
}

/* ---------- Print ---------- */

@media print {
  .analytics-choice, .privacy-button { display: none; }
  html { font-size: 11pt; }
  body { color: #000; }
  .skip-link, .site-nav, .sidebar, .back-to-top { display: none !important; }
  .site-header { padding: 0 0 12pt; border-bottom: 1px solid #000; }
  .lockup { margin: 0 0 6pt; }
  .lockup__mark { height: 40px; }
  .lockup__name { font-size: 26px; }
  .site-title { font-size: 18px; margin: 0; }
  .site-title__initial { color: #000; }
  .site-content { padding: 18pt 0 0; }
  .inner { display: block; max-width: none; }
  .main { max-width: none; }
  .year__bar { background: none; border-bottom: 1px solid #000; padding-left: 0; }
  .year__bar::before { display: none; }
  .pub, .news-item, .area__row { break-inside: avoid; }
  a { color: #000; }
  /* On paper "Paper" or "arXiv" alone is no use, so the address follows. */
  .pub__links a[href^="http"]::after {
    content: " " attr(href);
    font-size: 9pt;
    word-break: break-all;
  }
  .site-footer { padding: 12pt 0 0; }
}