@font-face { font-family: "TeX Gyre Heros"; src: url("/fonts/texgyreheros-regular.otf") format("opentype"); font-weight: 400; font-display: swap; }
@font-face { font-family: "TeX Gyre Heros"; src: url("/fonts/texgyreheros-bold.otf") format("opentype"); font-weight: 700; font-display: swap; }
@font-face { font-family: "Liberation Mono"; src: url("/fonts/LiberationMono-Regular.ttf") format("truetype"); font-weight: 400; font-display: swap; }

/* XSOC palette, light enterprise theme: the tokens of the Guard and NIE consoles. */
:root {
  --navy: #0B1F3A; --navy-mark: #17305F;
  --blue: #1F5FAD; --blue-weak: #E8F0FA; --blue-line: #B5CCEA;
  --gold: #8A5A0B; --gold-bg: #FBF1DE; --gold-line: #E9C988;
  --green: #22673F; --green-bg: #E5F2EA; --green-line: #A9D3B8;
  --red: #A32D2D; --red-bg: #FBE9E9; --red-line: #EBB8B8;
  --ink: #1B2430; --muted: #5B6675; --line: #D9E0E8; --line-strong: #C3CDD9;
  --page: #F3F5F8; --card: #FFFFFF;
  --display: "TeX Gyre Heros", "Helvetica Neue", Helvetica, Arial, sans-serif;
  --mono: "Liberation Mono", "Cascadia Mono", Consolas, Menlo, monospace;
}

* { box-sizing: border-box; }
[hidden] { display: none !important; }
html, body { margin: 0; }
body { background: var(--page); color: var(--ink); font: 14px/1.45 var(--display); }
.mono { font-family: var(--mono); }

