/* OxygenHub. The RetroPlay Network theme (hub spec §6.1): dark by default

   on the Commander X16 palette, light under [data-theme="light"], Barlow

   for text and Press Start 2P for the wordmark and first columns, square

   corners, thin rules, a band for navigation. Fonts are vendored. */

@font-face { font-family: "Barlow"; font-weight: 300; font-display: swap; src: url(/static/fonts/Barlow-300.woff2) format("woff2"); }

@font-face { font-family: "Barlow"; font-weight: 400; font-display: swap; src: url(/static/fonts/Barlow-400.woff2) format("woff2"); }

@font-face { font-family: "Barlow"; font-weight: 500; font-display: swap; src: url(/static/fonts/Barlow-500.woff2) format("woff2"); }

@font-face { font-family: "Barlow"; font-weight: 600; font-display: swap; src: url(/static/fonts/Barlow-600.woff2) format("woff2"); }

@font-face { font-family: "Press Start 2P"; font-weight: 400; font-display: swap; src: url(/static/fonts/PressStart2P-400.woff2) format("woff2"); }

:root {

  /* Oxygen's mark: cyan #00F0FF to blue #0072FF on #070c18. */

  --bg:#070c18; --panel:#0e1526; --soft:#141d33; --ink:#e6ecf7; --mute:#8592ad; --line:#1f2b47; --dim:#43506d;

  --acc:#00e0f0; --acc-2:#0072ff; --band:#0b3f9e; --band-ink:#ffffff; --band-acc:#00f0ff; --band-line:rgba(7,12,24,.5); --now:#00f0ff; --now-ink:#070c18;

  --ok:#5fe3a1; --bad:#ff5e7a; --warn:#b48cff;

  --add:#0d3a3a; --del:#3f1a2e; --add-ink:#8ff0d8; --del-ink:#ffa5b8;

  --m1:#00f0ff; --m2:#d6dcea; --m3:#5aa8ff; --m4:#0072ff; --m5:#8592ad;

  /* syntax */

  --sy-kw:#7fb4ff; --sy-str:#8ff0d8; --sy-num:#9fd3ff; --sy-cmt:#7a86a4; --sy-fn:#00e0f0; --sy-ty:#c6a0ff; --sy-var:#e6ecf7; --sy-const:#b48cff;

  color-scheme: dark;

}

:root[data-theme="light"] {

  --bg:#f4f7fc; --panel:#ffffff; --soft:#e9eef8; --ink:#1b2333; --mute:#5f6a81; --line:#d6dded; --dim:#b3bccf;

  --acc:#0064e0; --acc-2:#00b8d4; --band:#0b3f9e; --band-ink:#ffffff; --band-acc:#9ff3ff; --band-line:rgba(255,255,255,.25); --now:#0064e0; --now-ink:#ffffff;

  --ok:#1a7850; --bad:#c62d47; --warn:#6b3fd1;

  --add:#e1f5ee; --del:#fbe3e8; --add-ink:#176b48; --del-ink:#a1243c;

  --m1:#0090a8; --m2:#7a8290; --m3:#2f6fcf; --m4:#0055c0; --m5:#8a8f9c;

  --sy-kw:#0b4fc9; --sy-str:#1a7850; --sy-num:#1e63b8; --sy-cmt:#606b81; --sy-fn:#007394; --sy-ty:#7a3fd1; --sy-var:#1b2333; --sy-const:#6b3fd1;

  color-scheme: light;

}

* { box-sizing: border-box; }

/* Room for the scroll bar always, so nothing shifts when it comes and goes. */

html { background: var(--bg); scrollbar-gutter: stable; }

body { margin: 0; min-height: 100vh; display: flex; flex-direction: column; background: var(--bg); color: var(--ink); font: 15px/1.45 "Barlow", "IBM Plex Sans", system-ui, sans-serif; }

a { color: var(--acc); text-decoration: none; }

a:hover { text-decoration: underline; }

