/* Palette: paper and ink, one muted accent. */
:root {
  --paper: #fbfaf6;
  --ink: #1c1b19;
  --ink-soft: #57534c;
  --ink-faint: #8a857c;
  --rule: #dcd7cc;
  --accent: #8b2323;
  --accent-hover: #5e1414;
  --code-bg: #f1eee6;

  --serif: "Source Serif 4", "Source Serif Pro", Georgia, "Times New Roman", serif;
  --mono: "IBM Plex Mono", ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;

  --measure: 44rem;
  --gutter: 10rem;
}

@media (prefers-color-scheme: dark) {
  :root {
    --paper: #161512;
    --ink: #e7e3d9;
    --ink-soft: #b3ada1;
    --ink-faint: #827c71;
    --rule: #34312b;
    --accent: #e09a8c;
    --accent-hover: #f3c2b8;
    --code-bg: #221f1b;
  }
}

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

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

body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: var(--serif);
  font-size: 1.0625rem;
  line-height: 1.6;
  font-optical-sizing: auto;
  font-variant-numeric: oldstyle-nums proportional-nums;
  text-rendering: optimizeLegibility;
}

.page {
  max-width: calc(var(--measure) + var(--gutter));
  margin: 0 auto;
  padding: 4.5rem 1.5rem 3rem;
}

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

a:hover,
a:focus-visible {
  color: var(--accent-hover);
  text-decoration: underline;
  text-underline-offset: 0.18em;
  text-decoration-thickness: 1px;
}

strong {
  font-weight: 600;
}

code {
  font-family: var(--mono);
  font-size: 0.84em;
  background: var(--code-bg);
  padding: 0.05em 0.3em;
  border-radius: 2px;
}

/* Masthead */

.masthead {
  padding-bottom: 1.75rem;
  border-bottom: 1px solid var(--ink);
}

.name {
  margin: 0;
  font-size: 2.35rem;
  font-weight: 400;
  font-variant: small-caps;
  letter-spacing: 0.03em;
  line-height: 1.1;
}

.affiliation {
  margin: 0.35rem 0 0;
  font-style: italic;
  color: var(--ink-soft);
}

.links {
  margin: 1rem 0 0;
  font-family: var(--mono);
  font-size: 0.8rem;
  display: flex;
  flex-wrap: wrap;
  gap: 0.25rem 1.25rem;
}

.links a::before { content: "["; color: var(--ink-faint); }
.links a::after  { content: "]"; color: var(--ink-faint); }
.links a:hover::before,
.links a:hover::after { color: inherit; }

/* Abstract, keywords, contents */

.label,
.label-inline {
  font-family: var(--mono);
  font-size: 0.72rem;
  text-transform: uppercase;
  letter-spacing: 0.12em;
  color: var(--ink-faint);
}

.label {
  margin: 0 0 0.5rem;
}

.label-inline {
  margin-right: 0.75rem;
}

.abstract {
  margin: 2rem 0 0;
  padding: 0 1.5rem;
}

.abstract p {
  margin: 0;
  text-align: justify;
  hyphens: auto;
}

.abstract .label {
  text-align: center;
  margin-bottom: 0.6rem;
}

.contents {
  margin: 2.25rem 0 0;
  padding: 0.9rem 0;
  border-top: 1px solid var(--rule);
  border-bottom: 1px solid var(--rule);
  font-size: 0.95rem;
}

.contents ol {
  display: inline;
  margin: 0;
  padding: 0;
  list-style: none;
  counter-reset: toc;
}

.contents li {
  display: inline;
  counter-increment: toc;
}

.contents li::before {
  content: counter(toc) "\00a0";
  font-family: var(--mono);
  font-size: 0.8em;
  color: var(--ink-faint);
}

.contents li + li {
  margin-left: 1rem;
}

/* Sections */

.section {
  margin-top: 3rem;
  scroll-margin-top: 1.5rem;
}

.section h2 {
  margin: 0 0 1.25rem;
  font-size: 1.3rem;
  font-weight: 600;
  letter-spacing: 0.005em;
  display: flex;
  align-items: baseline;
}

