/* Same visual language as apps/explorer/web/index.html's inline stylesheet (the mini explorer this
   app succeeds), lifted into its own file since this app has more than one HTML entry point of
   markup (multiple views, all client-rendered into #view) and richer views (spec item 3). */

:root {
  color-scheme: light dark;
  --bg: #ffffff;
  --bg-alt: #f4f5f7;
  --fg: #14171a;
  --fg-muted: #56606a;
  --border: #d8dce1;
  --card-bg: #fbfbfc;
  --code-bg: #eef0f3;
  --link: #1a5fb4;
  --ok: #1e7d32;
  --ok-bg: #e8f5e9;
  --warn: #9a5b00;
  --warn-bg: #fff3e0;
  --err: #a11414;
  --err-bg: #fdecea;
  --load: #56606a;
  --load-bg: #eef0f3;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #14171a;
    --bg-alt: #1b1f23;
    --fg: #e6e8eb;
    --fg-muted: #9aa4ae;
    --border: #2e343a;
    --card-bg: #1b1f23;
    --code-bg: #22272c;
    --link: #7cb0f2;
    --ok: #7fd68a;
    --ok-bg: #123420;
    --warn: #e0b04a;
    --warn-bg: #3a2c0c;
    --err: #f28b82;
    --err-bg: #3a1616;
    --load: #9aa4ae;
    --load-bg: #22272c;
  }
}
* { box-sizing: border-box; }
html, body { margin: 0; padding: 0; }
body {
  background: var(--bg);
  color: var(--fg);
  font: 16px/1.55 -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif;
  max-width: 1040px;
  margin: 0 auto;
  padding: 2rem 1.25rem 4rem;
}
a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }
:focus-visible { outline: 2px solid var(--link); outline-offset: 2px; }
code, pre, .mono { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace; }
code, .mono { word-break: break-all; }
code { background: var(--code-bg); padding: 0.1em 0.35em; border-radius: 4px; font-size: 0.88em; }
pre {
  background: var(--code-bg);
  padding: 0.75rem 0.9rem;
  border-radius: 6px;
  overflow-x: auto;
  font-size: 0.82rem;
  line-height: 1.5;
  margin: 0.5rem 0;
}

header { display: flex; align-items: baseline; gap: 0.8rem; flex-wrap: wrap; margin-bottom: 1rem; }
h1 { font-size: 1.4rem; margin: 0; letter-spacing: -0.2px; }
h1 a { color: var(--fg); }
h1 a:hover { text-decoration: none; color: var(--link); }
h2 { font-size: 1.05rem; margin: 2rem 0 0.75rem; border-top: 1px solid var(--border); padding-top: 1.25rem; }
.chip {
  font: 0.78rem var(--mono, ui-monospace, monospace);
  color: var(--fg-muted);
  border: 1px solid var(--border);
  border-radius: 999px;
  padding: 0.2rem 0.65rem;
  background: var(--bg-alt);
}
.chip.network-badge { color: var(--fg); font-weight: 600; }
.navlink { font-size: 0.85rem; margin-left: auto; }

/* Language toggle (js/i18n.js) : two buttons sharing the .chip look, the active one highlighted. */
.lang-toggle { display: flex; gap: 0.25rem; }
.lang-toggle button {
  font: inherit;
  font-size: 0.78rem;
  padding: 0.2rem 0.55rem;
  border-radius: 999px;
  border: 1px solid var(--border);
  background: var(--bg-alt);
  color: var(--fg-muted);
  cursor: pointer;
}
.lang-toggle button[aria-pressed="true"] { color: var(--fg); border-color: var(--link); font-weight: 600; }

/* Epoch budget bar (js/views/home.js's epoch card, spec item 3). */
.progress { height: 0.5rem; border-radius: 999px; background: var(--code-bg); overflow: hidden; margin-top: 0.35rem; }
.progress > span { display: block; height: 100%; background: var(--link); }

