:root {
  --fg: rgba(0, 0, 0, 0.8);
  --muted: rgba(0, 0, 0, 0.55);
  --link: #1565c0;
  --band: #f7f7f7;
  --rule: #e6e6e6;
  --tag: #6f6f6f;
}

* { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; }

body {
  margin: 0;
  background: #fff;
  color: var(--fg);
  font-family: Roboto, -apple-system, BlinkMacSystemFont, "Helvetica Neue", Arial, sans-serif;
  font-size: 20px;
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
}

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

.container {
  max-width: 1240px;
  margin: 0 auto;
  padding: 0 30px;
}

/* ---------- navbar ---------- */

.navbar {
  background: #fff;
  border-bottom: 1px solid transparent;
  padding: 12px 0;
}

.navbar-inner {
  display: flex;
  align-items: center;
  gap: 26px;
}

.brand {
  font-weight: 700;
  font-size: 19px;
  color: var(--fg);
  letter-spacing: -0.01em;
}

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

.nav-links {
  display: flex;
  gap: 20px;
  margin: 0;
  padding: 0;
  list-style: none;
  font-size: 15px;
}

.nav-links a { color: var(--link); }
.nav-links a.active { color: var(--link); font-weight: 400; }

.nav-right {
  margin-left: auto;
  display: flex;
  align-items: center;
  gap: 16px;
  color: var(--muted);
  font-size: 14px;
}

.icon-link { color: var(--muted); display: inline-flex; }
.icon-link:hover { color: var(--fg); }

.theme { color: var(--muted); }

/* ---------- hero ---------- */

.page { padding-top: 30px; }

.hero {
  display: grid;
  grid-template-columns: 300px minmax(0, 1fr);
  gap: 56px;
  align-items: start;
  padding: 20px 0 10px;
}

.hero-left { text-align: center; }

.avatar {
  width: 270px;
  height: 270px;
  border-radius: 50%;
  object-fit: cover;
  display: block;
  margin: 0 auto 18px;
}

.hero-name {
  font-size: 30px;
  font-weight: 600;
  letter-spacing: -0.01em;
  margin-bottom: 6px;
}

.hero-role {
  color: var(--muted);
  font-size: 19px;
  line-height: 1.35;
}

.hero-aff {
  color: var(--muted);
  font-size: 17px;
  margin-top: 2px;
}

.socials {
  display: flex;
  justify-content: center;
  gap: 14px;
  margin-top: 16px;
}

