/*
 * Legacy light palette reference (pre-refresh, intentionally not applied):
 *
 * :root {
 *   --color-background: #ffffff;
 *   --color-surface: #f8f8f8;
 *   --color-text: rgba(0, 0, 0, 0.8);
 *   --color-link: rgba(0, 0, 0, 0.8);
 *   --color-muted: rgba(0, 0, 0, 0.5);
 *   --color-navigation: rgba(0, 0, 0, 0.6);
 *   --color-border: rgba(0, 0, 0, 0.1);
 *   --color-border-strong: rgba(0, 0, 0, 0.2);
 *   --color-blockquote: #777777;
 *   --color-blockquote-border: #dddddd;
 * }
 */

:root {
  color-scheme: light;
  --color-background: #faf9f7;
  --color-surface: #f2f4f6;
  --color-text: #25272a;
  --color-muted: #687078;
  --color-border: #d9dde3;
  --color-border-strong: #b9c0c8;
  --color-link: #2f6fa5;
  --color-link-hover: #1f527e;
  --color-focus: #176fa8;
  --color-code-background: #eef1f4;
  --color-syntax-keyword: #7b61a8;
  --color-syntax-string: #9a5b25;
  --color-syntax-number: #087f8c;
  --color-syntax-name: #286f9e;
  --content-width: 700px;
  --page-gutter: clamp(1.25rem, 4vw, 1.5rem);
  --font-sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  --font-mono: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace;
}

:root[data-theme="dark"] {
  color-scheme: dark;
  /* --color-background: #17191c; */
  --color-background: #1f2125;
  --color-surface: #202328;
  --color-text: #e7e9ec;
  --color-muted: #a7afb7;
  --color-border: #343a40;
  --color-border-strong: #515a64;
  --color-link: #7fb7e3;
  --color-link-hover: #acd4f1;
  --color-focus: #8ac8f4;
  --color-code-background: #22262b;
  --color-syntax-keyword: #c1a7e2;
  --color-syntax-string: #e2ad78;
  --color-syntax-number: #73c4cb;
  --color-syntax-name: #86bfe5;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme]) {
    color-scheme: dark;
    --color-background: #17191c;
    --color-surface: #202328;
    --color-text: #e7e9ec;
    --color-muted: #a7afb7;
    --color-border: #343a40;
    --color-border-strong: #515a64;
    --color-link: #7fb7e3;
    --color-link-hover: #acd4f1;
    --color-focus: #8ac8f4;
    --color-code-background: #22262b;
    --color-syntax-keyword: #c1a7e2;
    --color-syntax-string: #e2ad78;
    --color-syntax-number: #73c4cb;
    --color-syntax-name: #86bfe5;
  }
}

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

html {
  background: var(--color-background);
  color: var(--color-text);
  font-family: var(--font-sans);
  font-size: 16px;
  line-height: 1.65;
  -webkit-text-size-adjust: 100%;
  text-size-adjust: 100%;
}

body {
  margin: 0;
  min-width: 0;
  background: var(--color-background);
}

body .content {
  margin-bottom: 7.5rem;
}

a {
  color: var(--color-link);
  text-decoration-color: color-mix(in srgb, var(--color-link) 55%, transparent);
  text-underline-offset: 0.14em;
}

a:hover {
  color: var(--color-link-hover);
  text-decoration-thickness: 0.12em;
}

a:focus-visible,
button:focus-visible {
  border-radius: 0.2rem;
  outline: 3px solid var(--color-focus);
  outline-offset: 3px;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  color: var(--color-text);
  font-family: var(--font-sans);
  line-height: 1.25;
}

h1 {
  font-size: clamp(2rem, 6vw, 2.55rem);
  letter-spacing: -0.025em;
}

h2 {
  font-size: clamp(1.45rem, 4.5vw, 1.75rem);
}

hr {
  height: 1px;
  margin: 2rem 0;
  border: 0;
  background: var(--color-border);
}

img {
  max-width: 100%;
}

.wrap {
  width: 100%;
  max-width: calc(var(--content-width) + (2 * var(--page-gutter)));
  margin-inline: auto;
  padding-inline: var(--page-gutter);
}

.clear {
  clear: both;
}

