:root {
  --bg: #0a1a44;
  --panel: #0f2458;
  --panel-2: #163070;
  --line: #22408a;
  --text: #e6ecf8;
  --muted: #a3b4d6;
  --accent: #55dde6;
  --prompt: #ffff55;
  --bar: #071435;          /* the menu bar and the terminal's tab strip */
  --on-accent: #04122e;    /* text on an accent button */
  --blue: #0000aa;
  --mono: "JetBrains Mono", "Cascadia Mono", ui-monospace, monospace;
  --sans: Inter, system-ui, sans-serif;
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--text); font: 17px/1.6 var(--sans); }
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }
img { max-width: 100%; height: auto; display: block; }
code { font-family: var(--mono); font-size: .9em; background: var(--panel-2); border-radius: 4px; padding: 1px 5px; }
.wrap { max-width: 1120px; margin: 0 auto; padding: 0 24px; }

/* the menu: the same on every page, the current one marked; on a phone it scrolls sideways under the name */
header { position: sticky; top: 0; z-index: 10; background: color-mix(in srgb, var(--bar) 92%, transparent); backdrop-filter: blur(8px); border-bottom: 1px solid var(--line); }
.bar { display: flex; align-items: center; gap: 28px; min-height: 56px; font-family: var(--mono); font-size: 14px; }
.logo { display: flex; align-items: center; gap: 10px; color: var(--text); font-weight: 700; font-size: 16px; flex: none; }
.logo:hover { text-decoration: none; }
.logo i { width: 22px; height: 22px; background: var(--blue); border: 1px solid var(--line); display: grid; place-items: center; font-style: normal; color: var(--prompt); font-size: 12px; }
header nav { display: flex; gap: 4px; margin-left: auto; min-width: 0; overflow-x: auto; scrollbar-width: none; }
header nav::-webkit-scrollbar { display: none; }
header nav a { color: var(--muted); padding: 6px 10px; border-radius: 6px; white-space: nowrap; }
header nav a:hover { color: var(--text); text-decoration: none; background: var(--panel); }
header nav a[aria-current] { color: var(--text); background: var(--panel-2); }

/* page heads */
.hero { padding: 88px 0 48px; }
.page-head { padding: 64px 0 24px; }
.tag { font-family: var(--mono); font-size: 13px; color: var(--prompt); }
h1 { font-family: var(--mono); font-size: clamp(30px, 5vw, 52px); line-height: 1.12; letter-spacing: -.02em; margin: 16px 0 20px; max-width: 18ch; }
h1 em { font-style: normal; color: var(--accent); }
.lead { font-size: 19px; color: var(--muted); max-width: 52ch; margin: 0 0 32px; }
.actions { display: flex; flex-wrap: wrap; gap: 12px; }
.btn { font-family: var(--mono); font-size: 15px; padding: 12px 20px; border-radius: 8px; border: 1px solid var(--line); color: var(--text); background: var(--panel); }
.btn.primary { background: var(--accent); border-color: var(--accent); color: var(--on-accent); font-weight: 600; }
.btn:hover { text-decoration: none; filter: brightness(1.1); }
.btn { display: inline-flex; align-items: center; gap: 10px; }
svg.os { width: 20px; height: 20px; flex: none; }
.platforms { color: var(--muted); font-size: 15px; margin: 16px 0 0; }
.platforms b { color: var(--text); font-weight: 600; }
.facts { display: flex; flex-wrap: wrap; gap: 8px 28px; margin-top: 28px; font-family: var(--mono); font-size: 13px; color: var(--muted); }
.facts b { color: var(--text); font-weight: 600; }