code, pre, kbd, .mono { font-family: "IBM Plex Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size: 13px; }

.px { font-family: "Press Start 2P", "Silkscreen", monospace; font-size: 13px; }

.pxs { font-family: "Press Start 2P", "Silkscreen", monospace; font-size: 11px; }

h1, h2, h3 { margin: 0; }

h2 { font-size: 16px; font-weight: 600; margin: 0 0 8px; }

h3 { font-size: 12px; text-transform: uppercase; letter-spacing: .08em; color: var(--mute); margin: 14px 0 6px; }

p { margin: 0 0 10px; }

.small { font-size: 12px; }

.mute { color: var(--mute); }

.dim { color: var(--mute); }

.center { text-align: center; }

.right { text-align: right; }

.empty { color: var(--mute); padding: 22px; text-align: center; border: 1px dashed var(--line); }

.lead { font-size: 16px; }

kbd { background: var(--soft); border: 1px solid var(--line); padding: 1px 5px; font-size: 11px; }

/* shell */

header { background: var(--panel); border-bottom: 1px solid var(--line); padding: 14px 22px; display: flex; align-items: center; gap: 16px; }

.brand { display: inline-flex; align-items: center; gap: 10px; color: var(--ink); }

.brand svg { height: 22px; width: auto; }

.brand em { font-style: normal; color: var(--acc); }

.brand:hover { text-decoration: none; }

header nav { margin-left: auto; display: flex; gap: 8px; align-items: center; }

header nav .me { color: var(--ink); font-weight: 600; padding: 0 6px; }

header nav .theme-toggle { background: none; border: 1px solid var(--line); color: var(--ink); font-size: 15px; line-height: 1; padding: 4px 7px; cursor: pointer; }

header nav .theme-toggle:hover { border-color: var(--acc); }

fieldset.choices { border: 0; padding: 0; margin: 0 0 10px; display: flex; gap: 18px; flex-wrap: wrap; }

fieldset.choices legend { padding: 0; margin-bottom: 6px; }

form.card label.choice, label.choice { display: inline-flex; gap: 6px; align-items: center; font-weight: 400; text-transform: none; letter-spacing: 0; font-size: 14px; color: var(--ink); margin: 0; }

form.inline { display: inline; margin: 0; }

.band a.admin { color: var(--band-acc); }

form.find { margin: 0; flex: 0 1 320px; }

form.find input { width: 100%; background: var(--bg); border: 1px solid var(--line); color: var(--ink); padding: 6px 10px; font: inherit; }

form.find input:focus { outline: 2px solid var(--band); outline-offset: 0; }

.band { background: var(--band); display: flex; align-items: stretch; padding: 0 22px; }

.band a { color: var(--band-ink); font-size: 12px; font-weight: 600; text-transform: uppercase; letter-spacing: .08em; padding: 9px 14px; border-right: 1px solid var(--band-line); }

.band a:first-child { border-left: 1px solid var(--band-line); }

.band a.on { box-shadow: inset 0 -3px 0 var(--acc); background: rgba(0,0,0,.18); }

.band a:hover { text-decoration: none; background: rgba(0,0,0,.12); }

.band .grow { flex: 1; }

.band a.dim { opacity: .6; border: 0; }

.tabs { background: var(--panel); border-bottom: 1px solid var(--line); }

/* The repository bar is as wide as its contents need: at least the page

   column (so it lines up with it), wider for a long name, and it wraps only

   when the window itself is too narrow. */

.tabs-in { width: fit-content; min-width: min(1180px, 100%); max-width: 100%; box-sizing: border-box; margin: 0 auto; padding: 0 22px; display: flex; align-items: center; gap: 2px; flex-wrap: wrap; }

.tabs .crumb { white-space: nowrap; }

.tabs .crumb { margin-right: 18px; padding: 10px 0; font-size: 16px; }

.tabs a:not(.crumb a) { padding: 10px 12px; color: var(--ink); font-size: 13px; }

.tabs a.on { border-bottom: 2px solid var(--acc); font-weight: 600; }

.tabs a:hover { text-decoration: none; background: var(--soft); }

main { flex: 1; width: 100%; max-width: 1180px; margin: 0 auto; padding: 14px 22px 28px; }

main.wide { max-width: none; }

footer { background: var(--panel); border-top: 1px solid var(--line); margin-top: 28px; }

.foot { max-width: 1180px; margin: 0 auto; padding: 22px; display: grid; grid-template-columns: 1fr auto; gap: 22px; }

.foot .cols { display: flex; gap: 32px; }

.foot .cols a { display: block; font-size: 13px; }

.head { border-bottom: 2px solid var(--band); border-image: linear-gradient(90deg, var(--acc), var(--acc-2)) 1; margin: 6px 0 16px; padding-bottom: 6px; }

.head h1 { font-size: 30px; font-weight: 300; color: var(--mute); }

.head h1 small { display: block; font-size: 13px; color: var(--acc); font-weight: 400; }

.strip { padding: 8px 12px; margin: 0 0 12px; border: 1px solid; font-size: 13px; }

.strip.warn { border-color: var(--warn); color: var(--warn); background: color-mix(in srgb, var(--warn) 10%, transparent); }

.strip.bad { border-color: var(--bad); color: var(--bad); background: color-mix(in srgb, var(--bad) 10%, transparent); }

.strip a { color: inherit; text-decoration: underline; }

.sheet { position: fixed; right: 22px; bottom: 22px; background: var(--panel); border: 1px solid var(--line); padding: 14px 18px; box-shadow: 0 2px 12px rgba(0,0,0,.35); }

.sheet td { padding: 2px 8px 2px 0; font-size: 13px; }

/* buttons, tags, chips */

button, a.go, button.go, summary.go { font: inherit; font-size: 12px; font-weight: 600; text-transform: uppercase; letter-spacing: .08em; background: var(--panel); color: var(--acc); border: 1px solid var(--acc); padding: 5px 10px; cursor: pointer; }

button:hover, a.go:hover { background: var(--acc); color: var(--now-ink); text-decoration: none; }

button.small, a.go.small { padding: 2px 8px; font-size: 11px; }

.tag { display: inline-block; font-size: 11px; text-transform: uppercase; letter-spacing: .06em; color: var(--acc); background: var(--soft); padding: 1px 6px; vertical-align: middle; }

.tag.bad { color: var(--bad); }

.tag.warn { color: var(--warn); }

.warn-text { color: var(--warn); }

.tag.head { color: var(--now-ink); background: var(--now); }

.chip { font-family: "IBM Plex Mono", ui-monospace, monospace; font-size: 12px; background: var(--soft); padding: 1px 6px; border: 1px solid var(--line); }

.lbl { display: inline-block; font-size: 11px; padding: 1px 7px; margin-right: 4px; border: 1px solid; vertical-align: middle; }

.lbl-bm { color: var(--band-ink); background: var(--band); border-color: var(--band); }

.lbl-tag { color: var(--acc); border-color: var(--acc); }

.sig { display: inline-block; width: 1.2em; text-align: center; font-weight: 600; }

.sig-valid { color: var(--ok); }

.sig-unsigned { color: var(--mute); }

.sig-invalid { color: var(--bad); }

.sig-revoked { color: var(--warn); }

/* lists, tables, panels */

ul.plain { list-style: none; margin: 0; padding: 0; }

ul.plain li { padding: 2px 0; }

ul.rows { list-style: none; margin: 0; padding: 0; }

ul.rows li { display: flex; justify-content: space-between; align-items: center; gap: 14px; background: var(--panel); border: 1px solid var(--line); padding: 12px 14px; margin-bottom: 6px; }

ul.rows .name { font-size: 16px; }

ul.rows p { margin: 4px 0 0; color: var(--mute); }

.table { border: 1px solid var(--line); overflow-x: auto; }

table { border-collapse: collapse; width: 100%; }

th { text-align: left; font-size: 11px; text-transform: uppercase; letter-spacing: .06em; color: var(--mute); padding: 8px 10px; border-bottom: 1px solid var(--line); background: var(--soft); }

td { padding: 7px 10px; background: var(--panel); border-bottom: 1px solid var(--line); vertical-align: top; }

td.px { color: var(--acc); }

.panel { background: var(--panel); border: 1px solid var(--line); padding: 14px 16px; margin-bottom: 14px; }

dl.facts { display: grid; grid-template-columns: max-content 1fr; gap: 6px 18px; background: var(--panel); border: 1px solid var(--line); padding: 12px 16px; margin: 0 0 14px; }

dl.facts dt { font-size: 11px; text-transform: uppercase; letter-spacing: .06em; color: var(--mute); padding-top: 3px; }

dl.facts dd { margin: 0; }

code.full { word-break: break-all; }

pre.msg { background: var(--panel); border: 1px solid var(--line); padding: 10px 12px; white-space: pre-wrap; font-family: inherit; font-size: 14px; }

pre.marked { background: var(--panel); border: 1px solid var(--bad); padding: 10px 12px; overflow-x: auto; }

/* repository layout */

.side-layout { display: grid; grid-template-columns: 1fr 280px; gap: 22px; }

/* A proposal's conversation: the page is wide for its diffs, but text and

   the sidebar stay together at a readable width, and the description,

   comments and forms fill their column. */

.side-layout.conversation { max-width: 1240px; }

.side-layout.conversation > div > article.doc,

.side-layout.conversation > div > form.card,

.side-layout.conversation > div > .comment { max-width: none; box-sizing: border-box; }

.side h3:first-child { margin-top: 0; }

.dash h2 { font-size: 15px; margin: 18px 0 8px; }

.dash h2:first-child { margin-top: 0; }

.dash .side .bar { justify-content: space-between; }

.dash .side .bar h3 { margin: 0; }

ul.feed { list-style: none; margin: 0; padding: 0; border: 1px solid var(--line); background: var(--panel); }

ul.feed li { padding: 8px 14px; border-top: 1px solid var(--line); }

ul.feed li:first-child { border-top: 0; }

ul.feed .who { font-weight: 600; }

.clone { display: flex; gap: 6px; align-items: center; }

.clone code { background: var(--bg); border: 1px solid var(--line); padding: 4px 8px; flex: 1; overflow-x: auto; white-space: nowrap; }

.quickstart { background: var(--panel); border: 1px solid var(--line); padding: 16px 20px; }

.quickstart h2 { margin-top: 0; }

.quickstart h3 { font-size: 14px; margin: 18px 0 6px; }

.cmds { display: flex; gap: 6px; align-items: flex-start; }

.cmds pre { flex: 1; margin: 0; background: var(--bg); border: 1px solid var(--line); padding: 8px 10px; overflow-x: auto; }

.bar { display: flex; align-items: center; gap: 14px; flex-wrap: wrap; margin-bottom: 10px; }

.ref { color: var(--acc); }

.crumbs a { color: var(--ink); }

table.tree td { padding: 6px 10px; }

table.tree td.g { width: 1.6em; color: var(--acc); text-align: center; }

table.tree td.last { color: var(--mute); max-width: 520px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }

table.tree td.last a { color: var(--mute); }

table.tree td.age { width: 9em; text-align: right; white-space: nowrap; }

article.doc { max-width: 60rem; background: var(--panel); border: 1px solid var(--line); padding: 18px 24px; margin-top: 14px; }

article.doc h1 { font-size: 26px; font-weight: 500; margin: 0 0 12px; }

article.doc h2 { font-size: 20px; margin: 18px 0 8px; }

article.doc h3 { text-transform: none; letter-spacing: 0; font-size: 16px; color: var(--ink); }

article.doc pre { background: var(--bg); border: 1px solid var(--line); padding: 10px 12px; overflow-x: auto; }

article.doc code { background: var(--soft); padding: 0 3px; }

article.doc pre code { background: none; padding: 0; }

article.doc table { width: auto; }

article.doc img { max-width: 100%; }

article.doc blockquote { border-left: 3px solid var(--band); margin: 0; padding: 2px 12px; color: var(--mute); }

/* files and diffs */

.filebox { background: var(--panel); border: 1px solid var(--line); }

.filebox > header { display: flex; justify-content: space-between; align-items: center; gap: 12px; flex-wrap: wrap; padding: 8px 12px; border-bottom: 1px solid var(--line); background: var(--soft); }

.modes a { font-size: 12px; padding: 2px 8px; border: 1px solid var(--line); margin-left: 4px; color: var(--ink); }

.modes a.on { border-color: var(--acc); color: var(--acc); }

table.code { width: 100%; }

table.code td { padding: 0 8px; border: 0; background: transparent; line-height: 1.5; font-family: "IBM Plex Mono", ui-monospace, monospace; font-size: 13px; }

table.code td.n { width: 1%; min-width: 3em; text-align: right; color: var(--mute); user-select: none; cursor: pointer; padding-right: 12px; }

table.code td.n:hover { color: var(--acc); }

table.code td.t pre { margin: 0; white-space: pre; }

table.code tr.hl td { background: color-mix(in srgb, var(--acc) 18%, transparent); }

table.code td.blame { width: 1%; white-space: nowrap; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); background: var(--soft); font-family: "Barlow", sans-serif; font-size: 12px; padding: 0 10px; vertical-align: top; line-height: 1.5; }

table.code td.blame .px { font-size: 9px; }

table.code td.blame .who { color: var(--ink); }