.hidden {
  display: none;
}

.mono,
code,
pre {
  font-family: var(--font-mono);
}

/* Shared navigation and theme control */
.nav {
  margin-bottom: 1rem;
  border-bottom: 1px solid var(--color-border);
}

.nav-inner {
  display: flex;
  min-height: 3.5rem;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
}

.nav ul {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.15rem 1rem;
  margin: 0;
  padding: 0;
  list-style: none;
}

.nav a {
  display: inline-flex;
  min-height: 2.75rem;
  align-items: center;
  color: var(--color-muted);
  font-size: 0.82rem;
  font-weight: 500;
  text-decoration: none;
}

.nav a:hover {
  color: var(--color-text);
}

.theme-toggle {
  display: none;
  width: 2.5rem;
  height: 2.5rem;
  flex: 0 0 auto;
  align-items: center;
  justify-content: center;
  padding: 0;
  border: 1px solid var(--color-border);
  border-radius: 999px;
  background: transparent;
  color: var(--color-muted);
  cursor: pointer;
  font: inherit;
}

.theme-enabled .theme-toggle {
  display: inline-flex;
}

.theme-toggle:hover {
  border-color: var(--color-border-strong);
  background: var(--color-surface);
  color: var(--color-text);
}

.theme-icon {
  font-size: 1.25rem;
  line-height: 1;
}

.theme-icon-sun,
:root[data-theme="dark"] .theme-icon-moon {
  display: none;
}

:root[data-theme="dark"] .theme-icon-sun {
  display: inline;
}

/* Homepage */
#banner {
  display: flex;
  align-items: center;
  gap: clamp(2rem, 6vw, 3.5rem);
  padding-block: clamp(1rem, 4vw, 2.25rem);
}

.intro-copy {
  min-width: 0;
  flex: 1 1 auto;
}

.intro-copy h1 {
  margin-top: 0;
  margin-bottom: 1rem;
}

.intro-portrait {
  flex: 0 0 auto;
  line-height: 0;
}

img.rounded {
  display: block;
  width: 200px;
  height: 250px;
  border-radius: 10%;
  object-fit: cover;
}

#socials {
  margin-block: 0.5rem 2rem;
}

#socials ul {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: center;
  gap: 0.5rem 1.5rem;
  margin: 0;
  padding: 0;
  list-style: none;
}

#socials a {
  display: inline-flex;
  min-height: 2.5rem;
  align-items: center;
}

#about > hr:first-child,
#about h2 + hr {
  margin-block: 1.5rem;
}

#about li + li {
  margin-top: 0.65rem;
}

/* Blog and article layouts */
.front-matter {
  padding-block: 1.5rem;
  border-block: 1px solid var(--color-border);
}

.front-matter h4 {
  color: var(--color-muted);
}

.front-matter .bylines {
  display: flex;
  flex-wrap: wrap;
  gap: 1.25rem;
}

.front-matter .byline h3,
.front-matter .byline p {
  margin: 0;
}

.front-matter .byline h3 {
  color: var(--color-muted);
  font-size: 0.65rem;
  text-transform: uppercase;
}

.front-matter .byline p {
  font-size: 0.78rem;
}

.article {
  margin-block: 3rem;
}

.article h2 {
  padding-top: 1em;
  padding-bottom: 0.75rem;
  border-bottom: 1px solid var(--color-border);
}

blockquote {
  margin-inline: 0;
  padding-left: 1rem;
  border-left: 0.25rem solid var(--color-border-strong);
  color: var(--color-muted);
}

.figure,
.article div.highlight {
  padding-block: 1rem;
  border-block: 1px solid var(--color-border);
}

.figure .caption {
  display: inline-block;
  padding-top: 0.9rem;
  color: var(--color-muted);
  font-size: 0.82rem;
  line-height: 1.4;
}

.figure .caption-label {
  font-weight: 700;
}

.footnote {
  line-height: 0;
}

#bibliography {
  padding-block: 2rem;
  border-top: 1px solid var(--color-border);
}

#bibliography h2 {
  margin-top: 0;
}

#bibliography ol.bibliography {
  padding-left: 1.25rem;
  color: var(--color-muted);
  font-size: 0.8rem;
}

