:root {
  --paper: #f7f1e7;
  --paper-strong: #fffaf2;
  --ink: #1f2630;
  --ink-muted: #55606d;
  --line: rgba(31, 38, 48, 0.14);
  --accent: #0d6b63;
  --accent-strong: #094f4a;
  --accent-soft: rgba(13, 107, 99, 0.12);
  --signal: #bf5a36;
  --signal-soft: rgba(191, 90, 54, 0.12);
  --optional: #5d5aa3;
  --optional-soft: rgba(93, 90, 163, 0.12);
  --shadow: 0 22px 70px rgba(31, 38, 48, 0.11);
  --radius: 22px;
  --radius-small: 14px;
  --max-width: 76rem;
  --measure-prose: 78ch;
  --text-body: 1.05rem;
  --text-lead: 1.13rem;
  --text-small: 0.96rem;
  --text-caption: 0.84rem;
  --text-ui: 0.88rem;
  --text-code: 0.94em;
  --leading-body: 1.72;
  --leading-tight: 1.28;
}

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

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  color: var(--ink);
  background:
    radial-gradient(circle at top left, rgba(191, 90, 54, 0.09), transparent 28rem),
    radial-gradient(circle at top right, rgba(13, 107, 99, 0.14), transparent 24rem),
    linear-gradient(180deg, #fffdf8 0%, var(--paper) 100%);
  font-family: "Source Serif 4", Georgia, serif;
  text-rendering: optimizeLegibility;
  line-height: var(--leading-body);
}

body::before {
  content: "";
  position: fixed;
  inset: 0;
  pointer-events: none;
  background-image:
    linear-gradient(rgba(31, 38, 48, 0.035) 1px, transparent 1px),
    linear-gradient(90deg, rgba(31, 38, 48, 0.035) 1px, transparent 1px);
  background-size: 2rem 2rem;
  mask-image: radial-gradient(circle at center, black 30%, transparent 80%);
  opacity: 0.22;
}

a {
  color: var(--accent-strong);
  text-decoration-thickness: 0.08em;
  text-underline-offset: 0.16em;
}

a:hover {
  color: var(--signal);
}

.has-tooltip {
  position: relative;
}

.inline-tooltip {
  border-bottom: 2px dotted rgba(13, 107, 99, 0.35);
  cursor: help;
}

.has-tooltip::after {
  content: attr(data-tooltip);
  position: absolute;
  left: 50%;
  bottom: calc(100% + 0.7rem);
  z-index: 30;
  width: min(18rem, 70vw);
  padding: 0.7rem 0.8rem;
  border-radius: 0.8rem;
  background: rgba(25, 33, 42, 0.96);
  color: #f2f6fb;
  box-shadow: 0 18px 40px rgba(31, 38, 48, 0.22);
  font-family: "IBM Plex Sans", sans-serif;
  font-size: var(--text-ui);
  font-weight: 500;
  line-height: 1.45;
  text-align: left;
  transform: translateX(-50%) translateY(0.2rem);
  opacity: 0;
  pointer-events: none;
  transition: opacity 160ms ease, transform 160ms ease;
}

.has-tooltip--below::after {
  top: calc(100% + 0.7rem);
  bottom: auto;
  transform: translateX(-50%) translateY(-0.2rem);
}

.has-tooltip::before {
  content: "";
  position: absolute;
  left: 50%;
  bottom: calc(100% + 0.3rem);
  z-index: 30;
  border-width: 0.45rem 0.4rem 0;
  border-style: solid;
  border-color: rgba(25, 33, 42, 0.96) transparent transparent;
  transform: translateX(-50%) translateY(0.2rem);
  opacity: 0;
  pointer-events: none;
  transition: opacity 160ms ease, transform 160ms ease;
}

.has-tooltip--below::before {
  top: calc(100% + 0.3rem);
  bottom: auto;
  border-width: 0 0.4rem 0.45rem;
  border-color: transparent transparent rgba(25, 33, 42, 0.96);
  transform: translateX(-50%) translateY(-0.2rem);
}

.has-tooltip:hover::after,
.has-tooltip:hover::before,
.has-tooltip:focus-visible::after,
.has-tooltip:focus-visible::before {
  opacity: 1;
  transform: translateX(-50%) translateY(0);
}

code,
pre {
  font-family: "IBM Plex Mono", monospace;
}

pre {
  overflow-x: auto;
  padding: 1.05rem 1.15rem;
  border-radius: var(--radius-small);
  background: #19212a;
  color: #f2f6fb;
  box-shadow: inset 0 0 0 1px rgba(255, 255, 255, 0.06);
  font-size: 0.93rem;
  line-height: 1.58;
}

pre code {
  color: inherit;
}

code {
  padding: 0.08rem 0.28rem;
  border-radius: 0.34rem;
  background: rgba(25, 33, 42, 0.06);
  box-shadow: inset 0 0 0 1px rgba(25, 33, 42, 0.08);
  color: #10212d;
  font-size: var(--text-code);
}

h1,
h2,
h3,
h4 {
  font-family: "Fraunces", "Source Serif 4", serif;
  line-height: 1.06;
  letter-spacing: -0.018em;
  margin: 0 0 0.78rem;
}

h2,
h3,
h4 {
  scroll-margin-top: 6rem;
}

h2 {
  font-size: clamp(1.82rem, 1.7vw + 1rem, 2.35rem);
  margin-top: 3.1rem;
}

h3 {
  font-size: clamp(1.2rem, 0.72vw + 0.98rem, 1.45rem);
  line-height: 1.12;
  margin-top: 2.15rem;
  text-wrap: balance;
}

h4 {
  font-family: "IBM Plex Sans", sans-serif;
  font-size: 1rem;
  font-weight: 700;
  line-height: 1.38;
  letter-spacing: 0;
  color: color-mix(in srgb, var(--ink) 90%, white);
  margin-top: 1.55rem;
}

p {
  margin: 0 0 1.08rem;
}

p mjx-container,
li mjx-container,
td mjx-container,
th mjx-container,
figcaption mjx-container {
  margin-inline: 0.05em;
}

mjx-container[display="true"] {
  display: block;
  margin: 1.15rem 0 1.35rem;
  padding: 0.12rem 0;
}

li {
  color: var(--ink);
}

strong {
  font-weight: 650;
}

ul,
ol {
  padding-left: 1.3rem;
}

.page-main ul,
.page-main ol {
  margin: 1rem 0 1.2rem;
  padding-left: 1.85rem;
  list-style-position: outside;
}

.page-main li {
  padding-left: 0.2rem;
}

.page-main li + li {
  margin-top: 0.35rem;
}

.page-main li::marker {
  color: var(--accent-strong);
}

.page-main ul ul,
.page-main ul ol,
.page-main ol ul,
.page-main ol ol {
  margin: 0.45rem 0 0.65rem;
  padding-left: 1.4rem;
}

.skip-link {
  position: absolute;
  left: 1rem;
  top: -4rem;
  z-index: 20;
  padding: 0.8rem 1rem;
  border-radius: 999px;
  background: var(--signal);
  color: white;
}

.skip-link:focus {
  top: 1rem;
}