/* ---- shell, as in the Guard console ------------------------------------ */
.masthead { display: flex; align-items: center; justify-content: space-between; gap: 24px; background: var(--card); border-bottom: 1px solid var(--line); padding: 14px 32px; }
.brand { display: flex; align-items: center; gap: 18px; min-width: 0; }
.brand-logo { display: block; flex: none; }
.brand-rule { width: 1px; height: 36px; background: var(--line-strong); flex: none; }
.product { margin: 0; font-size: 22px; font-weight: 700; letter-spacing: 0.06em; text-transform: uppercase; line-height: 1.15; }
.lock-xsoc { color: var(--navy-mark); }
.lock-name { color: var(--blue); background: linear-gradient(90deg, #12357F 0%, #1F63D2 55%, #3A8EEA 100%); -webkit-background-clip: text; background-clip: text; -webkit-text-fill-color: transparent; }
.subtitle { margin: 2px 0 0; color: var(--muted); font-size: 13px; }

.chain-state { display: flex; align-items: center; gap: 14px; font-size: 13px; color: var(--muted); }
.root-pin { font-size: 11.5px; color: var(--muted); }
.live { display: inline-flex; align-items: center; gap: 7px; padding: 3px 10px; border-radius: 999px; border: 1px solid var(--line); background: var(--page); font-weight: 700; font-size: 12px; }
.live-dot { width: 8px; height: 8px; border-radius: 50%; background: var(--muted); }
.live[data-state="live"] { color: var(--green); border-color: var(--green-line); background: var(--green-bg); }
.live[data-state="live"] .live-dot { background: var(--green); animation: pulse 2s ease-in-out infinite; }
.live[data-state="down"] { color: var(--gold); border-color: var(--gold-line); background: var(--gold-bg); }
.live[data-state="down"] .live-dot { background: var(--gold); }
@keyframes pulse { 0%, 100% { opacity: 1; } 50% { opacity: 0.35; } }

.modules { display: flex; align-items: center; justify-content: space-between; gap: 4px; padding: 0 32px; background: var(--card); border-bottom: 1px solid var(--line); }
.module { padding: 11px 14px 10px; font-weight: 700; font-size: 13px; color: var(--muted); border-bottom: 3px solid transparent; }
.module.current { color: var(--navy); border-bottom-color: var(--blue); }
.view-toggles { display: flex; gap: 8px; }
.toggle { font: 700 12px var(--display); color: var(--muted); background: var(--card); border: 1px solid var(--line-strong); border-radius: 999px; padding: 4px 12px; cursor: pointer; }
.toggle[aria-pressed="true"] { color: var(--blue); border-color: var(--blue-line); background: var(--blue-weak); }

main { padding: 24px 32px 8px; display: grid; gap: 20px; }
.card { background: var(--card); border: 1px solid var(--line); border-radius: 10px; box-shadow: 0 1px 2px rgba(11, 31, 58, 0.04); }
.card-head { display: flex; justify-content: space-between; align-items: flex-end; gap: 24px; padding: 18px 22px 14px; border-bottom: 1px solid var(--line); }
.eyebrow { margin: 0 0 3px; color: var(--blue); font-size: 11.5px; font-weight: 700; letter-spacing: 0.08em; text-transform: uppercase; }
h2 { margin: 0; font-size: 19px; color: var(--navy); }
h3 { margin: 0 0 8px; font-size: 13px; color: var(--navy); text-transform: uppercase; letter-spacing: 0.06em; }
.order-note { margin: 6px 0 0; color: var(--muted); font-size: 12.5px; max-width: 900px; }
.empty { margin: 0; padding: 22px; color: var(--muted); list-style: none; }
.foot { padding: 14px 32px 28px; color: var(--muted); font-size: 12.5px; }
.btn { font: 700 13px var(--display); color: #fff; background: var(--blue); border: 1px solid var(--blue); border-radius: 6px; padding: 7px 14px; cursor: pointer; }
.btn:hover { background: #184C8B; }
.btn.quiet { color: var(--navy); background: var(--card); border-color: var(--line-strong); }
.tag { display: inline-block; margin-left: 8px; padding: 0 7px; border-radius: 4px; font-size: 11px; font-weight: 700; color: var(--gold); background: var(--gold-bg); border: 1px solid var(--gold-line); vertical-align: 1px; }
.pill { display: inline-flex; align-items: center; gap: 6px; padding: 2px 10px; border-radius: 999px; font-size: 12px; font-weight: 700; border: 1px solid var(--line); background: var(--page); color: var(--muted); white-space: nowrap; }
.pill::before { content: ""; width: 7px; height: 7px; border-radius: 50%; background: currentColor; }
.pill.held { color: var(--green); background: var(--green-bg); border-color: var(--green-line); }
.pill.refused { color: var(--red); background: var(--red-bg); border-color: var(--red-line); }
.pill.offline { color: var(--muted); }
body:not(.eng) .eng-only { display: none !important; }

/* ---- sign-in ----------------------------------------------------------- */
.signin { display: grid; grid-template-columns: 1fr auto; gap: 8px 12px; align-items: end; padding: 16px 22px 18px; max-width: 760px; }
.signin .scene-label { grid-column: 1 / 3; }
.signin-input { font-size: 13px; padding: 8px 10px; border: 1px solid var(--line-strong); border-radius: 6px; background: var(--card); color: var(--ink); }
.signin-input:focus { outline: 2px solid var(--blue-line); border-color: var(--blue); }
.signin-status { grid-column: 1 / 3; margin: 0; min-height: 1.4em; color: var(--red); font-size: 13px; }

/* ---- provers and parts ------------------------------------------------- */
.top-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(480px, 1fr)); gap: 20px; }
.plist { list-style: none; margin: 0; padding: 0; }
.pitem { display: grid; grid-template-columns: 22px 1fr auto; gap: 4px 12px; align-items: start; padding: 12px 22px; border-bottom: 1px solid var(--line); }
.pitem:last-child { border-bottom: 0; }
.pitem.selectable { cursor: pointer; }
.pitem.selectable:hover { background: var(--page); }
.pitem.selected { background: var(--blue-weak); }
.pitem input { margin: 3px 0 0; }
.pname { font-weight: 700; color: var(--navy); font-size: 14px; }
.pid { font-family: var(--mono); font-size: 12px; color: var(--navy); overflow-wrap: anywhere; }
.pfacts { grid-column: 2 / 4; display: grid; grid-template-columns: auto 1fr; gap: 2px 12px; margin: 4px 0 0; font-size: 12.5px; }
.pfacts dt { color: var(--muted); }
.pfacts dd { margin: 0; overflow-wrap: anywhere; }

/* ---- scenes ------------------------------------------------------------ */
.target { color: var(--blue); }
.expect { display: flex; flex-direction: column; gap: 4px; min-width: 320px; }
.scene-label { font-size: 11px; font-weight: 700; color: var(--muted); text-transform: uppercase; letter-spacing: 0.06em; }
.expect select { font: 13px var(--mono); padding: 6px 8px; border: 1px solid var(--line-strong); border-radius: 6px; background: var(--card); color: var(--ink); }
.scenes { display: grid; grid-template-columns: repeat(auto-fill, minmax(230px, 1fr)); gap: 12px; padding: 16px 22px 6px; }
.scene { display: grid; grid-template-columns: auto 1fr; gap: 2px 10px; text-align: left; font: inherit; color: var(--ink); background: var(--page); border: 1px solid var(--line); border-radius: 8px; padding: 12px 14px; cursor: pointer; }
.scene:hover:not(:disabled) { border-color: var(--blue-line); background: var(--blue-weak); }
.scene:disabled { cursor: not-allowed; opacity: 0.5; }
.scene-n { grid-row: 1 / 3; font: 700 12px var(--mono); color: var(--blue); padding-top: 2px; }
.scene-t { font-weight: 700; color: var(--navy); }
.scene-d { color: var(--muted); font-size: 12.5px; }
.scene-status { margin: 0; padding: 4px 22px 16px; color: var(--muted); font-size: 13px; min-height: 1.45em; }

/* ---- result ------------------------------------------------------------ */
.result-actions { display: flex; align-items: center; gap: 12px; }
.verdict { font-size: 17px; font-weight: 700; }
.verdict.held { color: var(--green); }
.verdict.refused { color: var(--red); }
.three { display: grid; grid-template-columns: repeat(3, 1fr); border-bottom: 1px solid var(--line); }
.mech { padding: 14px 22px 16px; }
.mech + .mech { border-left: 1px solid var(--line); }
.mech-label { margin: 0; font-size: 11.5px; font-weight: 700; color: var(--muted); letter-spacing: 0.06em; text-transform: uppercase; }
.mech-out { margin: 4px 0 0; font-size: 16px; font-weight: 700; color: var(--navy); }
.mech-out.held { color: var(--green); }
.mech-out.refused { color: var(--red); }
.mech-out.absent { color: var(--muted); font-weight: 400; font-size: 14px; }
.mech-detail { margin: 4px 0 0; font-size: 12.5px; color: var(--ink); overflow-wrap: anywhere; }
.mech-fn { margin: 6px 0 0; font-size: 11.5px; color: var(--muted); }
.composition { margin: 0; padding: 9px 22px; font-size: 12.5px; color: var(--navy); background: var(--blue-weak); border-bottom: 1px solid var(--blue-line); }
.result-body { padding: 4px 22px 18px; }
.rsec { padding: 14px 0; border-bottom: 1px solid var(--line); }
.rsec:last-child { border-bottom: 0; }

.checks { list-style: none; margin: 0; padding: 0; counter-reset: check; }
.checks li { display: grid; grid-template-columns: 26px 96px minmax(260px, 1.1fr) 1.4fr; gap: 10px; align-items: baseline; padding: 7px 0; border-bottom: 1px dashed var(--line); font-size: 13px; }
.checks li:last-child { border-bottom: 0; }
.checks li::before { counter-increment: check; content: counter(check); color: var(--muted); font-family: var(--mono); font-size: 12px; }
.checks .res { font-weight: 700; font-size: 12.5px; }
.checks .res.held { color: var(--green); }
.checks .res.refused { color: var(--red); }
.checks .res.not_reached { color: var(--muted); font-weight: 400; }
.checks .name { font-weight: 700; color: var(--navy); }
.checks .name .fn { display: block; font: 11.5px var(--mono); color: var(--muted); font-weight: 400; }
.checks .why { color: var(--ink); font-size: 12.5px; overflow-wrap: anywhere; }
.checks .why.mono { font-family: var(--mono); font-size: 11.5px; }

.fields { display: grid; grid-template-columns: 210px 1fr; gap: 6px 14px; margin: 0; font-size: 13px; }
.fields dt { color: var(--muted); }
.fields dd { margin: 0; color: var(--ink); overflow-wrap: anywhere; }
.fields dd.mono { font-size: 12px; }

/* ---- history ----------------------------------------------------------- */
.history { list-style: none; margin: 0; padding: 0; }
.hrow { display: grid; grid-template-columns: 90px 110px 1fr minmax(160px, 0.6fr); gap: 12px; align-items: center; padding: 9px 22px; border-bottom: 1px solid var(--line); cursor: pointer; font-size: 13px; }
.hrow:last-child { border-bottom: 0; }
.hrow:hover { background: var(--page); }
.hrow .t { font: 12px var(--mono); color: var(--muted); }
.hrow .pill { justify-self: start; }
.hrow .how { color: var(--ink); }
.hrow .part { font: 12px var(--mono); color: var(--navy); overflow-wrap: anywhere; }

@media (max-width: 1100px) {
  .three { grid-template-columns: 1fr; }
  .mech + .mech { border-left: 0; border-top: 1px solid var(--line); }
  .checks li { grid-template-columns: 26px 96px 1fr; }
  .checks .why { grid-column: 2 / 4; }
}