/* a terminal window */
.term { background: var(--panel); border: 1px solid var(--line); border-radius: 12px; overflow: hidden; box-shadow: 0 30px 80px rgba(0,0,0,.45); }
.term-bar { display: flex; gap: 2px; padding: 8px 10px 0; background: var(--bar); border-bottom: 1px solid var(--line); font-family: var(--mono); font-size: 12px; overflow-x: auto; }
.term-tab { padding: 8px 14px; border-radius: 8px 8px 0 0; color: var(--muted); border: 0; background: none; font: inherit; white-space: nowrap; cursor: pointer; }
.term-tab[aria-selected="true"] { background: var(--panel); color: var(--text); }
.term-body { padding: 18px 20px; font-family: var(--mono); font-size: 14px; line-height: 1.75; overflow-x: auto; white-space: pre; }
.term-body .p { color: var(--prompt); user-select: none; }
.term-body .c { color: var(--muted); }
.shot { margin-top: 56px; box-shadow: 0 30px 80px rgba(0,0,0,.45); }
.grid > * { min-width: 0; }

/* sections */
section.block { padding: 72px 0; border-top: 1px solid var(--line); }
.grid { display: grid; grid-template-columns: 5fr 7fr; gap: 56px; align-items: center; }
.flip .grid > :first-child { order: 2; }
h2 { font-family: var(--mono); font-size: 26px; margin: 6px 0 16px; letter-spacing: -.01em; }
h2 .hash { color: var(--muted); }
.block p { color: var(--muted); margin: 0 0 14px; }
ul.points { list-style: none; padding: 0; margin: 18px 0 0; font-size: 15px; }
ul.points li { padding: 6px 0 6px 22px; position: relative; }
ul.points li::before { content: "›"; position: absolute; left: 4px; color: var(--accent); font-family: var(--mono); }
kbd { font-family: var(--mono); font-size: 13px; background: var(--panel-2); border: 1px solid var(--line); border-bottom-width: 2px; border-radius: 5px; padding: 1px 6px; color: var(--text); white-space: nowrap; }
.block p.text { max-width: 62ch; }
.block p.after-list { margin-top: 14px; }
section.block.first { border-top: 0; padding-top: 0; }
.frame.below { margin-top: 32px; }
.frame { border-radius: 10px; overflow: hidden; border: 1px solid var(--line); box-shadow: 0 20px 60px rgba(0,0,0,.4); }
.more { font-family: var(--mono); font-size: 14px; margin-top: 18px; display: inline-block; }

/* cards: what the home page leads to */
.cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr)); gap: 16px; margin-top: 32px; }
.card { background: var(--panel); border: 1px solid var(--line); border-radius: 10px; padding: 22px; color: var(--text); display: block; }
a.card:hover { text-decoration: none; border-color: var(--accent); }
.card h3 { font-family: var(--mono); font-size: 16px; margin: 0 0 8px; }
.card p { color: var(--muted); font-size: 15px; margin: 0; }
.card .go { font-family: var(--mono); font-size: 13px; color: var(--accent); margin-top: 12px; display: block; }

/* the next page at the foot of a page */
.next { display: flex; justify-content: space-between; gap: 16px; padding: 40px 0 72px; border-top: 1px solid var(--line); font-family: var(--mono); font-size: 14px; }
.next a { color: var(--muted); }
.next a:hover { color: var(--text); }

.block p.note { font-size: 15px; margin-top: 16px; }

footer { border-top: 1px solid var(--line); padding: 28px 0 40px; font-family: var(--mono); font-size: 13px; }
.keys { display: flex; flex-wrap: wrap; gap: 6px 18px; }
.keys a { color: var(--muted); }
.keys a b { color: var(--text); background: var(--panel-2); border: 1px solid var(--line); border-radius: 4px; padding: 0 5px; margin-right: 6px; font-weight: 600; }
.small { color: var(--muted); margin-top: 18px; }

@media (max-width: 860px) {
  .wrap { padding: 0 16px; }
  .bar { flex-wrap: wrap; gap: 0; padding: 8px 0; }
  header nav { margin-left: 0; width: 100%; margin-top: 6px; }
  header nav a { padding: 6px 8px; }
  .grid { grid-template-columns: 1fr; gap: 28px; }
  .flip .grid > :first-child { order: 0; }
  .hero { padding-top: 48px; }
  .page-head { padding-top: 40px; }
  section.block { padding: 48px 0; }
}
@media (max-width: 560px) {
  .term-bar { flex-wrap: wrap; padding-bottom: 0; }
  .term-tab { border-radius: 6px 6px 0 0; padding: 8px 10px; }
}