/* The Obol console. The mock-up's stylesheet, with the fonts served from this site. */
@font-face {
  font-family: 'Fraunces';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url(fonts/Fraunces-600.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url(fonts/IBMPlexMono-400.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url(fonts/IBMPlexMono-500.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'IBM Plex Sans';
  font-style: normal;
  font-weight: 400;
  font-stretch: 100%;
  font-display: swap;
  src: url(fonts/IBMPlexSans-400.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'IBM Plex Sans';
  font-style: normal;
  font-weight: 500;
  font-stretch: 100%;
  font-display: swap;
  src: url(fonts/IBMPlexSans-500.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}
@font-face {
  font-family: 'IBM Plex Sans';
  font-style: normal;
  font-weight: 600;
  font-stretch: 100%;
  font-display: swap;
  src: url(fonts/IBMPlexSans-600.woff2) format('woff2');
  unicode-range: U+0000-00FF, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+0304, U+0308, U+0329, U+2000-206F, U+20AC, U+2122, U+2191, U+2193, U+2212, U+2215, U+FEFF, U+FFFD;
}

/* Layout: ops console. Fixed left rail (live views, then planned views), one working column.
   Palette: cool paper, ink, one signal teal for "live", amber for attention, brick for faults. */
:root {
  --bg: #f3f5f6; --panel: #ffffff; --ink: #14202b; --muted: #5a6b79; --line: #d6dde2;
  --rail: #14202b; --rail-ink: #dbe4ea; --rail-muted: #8ea0ae; --rail-line: #263644;
  --signal: #0e7c78; --signal-bg: #dff2f0; --warn: #9a5b00; --warn-bg: #fbecd0;
  --fault: #a3322a; --fault-bg: #f8dcd8; --ok: #2f6b3a; --ok-bg: #dcefdf;
  --ghost: #eceff1; --ghost-line: #b9c4cc; --mono-bg: #eef2f4;
  --f-ui: "IBM Plex Sans", system-ui, sans-serif; --f-mono: "IBM Plex Mono", ui-monospace, monospace;
  --f-head: "Fraunces", Georgia, serif;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #0f171e; --panel: #16222c; --ink: #e3ebf0; --muted: #97a8b5; --line: #29394690;
    --rail: #0a1015; --rail-ink: #dbe4ea; --rail-muted: #7d909e; --rail-line: #1f2d38;
    --signal: #4cc4bd; --signal-bg: #12403f; --warn: #e3a94a; --warn-bg: #3d2d10;
    --fault: #ee8a80; --fault-bg: #45201c; --ok: #8fd49d; --ok-bg: #1b3a22;
    --ghost: #1b2832; --ghost-line: #3a4c5a; --mono-bg: #1b2832; color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --bg: #0f171e; --panel: #16222c; --ink: #e3ebf0; --muted: #97a8b5; --line: #29394690;
  --rail: #0a1015; --rail-ink: #dbe4ea; --rail-muted: #7d909e; --rail-line: #1f2d38;
  --signal: #4cc4bd; --signal-bg: #12403f; --warn: #e3a94a; --warn-bg: #3d2d10;
  --fault: #ee8a80; --fault-bg: #45201c; --ok: #8fd49d; --ok-bg: #1b3a22;
  --ghost: #1b2832; --ghost-line: #3a4c5a; --mono-bg: #1b2832; color-scheme: dark;
}
* { box-sizing: border-box; }
body { background: var(--bg); color: var(--ink); font-family: var(--f-ui); font-size: 14px; line-height: 1.5; }
a { color: var(--signal); }
.app { display: grid; grid-template-columns: 244px minmax(0, 1fr); min-height: calc(100vh - 30px); }
.rail { background: var(--rail); color: var(--rail-ink); padding: 18px 0 24px; display: flex; flex-direction: column; gap: 4px; padding-left: max(0px, env(safe-area-inset-left, 0px)); }
.brand { font-family: var(--f-head); font-size: 22px; padding: 0 20px 2px; letter-spacing: .01em; }
.brand small { display: block; font-family: var(--f-mono); font-size: 11px; color: var(--rail-muted); letter-spacing: .08em; text-transform: uppercase; margin-top: 2px; }
.who { margin: 12px 14px 10px; padding: 10px 12px; border: 1px solid var(--rail-line); border-radius: 6px; font-size: 12px; }
.who b { display: block; font-weight: 500; font-size: 13px; }
.who span { color: var(--rail-muted); }
.rail a.who { display: block; color: inherit; border-left: 0; padding: 10px 12px; justify-content: initial; }
.rail a.who:hover { background: var(--rail-line); }
.rail a.who b, .rail a.who span { display: block; }
.rail a.top { font-weight: 600; margin-bottom: 4px; }
.group { margin-top: 6px; }
.ghead { display: flex; align-items: center; gap: 8px; width: 100%; background: none; border: 0; text-align: left; padding: 8px 20px 3px; color: var(--rail-muted); font-family: var(--f-mono); font-size: 10.5px; letter-spacing: .12em; text-transform: uppercase; }
.ghead:hover { color: var(--rail-ink); }
.ghead .chev { width: 10px; display: inline-block; transition: transform .12s; }
.group[data-open="true"] .chev { transform: rotate(90deg); }
.ghead .hint { margin-left: auto; text-transform: none; letter-spacing: 0; font-family: var(--f-ui); font-size: 11px; opacity: .8; }
.group[data-open="false"] .gitems { display: none; }
@media (prefers-reduced-motion: reduce) { .ghead .chev { transition: none; } }
.grp { font-family: var(--f-mono); font-size: 10.5px; letter-spacing: .12em; text-transform: uppercase; color: var(--rail-muted); padding: 14px 20px 4px; }
.rail a { display: flex; align-items: center; justify-content: space-between; gap: 8px; color: var(--rail-ink); text-decoration: none; padding: 6px 20px; font-size: 13.5px; border-left: 3px solid transparent; }
.rail a:hover { background: var(--rail-line); }
.rail a[aria-current="page"] { background: var(--rail-line); border-left-color: var(--signal); }
.rail a.planned { color: var(--rail-muted); }
.rail .tag { font-family: var(--f-mono); font-size: 10px; border: 1px solid var(--rail-line); border-radius: 3px; padding: 0 5px; color: var(--rail-muted); }
.rail .foot { margin-top: auto; padding: 14px 20px 0; font-size: 11.5px; color: var(--rail-muted); }
main { padding: 22px max(20px, env(safe-area-inset-right, 0px)) 48px 28px; min-width: 0; }
h1 { font-family: var(--f-head); font-size: 26px; font-weight: 600; margin: 0 0 4px; text-wrap: balance; }
.sub { color: var(--muted); margin: 0 0 18px; max-width: 70ch; }
h2 { font-size: 12px; font-family: var(--f-mono); letter-spacing: .1em; text-transform: uppercase; color: var(--muted); font-weight: 500; margin: 22px 0 8px; }
.grid { display: grid; gap: 12px; }
.g4 { grid-template-columns: repeat(auto-fit, minmax(170px, 1fr)); }
.tablewrap.scroll { max-height: 340px; overflow-y: auto; }
.tablewrap.scroll th { position: sticky; top: 0; background: var(--panel); }
.tile.holding .v { font-size: 17px; margin-top: 5px; }  /* several symbols on one line */
.g2 { grid-template-columns: repeat(auto-fit, minmax(340px, 1fr)); }
.panel { background: var(--panel); border: 1px solid var(--line); border-radius: 6px; padding: 14px 16px; min-width: 0; }
.tile .k { font-size: 12px; color: var(--muted); }
.tile .v { font-size: 22px; font-weight: 600; font-variant-numeric: tabular-nums; margin-top: 2px; }
.tile .n { font-size: 12px; color: var(--muted); margin-top: 2px; }
.pill { display: inline-block; font-family: var(--f-mono); font-size: 11px; padding: 1px 7px; border-radius: 10px; background: var(--mono-bg); border: 1px solid var(--line); white-space: nowrap; }
.pill.live { background: var(--signal-bg); color: var(--signal); border-color: transparent; }
.pill.ok { background: var(--ok-bg); color: var(--ok); border-color: transparent; }
.pill.warn { background: var(--warn-bg); color: var(--warn); border-color: transparent; }
.pill.fault { background: var(--fault-bg); color: var(--fault); border-color: transparent; }
.pill.paper { background: var(--signal-bg); color: var(--signal); border-color: transparent; }
.dot { display: inline-block; width: 8px; height: 8px; border-radius: 50%; background: var(--signal); margin-right: 6px; }
.dot.pulse { animation: pulse 1.6s ease-in-out infinite; }
@keyframes pulse { 50% { opacity: .25; } }
@media (prefers-reduced-motion: reduce) { .dot.pulse { animation: none; } .fresh { animation: none !important; } }
.tablewrap { overflow-x: auto; border: 1px solid var(--line); border-radius: 6px; background: var(--panel); }
table { border-collapse: collapse; width: 100%; font-size: 13px; }
th { text-align: left; font-weight: 500; font-size: 11.5px; font-family: var(--f-mono); letter-spacing: .06em; text-transform: uppercase; color: var(--muted); padding: 8px 12px; border-bottom: 1px solid var(--line); white-space: nowrap; }
td { padding: 8px 12px; border-bottom: 1px solid var(--line); vertical-align: top; }
tr:last-child td { border-bottom: 0; }
td.t, td.m { font-family: var(--f-mono); font-size: 12.5px; white-space: nowrap; font-variant-numeric: tabular-nums; }
tr.row { cursor: pointer; }
tr.row:hover td { background: var(--mono-bg); }
tr.detail td { background: var(--mono-bg); font-size: 12.5px; }
tr.detail .meta { margin-top: 10px; font-size: 11px; font-style: italic; color: var(--muted); overflow-wrap: anywhere; }
.prop.picked, tr.picked { outline: 2px solid var(--signal); outline-offset: 2px; }
a.go { display: inline-block; margin-top: 8px; color: var(--signal); }
td.brief { white-space: pre-line; }
/* Latest transactions and alerts: stacked, and side by side only where both tables have room. */
.two { display: grid; gap: 0 24px; grid-template-columns: repeat(auto-fit, minmax(420px, 1fr)); }
.two > * { min-width: 0; }
.strip.strip30 .hr { display: flex; gap: 3px; }
.strip.strip30 .c { flex: 1 1 0; height: 22px; border-radius: 3px; min-width: 0; cursor: default; }
.strip30 .ends { display: flex; justify-content: space-between; margin-top: 4px; font-family: var(--f-mono); font-size: 11px; color: var(--muted); }
  /* a phone version of several lines (a proposal) keeps its lines */
tr.detail pre { margin: 6px 0 0; white-space: pre-wrap; font-family: var(--f-mono); font-size: 12px; }
.fresh { animation: fresh 2.4s ease-out; }
@keyframes fresh { from { background: var(--signal-bg); } to { background: transparent; } }
.bar { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; margin-bottom: 10px; }
.tablewrap + .bar { margin-top: 10px; }
select, input[type=text], button { font: inherit; font-size: 13px; color: var(--ink); background: var(--panel); border: 1px solid var(--line); border-radius: 5px; padding: 5px 9px; }
button { cursor: pointer; }
.tabs { display: flex; gap: 4px; border-bottom: 1px solid var(--line); margin: 10px 0 14px; }
button.tab { font: inherit; background: none; border: 0; border-bottom: 2px solid transparent; margin-bottom: -1px; padding: 8px 14px; color: var(--muted); }
button.tab[aria-selected="true"] { color: var(--ink); border-bottom-color: var(--signal); font-weight: 600; }
button:focus-visible, a:focus-visible, select:focus-visible, tr.row:focus-visible { outline: 2px solid var(--signal); outline-offset: 2px; }
button[disabled], select[disabled], input[disabled] { cursor: not-allowed; opacity: .55; }
.ghost { background: var(--ghost); border: 1.5px dashed var(--ghost-line); border-radius: 6px; padding: 16px 18px; }
.ghost h3 { margin: 0 0 4px; font-size: 15px; display: flex; flex-wrap: wrap; gap: 8px; align-items: center; }
.ghost p { margin: 0 0 10px; color: var(--muted); max-width: 70ch; }
.skel { display: grid; gap: 6px; margin-top: 8px; }
.skel i { display: block; height: 10px; border-radius: 3px; background: var(--ghost-line); opacity: .45; }
.skel i:nth-child(2) { width: 82%; } .skel i:nth-child(3) { width: 64%; } .skel i:nth-child(4) { width: 76%; }
.kv { display: grid; grid-template-columns: 150px minmax(0, 1fr); gap: 6px 14px; margin: 0; }
.kv dt { color: var(--muted); font-size: 12.5px; } .kv dd { margin: 0; font-family: var(--f-mono); font-size: 12.5px; overflow-wrap: anywhere; }
.tl { list-style: none; margin: 10px 0 0; padding: 0 0 0 14px; border-left: 2px solid var(--line); display: grid; gap: 12px; }
.tl li { position: relative; padding-left: 12px; }
.tl li::before { content: ""; position: absolute; left: -22px; top: 6px; width: 10px; height: 10px; border-radius: 50%; background: var(--panel); border: 2px solid var(--signal); }
.tl li.bad::before { border-color: var(--fault); } .tl li.warn::before { border-color: var(--warn); }
.tl .when { font-family: var(--f-mono); font-size: 12px; color: var(--muted); }
.tl .src { font-family: var(--f-mono); font-size: 11.5px; color: var(--muted); overflow-wrap: anywhere; }
.banner { position: sticky; top: 0; z-index: 20; display: flex; flex-wrap: wrap; gap: 6px 14px; align-items: center; background: var(--fault); color: #fff; text-decoration: none; padding: 10px max(16px, env(safe-area-inset-right, 0px)) 10px max(16px, env(safe-area-inset-left, 0px)); font-weight: 500; }
.banner:hover { filter: brightness(1.08); } .banner .go { margin-left: auto; text-decoration: underline; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .banner, :root:not([data-theme="light"]) .cnt { color: #1a0a08; } }
:root[data-theme="dark"] .banner, :root[data-theme="dark"] .cnt { color: #1a0a08; }
.banner .dot { background: currentColor; }
.prop { border: 1.5px solid var(--fault); border-radius: 6px; padding: 14px 16px; background: var(--panel); margin-bottom: 12px; }
.prop.late { border-color: var(--warn); }
.prop h3 { margin: 0 0 6px; font-size: 16px; display: flex; flex-wrap: wrap; gap: 8px; align-items: center; }
.left { font-family: var(--f-mono); font-variant-numeric: tabular-nums; font-size: 15px; font-weight: 600; color: var(--fault); }
.left.calm { color: var(--warn); }
.cnt { font-family: var(--f-mono); font-size: 10.5px; background: var(--fault); color: #fff; border-radius: 9px; padding: 0 6px; }
.strip { display: grid; gap: 3px; margin: 8px 0; }
.strip .hr { display: grid; grid-template-columns: 34px repeat(60, minmax(0, 1fr)); gap: 2px; align-items: center; }
.strip .hr span.l { font-family: var(--f-mono); font-size: 11px; color: var(--muted); }
.strip .c { height: 14px; border-radius: 2px; background: var(--ghost-line); opacity: .35; cursor: pointer; }
.strip .c.ok { background: var(--signal); opacity: 1; } .strip .c.part { background: var(--warn); opacity: 1; } .strip .c.miss { background: var(--fault); opacity: 1; } .strip .c.off { opacity: 0; cursor: default; } .strip .c.sel { outline: 2px solid var(--ink); outline-offset: 1px; }
.chips { display: flex; flex-wrap: wrap; gap: 4px; margin-top: 4px; }
.legend { display: flex; flex-wrap: wrap; gap: 6px 16px; font-size: 12px; color: var(--muted); } .legend i { display: inline-block; width: 12px; height: 12px; border-radius: 2px; margin-right: 5px; vertical-align: -2px; }
.note { font-size: 12.5px; color: var(--muted); max-width: 75ch; }
.toggle { margin-left: auto; }
.feedstate { font-size: 12.5px; color: var(--muted); }
form.cmd { display: grid; gap: 10px; max-width: 520px; }
form.cmd label { display: grid; gap: 3px; font-size: 12.5px; color: var(--muted); }
@media (max-width: 860px) {
  .app { grid-template-columns: minmax(0, 1fr); }
  .rail { flex-direction: row; flex-wrap: wrap; padding: 10px 0; gap: 0; }
  .rail .brand, .rail .who, .rail .foot { flex: 1 1 100%; }
  .grp { flex: 1 1 100%; padding-top: 8px; }
  .rail a { padding: 6px 12px; border-left: 0; border-bottom: 2px solid transparent; }
  .rail a[aria-current="page"] { border-bottom-color: var(--signal); }
  .rail a.top, .rail .group { flex: 1 1 100%; }
  .rail .gitems { display: flex; flex-wrap: wrap; }
  .ghead { padding-left: 12px; padding-right: 12px; }
  main { padding-left: max(16px, env(safe-area-inset-left, 0px)); padding-right: max(16px, env(safe-area-inset-right, 0px)); }
  .kv { grid-template-columns: minmax(0, 1fr); }
}
[data-view] { display: none; } [data-view].on { display: block; }

/* real-site additions */
.centered { max-width: 520px; margin: 12vh auto; }
.signout { margin: 18px 20px 0; }
.rail .foot { padding: 14px 20px 0; }
button.signout { align-self: flex-start; }

/* An element with the hidden attribute stays hidden whatever its own display says (the banner and counts are flex or inline-block). */
[hidden] { display: none !important; }

/* Halt and liquidate: the confirmation dialog and the result */
.dialog-wrap { position: fixed; inset: 0; background: rgba(10, 16, 21, .55); display: grid; place-items: center; padding: 16px; z-index: 20; }
.dialog { max-width: 560px; width: 100%; }
.dialog label { display: block; margin: 8px 0 2px; font-size: 12.5px; color: var(--muted); }
.dialog input[type=text] { width: 100%; }
.dialog .what { font-weight: 500; }
.pill.code { font-size: 18px; letter-spacing: .15em; }
.result { margin: 12px 0; border-left: 4px solid var(--signal); }
.result[data-kind="fault"] { border-left-color: var(--fault); }
.result pre { margin: 6px 0 0; font-family: var(--f-mono); font-size: 12.5px; white-space: pre-wrap; }
button.danger { border-color: var(--fault); color: var(--fault); }
.panel > h2:first-child { margin-top: 0; }