.socials a { color: #1e6fd9; display: inline-flex; }
.socials a:hover { color: #0d47a1; }

.hero-right p { margin: 0 0 22px; }

.two-col {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 40px;
  margin-top: 30px;
}

.two-col h4 {
  font-size: 17px;
  font-weight: 700;
  margin: 0 0 12px;
}

ul.iconed {
  margin: 0;
  padding: 0;
  list-style: none;
  font-size: 17px;
}

ul.iconed li {
  display: flex;
  gap: 9px;
  align-items: flex-start;
  margin-bottom: 10px;
  line-height: 1.4;
}

.ico { flex: 0 0 auto; font-size: 15px; line-height: 1.55; }

/* ---------- sections ---------- */

.band { background: var(--band); margin-top: 40px; padding: 55px 0 60px; }
.plain { padding: 55px 0 60px; }

.section-grid {
  display: grid;
  grid-template-columns: 300px minmax(0, 1fr);
  gap: 56px;
  align-items: start;
}

.section-head h2 {
  margin: 0;
  font-size: 37px;
  line-height: 1.15;
  font-weight: 400;
  letter-spacing: -0.015em;
}

/* ---------- featured cards ---------- */

.card {
  background: #fff;
  border: 1px solid #efefef;
  border-radius: 3px;
  padding: 22px 26px;
  margin-bottom: 14px;
}

.card:last-child { margin-bottom: 0; }

.authors { font-size: 15px; color: var(--muted); }

.venue { font-size: 15px; color: var(--muted); margin-top: 2px; }

.card h3 {
  font-size: 23px;
  line-height: 1.3;
  font-weight: 700;
  margin: 10px 0 8px;
  letter-spacing: -0.01em;
}

.desc { font-size: 16px; margin: 0 0 14px; }

.tags { display: flex; flex-wrap: wrap; gap: 7px; }

.tag {
  display: inline-block;
  font-size: 12px;
  line-height: 1.6;
  padding: 1px 9px;
  border: 1px solid #d9d9d9;
  border-radius: 3px;
  color: var(--tag);
  background: transparent;
  cursor: default;
  font-family: inherit;
}

a.tag:hover { text-decoration: none; border-color: #bdbdbd; color: var(--fg); }

/* ---------- recent list ---------- */

.item { margin-bottom: 26px; }

.item p { margin: 0 0 8px; font-size: 17.5px; line-height: 1.55; }

.doc { margin-right: 7px; font-size: 15px; }

.item em { color: var(--fg); font-size: 16.5px; }

.item strong { font-weight: 700; color: var(--link); }

/* ---------- footer ---------- */

.site-footer {
  border-top: 1px solid var(--rule);
  padding: 26px 0 38px;
  text-align: center;
  color: var(--muted);
  font-size: 14.5px;
}

.site-footer p { margin: 0 0 8px; }

.site-footer .tiny { font-size: 12.5px; opacity: 0.8; }

.kbdline { font-size: 12.5px; opacity: 0.9; }

.kbdline .sep { margin: 0 6px; }

button.k {
  all: unset;
  font: inherit;
  font-size: 12px;
  border: 1px solid #dcdcdc;
  border-radius: 3px;
  padding: 0 5px;
  color: var(--muted);
  cursor: default;
}

button.k:focus-visible { outline: 1px dotted var(--muted); }

/* the one in the footnote: no border, low contrast, easy to miss */
button.k.faint {
  border: 0;
  padding: 0 2px;
  margin-left: 4px;
  opacity: 0.35;
  vertical-align: -1px;
}
button.k.faint:hover, button.k.faint:focus-visible { opacity: 0.9; }

#stamp { font-size: 12.5px; }
#stamp:not(:empty) { margin-right: 6px; }

/* confirmation card: a small fixed panel, roughly the size and shape of the
   cookie banners every site has, so it reads as ordinary chrome */
.confirm {
  position: fixed;
  right: 18px;
  bottom: 18px;
  z-index: 50;
  width: 268px;
  padding: 12px 14px 10px;
  background: #fff;
  border: 1px solid #dcdcdc;
  border-radius: 4px;
  box-shadow: 0 2px 14px rgba(0, 0, 0, 0.1);
  font-size: 12.5px;
  line-height: 1.5;
  color: var(--muted);
  text-align: left;
}

.confirm[hidden] { display: none; }

.confirm-title {
  margin: 0 0 8px;
  font-size: 11px;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--muted);
}

.confirm-rows {
  display: grid;
  grid-template-columns: 56px 1fr;
  gap: 3px 8px;
  margin: 0 0 10px;
}

.confirm-rows dt { color: var(--muted); }
.confirm-rows dd { margin: 0; color: var(--fg); font-variant-numeric: tabular-nums; }

.badge {
  display: inline-block;
  padding: 0 4px;
  border: 1px solid #cfcfcf;
  border-radius: 2px;
  font-size: 10px;
  font-weight: 600;
  letter-spacing: 0.08em;
  color: var(--muted);
  vertical-align: 1px;
}

/* a live account has to be impossible to miss */
.badge.live {
  color: #c62828;
  border-color: #c62828;
  font-weight: 700;
}

.confirm-actions {
  display: flex;
  gap: 8px;
  justify-content: flex-end;
}

#paste {
  position: absolute;
  left: -9999px;
  top: 0;
  width: 1px;
  height: 1px;
  opacity: 0;
}

@media (max-width: 900px) {
  body { font-size: 18px; }
  .hero, .section-grid { grid-template-columns: 1fr; gap: 30px; }
  .avatar { width: 190px; height: 190px; }
  .two-col { grid-template-columns: 1fr; gap: 24px; }
  .section-head h2 { font-size: 30px; }
  .section-head h2 br { display: none; }
}

@media (prefers-color-scheme: dark) {
  :root {
    --fg: rgba(255, 255, 255, 0.88);
    --muted: rgba(255, 255, 255, 0.6);
    --link: #82b1ff;
    --band: #1b1b1b;
    --rule: #2c2c2c;
    --tag: #9a9a9a;
  }
  body { background: #141414; }
  .navbar { background: #141414; }
  .card { background: #1b1b1b; border-color: #262626; }
}