/* The landing page's style (WWW-03). One file served by the site itself: no font, image or script from elsewhere. */
:root {
  color-scheme: light dark;
  --ink: #1b1f24;
  --paper: #fbfaf7;
  --muted: #4a525c;
  --accent: #0b5c3b;
  --accent-ink: #ffffff;
  --rule: #c9c6bd;
  --band: #f0eee7;
  --focus: #0a49b8;
}
@media (prefers-color-scheme: dark) {
  :root {
    --ink: #eceae4;
    --paper: #14171a;
    --muted: #b4b9bf;
    --accent: #6fcf9f;
    --accent-ink: #0b1a12;
    --rule: #3a4047;
    --band: #1c2024;
    --focus: #8ab4ff;
  }
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font: 1.0625rem/1.6 system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
}
a { color: var(--accent); text-underline-offset: .15em; }
a:focus-visible, .button:focus-visible { outline: 3px solid var(--focus); outline-offset: 2px; }
.skip { position: absolute; left: -999px; top: 0; background: var(--paper); padding: .5rem 1rem; z-index: 1; }
.skip:focus { left: 0; }
.wrap { max-width: 46rem; margin: 0 auto; padding: 0 1rem; }
header.site { border-bottom: 1px solid var(--rule); }
header.site .wrap { display: flex; flex-wrap: wrap; align-items: baseline; gap: .25rem 1.5rem; padding-top: .75rem; padding-bottom: .75rem; }
.brand { font-weight: 700; font-size: 1.25rem; letter-spacing: .02em; }
nav ul { display: flex; flex-wrap: wrap; gap: .25rem 1.25rem; list-style: none; margin: 0; padding: 0; }
.hero { padding: 2.5rem 0 2rem; }
h1 { font-size: clamp(1.9rem, 6vw, 2.75rem); line-height: 1.15; margin: 0 0 1rem; }
h2 { font-size: 1.5rem; line-height: 1.25; margin: 0 0 .75rem; }
h3 { font-size: 1.125rem; margin: 1.25rem 0 .25rem; }
.lead { font-size: 1.25rem; color: var(--muted); margin: 0 0 1.5rem; }
section { padding: 1.75rem 0; border-top: 1px solid var(--rule); }
section.band { background: var(--band); }
.button {
  display: inline-block; padding: .75rem 1.25rem; background: var(--accent); color: var(--accent-ink);
  font-weight: 700; text-decoration: none; border-radius: .375rem; min-height: 2.75rem;
}
.note { color: var(--muted); }
ul.plain { padding-left: 1.25rem; }
ul.plain li { margin: .35rem 0; }
dl.traits { margin: 0; }
dl.traits dt { font-weight: 700; margin-top: 1rem; }
dl.traits dd { margin: .15rem 0 0; }
footer.site { border-top: 1px solid var(--rule); padding: 1.5rem 0 2.5rem; color: var(--muted); font-size: .9375rem; }
code { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: .9em; }

/* The languages of the page and the suggestion to read it in another (WWW-06). */
.langs ul { display: flex; flex-wrap: wrap; gap: .25rem 1rem; list-style: none; margin: 0; padding: 0; }
.langs [aria-current] { font-weight: 700; }
.suggest { background: var(--band); border-bottom: 1px solid var(--rule); padding: .5rem 1rem; text-align: center; }
.suggest[hidden] { display: none; }
.suggest button { font: inherit; margin-inline-start: .75rem; cursor: pointer; }
[data-inspect] [data-phrase] { outline: 1px dashed var(--accent); outline-offset: 2px; cursor: copy; }
/* The downloads pages (tools/build_site.py, <body class="downloads">): in this file, not inline, because the site's
   content security policy allows styles from the site itself only (GAP-16). */
body.downloads { font: 16px/1.5 system-ui, sans-serif; margin: 0 auto; max-width: 48rem; padding: 1rem; }
.downloads table { border-collapse: collapse; width: 100%; }
.downloads th, .downloads td { border-bottom: 1px solid #8884; padding: .35rem .5rem; text-align: left; vertical-align: top; }
.downloads code { font-family: ui-monospace, monospace; font-size: .9em; word-break: break-all; }