/* Shared by every page. Deliberately one small file with no build step: these pages have
   to keep working years after anyone last looked at the toolchain. */
:root {
  --bg: #ffffff;
  --surface: #f5f6f8;
  --text: #12141a;
  --muted: #6b7280;
  --border: #e3e5ea;
  --primary: #1668dc;
  --primary-soft: #e9f0fc;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  padding: 0 20px 64px;
  font: 16px/1.65 -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;
  color: var(--text);
  background: var(--bg);
}

.wrap { max-width: 720px; margin: 0 auto; }

header { padding: 32px 0 8px; }
header a.brand { display: inline-flex; align-items: center; gap: 10px; text-decoration: none; color: inherit; }
header img { width: 36px; height: 36px; }
header .name { font-size: 20px; font-weight: 700; letter-spacing: -0.2px; }

h1 { font-size: 28px; line-height: 1.25; margin: 24px 0 4px; }
h2 { font-size: 19px; margin: 32px 0 8px; }
h3 { font-size: 16px; margin: 20px 0 4px; }
p, li { color: var(--text); }
a { color: var(--primary); }

.version {
  display: inline-block;
  margin: 4px 0 24px;
  padding: 4px 10px;
  border-radius: 999px;
  background: var(--primary-soft);
  color: var(--primary);
  font-size: 13px;
  font-weight: 600;
}

.lede { color: var(--muted); font-size: 17px; }

.note {
  border: 1px solid var(--border);
  background: var(--surface);
  border-radius: 12px;
  padding: 16px 18px;
  margin: 24px 0;
}
.note strong { display: block; margin-bottom: 4px; }

table { border-collapse: collapse; width: 100%; margin: 12px 0; font-size: 15px; }
th, td { text-align: left; padding: 8px 10px; border-bottom: 1px solid var(--border); vertical-align: top; }
th { color: var(--muted); font-weight: 600; }

.langbar { margin: 20px 0 0; font-size: 14px; color: var(--muted); }
.langbar a { margin-right: 12px; }

footer { margin-top: 56px; padding-top: 20px; border-top: 1px solid var(--border); color: var(--muted); font-size: 14px; }
footer a { margin-right: 14px; }

hr.sep { border: 0; border-top: 1px solid var(--border); margin: 48px 0; }

@media (prefers-color-scheme: dark) {
  :root {
    --bg: #12141a; --surface: #1b1e26; --text: #f2f3f5;
    --muted: #9aa1ad; --border: #2a2e38; --primary: #7fb0f5; --primary-soft: #1d2634;
  }
}