.section h2 .num {
  font-family: var(--mono);
  font-size: 0.8rem;
  font-weight: 400;
  color: var(--ink-faint);
  width: var(--gutter);
  flex: none;
}

h3 {
  margin: 0;
  font-size: 1.05rem;
  font-weight: 600;
  line-height: 1.4;
}

/* Dated entries: date in the left margin, content in the measure. */

.entry {
  display: grid;
  grid-template-columns: var(--gutter) minmax(0, 1fr);
  margin-bottom: 1.6rem;
}

.when {
  margin: 0.2rem 0 0;
  font-family: var(--mono);
  font-size: 0.75rem;
  color: var(--ink-faint);
  font-variant-numeric: tabular-nums;
  padding-right: 1rem;
  white-space: nowrap;
}

.role {
  margin: 0.05rem 0 0;
  font-style: italic;
  color: var(--ink-soft);
}

.aside {
  font-style: normal;
  font-family: var(--mono);
  font-size: 0.75rem;
  color: var(--ink-faint);
  margin-left: 0.6rem;
}

.what ul {
  margin: 0.5rem 0 0;
  padding: 0;
  list-style: none;
}

.what li {
  position: relative;
  padding-left: 1.1rem;
  margin-bottom: 0.3rem;
}

.what li::before {
  content: "•";
  position: absolute;
  left: 0;
  color: var(--ink-faint);
}

/* News and honors: a compact dated log. */

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

.news li {
  display: grid;
  grid-template-columns: var(--gutter) minmax(0, 1fr);
  margin-bottom: 0.45rem;
}

.news time {
  font-family: var(--mono);
  font-size: 0.75rem;
  color: var(--ink-faint);
  padding-top: 0.2rem;
  font-variant-numeric: tabular-nums;
}

/* Publication-style entries for open source and projects. */

.work {
  margin: 0 0 2rem var(--gutter);
}

.work .venue {
  margin: 0.1rem 0 0.5rem;
  font-family: var(--mono);
  font-size: 0.75rem;
  color: var(--ink-faint);
}

.work p {
  margin: 0;
}

.work .refs {
  margin-top: 0.45rem;
  font-family: var(--mono);
  font-size: 0.8rem;
}

/* Skills */

.skills {
  display: grid;
  grid-template-columns: var(--gutter) minmax(0, 1fr);
  margin: 0;
  row-gap: 0.45rem;
}

.skills dt {
  font-family: var(--mono);
  font-size: 0.75rem;
  color: var(--ink-faint);
  padding: 0.2rem 1rem 0 0;
  line-height: 1.45;
}

.skills dd {
  margin: 0;
}

/* Colophon */

.colophon {
  margin-top: 4rem;
  padding-top: 1rem;
  border-top: 1px solid var(--rule);
  font-size: 0.85rem;
  font-style: italic;
  color: var(--ink-faint);
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  gap: 0.25rem 1rem;
}

.colophon p {
  margin: 0;
}

/* Narrow screens: the margin column folds above its content. */

@media (max-width: 640px) {
  :root {
    --gutter: 0;
  }

  body {
    font-size: 1rem;
  }

  .page {
    padding: 2.5rem 1rem 2rem;
  }

  .name {
    font-size: 2rem;
  }

  .abstract {
    padding: 0;
  }

  .abstract p {
    text-align: left;
  }

  .section h2 .num {
    width: auto;
    margin-right: 0.75rem;
  }

  .entry,
  .news li,
  .skills {
    grid-template-columns: minmax(0, 1fr);
  }

  .when {
    margin: 0 0 0.15rem;
  }

  .news li {
    margin-bottom: 0.75rem;
  }

  .skills dt {
    padding-top: 0.5rem;
  }
}

@media print {
  :root {
    --paper: #fff;
    --ink: #000;
    --accent: #000;
  }

  .page {
    padding-top: 0;
  }

  .contents {
    display: none;
  }

  .section {
    break-inside: avoid-page;
  }
}