.searchbar { display: flex; gap: 0.5rem; margin: 0.5rem 0 1.5rem; }
.searchbar input {
  flex: 1;
  font: inherit;
  font-size: 0.9rem;
  padding: 0.55rem 0.75rem;
  border-radius: 6px;
  border: 1px solid var(--border);
  background: var(--card-bg);
  color: var(--fg);
  min-width: 0;
}
.searchbar button, .toolbar button, .load-more {
  font: inherit;
  font-size: 0.85rem;
  padding: 0.5rem 0.9rem;
  border-radius: 6px;
  border: 1px solid var(--border);
  background: var(--bg-alt);
  color: var(--fg);
  cursor: pointer;
}
.searchbar button:hover, .toolbar button:hover, .load-more:hover { border-color: var(--link); }
.load-more { margin: 0.6rem 0; }
.load-more:disabled { opacity: 0.6; cursor: default; }

.box { border: 1px solid var(--border); background: var(--bg-alt); border-radius: 8px; padding: 1rem 1.1rem; font-size: 0.92rem; margin: 1rem 0; }
.box.notice { border-color: var(--warn); color: var(--warn); background: var(--warn-bg); }
.muted { color: var(--fg-muted); }

.card { border: 1px solid var(--border); background: var(--card-bg); border-radius: 10px; padding: 1.1rem 1.25rem 1.3rem; margin: 1rem 0; }

/* Proof trail chain (web/js/views/trail.js) : one maillon per step, each carrying its own network
   badge. Left border echoes .box's visual language without competing with .card's own use elsewhere. */
.chain-step { border-left: 3px solid var(--border); padding: 0.1rem 0 0.1rem 1rem; margin: 1.25rem 0; }
.chain-step-head { display: flex; align-items: baseline; gap: 0.6rem; flex-wrap: wrap; margin-bottom: 0.4rem; }
.chain-step .card { margin: 0.6rem 0; }

.infogrid { display: grid; grid-template-columns: max-content 1fr; gap: 0.35rem 1rem; font-size: 0.9rem; }
.infogrid dt { color: var(--fg-muted); }
.infogrid dd { margin: 0; }

table.list { width: 100%; border-collapse: collapse; font-size: 0.88rem; }
table.list th { text-align: left; color: var(--fg-muted); font-weight: 600; font-size: 0.78rem; text-transform: uppercase; letter-spacing: 0.03em; padding: 0.4rem 0.6rem; border-bottom: 1px solid var(--border); }
table.list td { padding: 0.5rem 0.6rem; border-bottom: 1px solid var(--border); vertical-align: top; }
table.list tr.nonempty td:first-child { border-left: 3px solid var(--ok); }
table.list tr.link-row { cursor: pointer; }
table.list tr.link-row:hover { background: var(--bg-alt); }

.badge { display: inline-block; font-size: 0.72rem; font-weight: 600; padding: 0.15rem 0.55rem; border-radius: 999px; background: var(--load-bg); color: var(--load); white-space: nowrap; }
.badge.ok { background: var(--ok-bg); color: var(--ok); }
.badge.warn { background: var(--warn-bg); color: var(--warn); }
.badge.err { background: var(--err-bg); color: var(--err); }
.badge.count { background: var(--code-bg); color: var(--fg-muted); }

details { margin-top: 0.6rem; font-size: 0.85rem; }
summary { cursor: pointer; color: var(--fg-muted); }
summary:hover { color: var(--fg); }

details.section { margin-top: 0; font-size: inherit; }
details.section > summary.section-title {
  list-style: none;
  font-size: 1.05rem;
  font-weight: 600;
  color: var(--fg);
  margin: 2rem 0 0.75rem;
  padding-top: 1.25rem;
  border-top: 1px solid var(--border);
}
details.section > summary.section-title::-webkit-details-marker { display: none; }
details.section[open] > summary.section-title { margin-bottom: 0.75rem; }

footer { color: var(--fg-muted); font-size: 0.82rem; margin-top: 3rem; border-top: 1px solid var(--border); padding-top: 1rem; }