#blog {
  margin-block: 1.5rem 6rem;
}

#blog #intro {
  margin-bottom: 2.5rem;
  color: var(--color-muted);
  font-size: 0.9rem;
  font-style: italic;
}

#blog .post-row {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  justify-content: space-between;
  gap: 0.25rem 1rem;
}

#blog .post-date {
  margin-block: 0.25rem;
  color: var(--color-muted);
  font-size: 0.75rem;
  font-weight: 700;
  text-transform: uppercase;
}

#blog .post-title {
  margin-bottom: 0;
  font-weight: 700;
}

#blog .post-title a {
  font-size: 1.125rem;
  text-decoration: none;
}

#blog .post-title a:hover {
  text-decoration: underline;
}

#blog .post-subtitle {
  margin-top: 0;
  margin-bottom: 1.5rem;
  color: var(--color-muted);
  font-size: 0.9rem;
}

#blog .year {
  color: var(--color-muted);
  font-size: 1rem;
}

#blog .empty-state {
  color: var(--color-muted);
}

/* MathJax output */
mjx-container {
  color: inherit;
}

mjx-container[display="true"] {
  max-width: 100%;
  overflow-x: auto;
  overflow-y: hidden;
  padding-block: 0.35rem;
}

/* Markdown, tables, and code */
pre {
  max-width: 100%;
  overflow: auto;
  padding: 1rem;
  border: 1px solid var(--color-border);
  border-radius: 0.35rem;
  background: var(--color-code-background);
  font-size: 0.82rem;
  line-height: 1.5;
}

code {
  padding: 0.12em 0.3em;
  border-radius: 0.25rem;
  background: var(--color-code-background);
  font-size: 0.9em;
}

pre code {
  padding: 0;
  background: transparent;
  font-size: inherit;
}

table {
  display: block;
  width: 100%;
  max-width: 100%;
  overflow-x: auto;
  border-collapse: collapse;
}

th,
td {
  padding: 0.5rem 0.75rem;
  border: 1px solid var(--color-border);
}

th {
  background: var(--color-surface);
  text-align: left;
}

.highlight {
  background: var(--color-code-background);
}

.highlight .c,
.highlight .c1,
.highlight .cm,
.highlight .cp,
.highlight .cs,
.highlight .go {
  color: var(--color-muted);
  font-style: italic;
}

.highlight .k,
.highlight .kc,
.highlight .kd,
.highlight .kn,
.highlight .kp,
.highlight .kr,
.highlight .kt {
  color: var(--color-syntax-keyword);
  font-weight: 600;
}

.highlight .s,
.highlight .s1,
.highlight .s2,
.highlight .sa,
.highlight .sb,
.highlight .sc,
.highlight .sd,
.highlight .se,
.highlight .sh,
.highlight .si,
.highlight .sr,
.highlight .ss {
  color: var(--color-syntax-string);
}

.highlight .m,
.highlight .mb,
.highlight .mf,
.highlight .mh,
.highlight .mi,
.highlight .mo {
  color: var(--color-syntax-number);
}

.highlight .na,
.highlight .nb,
.highlight .nc,
.highlight .nf,
.highlight .nn,
.highlight .nt,
.highlight .nv {
  color: var(--color-syntax-name);
}

.footer {
  display: flex;
  min-height: 5rem;
  align-items: center;
  justify-content: center;
  margin-top: 3rem;
  border-top: 1px solid var(--color-border);
  color: var(--color-muted);
  text-align: center;
}

@media screen and (max-width: 700px) {
  #banner {
    flex-direction: column;
    align-items: stretch;
    gap: 1.5rem;
    padding-top: 0.75rem;
  }

  .intro-portrait {
    order: -1;
    align-self: center;
  }

  img.rounded {
    width: 160px;
    height: 200px;
  }

  .intro-copy h1 {
    margin-top: 0;
    text-align: center;
  }

  #socials {
    margin-top: 0;
  }

  #socials ul {
    gap-inline: 1.25rem;
  }

  .nav-inner {
    min-height: 3.75rem;
  }

  .theme-toggle {
    width: 2.75rem;
    height: 2.75rem;
  }

  .article {
    margin-block: 2rem;
  }
}

@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
  }
}