    /* ─── Active nav link ─── */
    .nav-link--active {
      color: var(--brand);
      background: var(--accent-dim);
    }

    /* ─── Page heading ─── */
    .res-head {
      margin-bottom: 28px;
    }
    .res-head__title {
      font-size: 22px;
      font-weight: 700;
      color: var(--text);
      letter-spacing: -0.4px;
      margin-bottom: 4px;
    }
    .res-head__sub {
      font-size: 13px;
      color: var(--text-muted);
    }

    /* ─── Stats strip ─── */
    /* Shows a quick count of markets in each stage */
    .res-stats {
      display: flex;
      background: var(--surface);
      border: 1px solid var(--border);
      border-radius: var(--card-radius);
      overflow: hidden;
      margin-bottom: 24px;
    }
    .res-stat {
      flex: 1;
      padding: 14px 20px;
      border-right: 1px solid var(--border);
    }
    .res-stat:last-child { border-right: none; }
    .res-stat__num {
      font-size: 24px;
      font-weight: 700;
      color: var(--text);
      letter-spacing: -0.5px;
      line-height: 1.1;
    }
    .res-stat__label {
      font-size: 11px;
      font-weight: 600;
      color: var(--text-muted);
      text-transform: uppercase;
      letter-spacing: 0.06em;
      margin-top: 3px;
    }
    .res-stat--ongoing  .res-stat__num { color: var(--status-ongoing, #22c55e); }
    .res-stat--ended    .res-stat__num { color: #64748b; }
    .res-stat--chal     .res-stat__num { color: var(--status-challenge); }
    .res-stat--voting   .res-stat__num { color: var(--status-voting); }
    .res-stat--resolved .res-stat__num { color: var(--brand); }

    /* ─── Filter count pill inside filter button ─── */
    .filter-count {
      display: inline-flex;
      align-items: center;
      justify-content: center;
      min-width: 17px;
      height: 17px;
      padding: 0 3px;
      font-size: 10px;
      font-weight: 700;
      border-radius: 9px;
      background: rgba(37, 65, 49, 0.12);
      color: inherit;
      margin-left: 3px;
    }
    .filter-btn--active .filter-count {
      background: rgba(255, 255, 255, 0.25);
    }
    /* Active: no fill, dark border + text */
    .filter-btn--active {
      background: transparent;
      border-color: var(--text);
      color: var(--text);
    }
    .filter-btn--active:hover {
      background: transparent;
      border-color: var(--text);
      color: var(--text);
    }
    .filter-btn--active:active,
    .filter-btn:active {
      color: var(--text);
    }

    /* ─── Resolution card list ─── */
    .res-list {
      display: flex;
      flex-direction: column;
      gap: 10px;
    }

    /* ─── Resolution card ─── */
    .rcard {
      background: var(--surface);
      border: 1px solid var(--border);
      border-radius: var(--card-radius);
      padding: 18px 20px;
      cursor: pointer;
      transition: border-color var(--t-fast), background var(--t-fast);
    }
    .rcard:hover {
      border-color: var(--border-strong);
      background: var(--surface-hover);
    }
    .rcard--challenge { border-color: rgba(180, 83, 9, 0.25); }
    .rcard--voting    { border-color: rgba(109, 40, 217, 0.22); }

    /* ── Card top row: badge + id + badges-right ── */
    .rcard__top {
      display: flex;
      align-items: center;
      justify-content: space-between;
      gap: 10px;
      margin-bottom: 7px;
      flex-wrap: wrap;
    }
    .rcard__top-left {
      display: flex;
      align-items: center;
      gap: 7px;
      flex-wrap: wrap;
    }
    .rcard__id {
      font-size: 11px;
      font-weight: 500;
      color: var(--text-dim);
    }
    .rcard__top-right {
      display: flex;
      align-items: center;
      gap: 8px;
      flex-shrink: 0;
    }
    .rcard__pool {
      font-size: 12px;
      font-weight: 600;
      color: var(--text-muted);
    }

    /* ── Card title ── */
    .rcard__title {
      font-size: 14.5px;
      font-weight: 600;
      color: var(--text);
      line-height: 1.42;
      letter-spacing: -0.2px;
      margin-bottom: 16px;
    }

    /* ─── 3-Step Progress Stepper ───────────────────────────────────
       Layout: [step] [connector] [step] [connector] [step]
       Uses a 5-column grid so connectors naturally flex.

       Step states:
         --done         filled brand-green dot + green connector after it
         --active-amber current step (APPEAL/JURY) — amber dot
         --active-violet current step (VOTING) — violet dot
         --skipped      market resolved without challenge — dashed border dot
         (default)      pending — hollow gray dot
    ─────────────────────────────────────────────────────────────────── */
    .stepper {
      display: grid;
      grid-template-columns: auto 1fr auto 1fr auto;
      align-items: start;
      margin-bottom: 16px;
    }
    .stepper__step {
      display: flex;
      flex-direction: column;
      align-items: center;
      gap: 5px;
    }
    .stepper__dot {
      width: 10px;
      height: 10px;
      border-radius: 50%;
      border: 2px solid var(--border);
      background: var(--surface);
      flex-shrink: 0;
    }
    .stepper__dot--done {
      background: var(--brand);
      border-color: var(--brand);
    }
    .stepper__dot--active-amber {
      background: var(--status-challenge);
      border-color: var(--status-challenge);
    }
    .stepper__dot--active-violet {
      background: var(--status-voting);
      border-color: var(--status-voting);
    }
    .stepper__dot--skipped {
      background: var(--surface);
      border-color: var(--text-dim);
      border-style: dashed;
    }
    .stepper__label {
      font-size: 10px;
      font-weight: 700;
      letter-spacing: 0.05em;
      text-transform: uppercase;
      color: var(--text-dim);
      text-align: center;
      white-space: nowrap;
    }
    .stepper__label--done          { color: var(--brand); }
    .stepper__label--active-amber  { color: var(--status-challenge); }
    .stepper__label--active-violet { color: var(--status-voting); }
    .stepper__label--skipped       { color: var(--text-dim); }

    /* Connector: horizontal line between steps */
    .stepper__connector {
      height: 2px;
      margin-top: 4px; /* visually align with dot centers */
      background: var(--border);
      border-radius: 1px;
    }
    .stepper__connector--done {
      background: var(--brand);
    }
    /* ─── DAO vote dropdown ─── */
    .vote-wrap {
      position: relative;
    }
    .vote-dropdown {
      display: none;
      position: absolute;
      right: 0;
      top: calc(100% + 6px);
      min-width: 200px;
      background: var(--surface);
      border: 1px solid var(--border);
      border-radius: var(--card-radius);
      padding: 12px 14px;
      box-shadow: 0 4px 16px rgba(0, 0, 0, 0.08);
      z-index: 20;
    }
    .vote-dropdown.open { display: block; }
    .vote-dropdown__head {
      font-size: 10px;
      font-weight: 700;
      color: var(--text-dim);
      text-transform: uppercase;
      letter-spacing: 0.06em;
      margin-bottom: 10px;
    }
    .vote-row {
      display: flex;
      align-items: center;
      gap: 9px;
      padding: 5px 0;
      border-bottom: 1px solid var(--border);
    }
    .vote-row:last-child { border-bottom: none; }
    .vote-row__name {
      font-size: 12px;
      font-weight: 600;
      color: var(--text);
      min-width: 28px;
    }
    .vote-row__track {
      flex: 1;
      height: 4px;
      background: var(--border);
      border-radius: 2px;
      overflow: hidden;
    }
    .vote-row__fill {
      height: 100%;
      background: var(--brand);
      border-radius: 2px;
    }
    .vote-row__count {
      font-size: 11px;
      font-weight: 600;
      color: var(--text-muted);
      min-width: 36px;
      text-align: right;
    }
    .vote-actions {
      display: flex;
      flex-direction: column;
      gap: 8px;
      margin-top: 10px;
      padding-top: 10px;
      border-top: 1px solid var(--border);
    }
    .vote-actions__label {
      font-size: 10px;
      font-weight: 700;
      color: var(--text-dim);
      text-transform: uppercase;
      letter-spacing: 0.06em;
    }
    .vote-row {
      cursor: pointer;
      border-radius: 4px;
      transition: background var(--t-fast);
    }
    .vote-row:hover { background: var(--surface-active); }
    .vote-row--selected,
    .vote-row--selected:hover {
      background: var(--surface-active);
    }
    .vote-row--selected .vote-row__name {
      color: var(--brand);
      font-weight: 700;
    }
    .vote-row--selected .vote-row__fill {
      background: var(--brand);
    }
    .vote-amount-row {
      display: flex;
      align-items: center;
      gap: 6px;
    }

    /* ── Stake-specific styles ── */
    /* NFT token checkbox 标签 */
    .token-check-label {
      display: inline-flex;
      align-items: center;
      gap: 4px;
      padding: 3px 7px;
      border-radius: 6px;
      border: 1px solid var(--border);
      background: var(--surface);
      cursor: pointer;
      font-size: 11px;
      font-weight: 600;
      color: var(--text-muted);
      transition: border-color var(--t-fast), color var(--t-fast);
    }
    .token-check-label:hover { border-color: var(--brand); color: var(--text); }
    .token-check-label input { width: 13px; height: 13px; accent-color: var(--brand); cursor: pointer; }
    .token-check-id { user-select: none; }

    /* CommitHash 展示框 */
    .stake-hash-display {
      font-size: 10px;
      font-family: monospace;
      word-break: break-all;
      color: var(--brand);
      background: var(--surface-active);
      border-radius: 6px;
      padding: 6px 8px;
      margin-top: 4px;
      line-height: 1.6;
    }

    /* Reveal 已保存的承诺信息表格 */
    #reveal-saved-info-[id] table { width: 100%; }
    .vote-amount-input {
      flex: 1;
      padding: 6px 9px;
      font-size: 12px;
      font-weight: 600;
      border-radius: 6px;
      border: 1px solid var(--border);
      background: var(--surface);
      color: var(--text);
      outline: none;
      transition: border-color var(--t-fast);
    }
    .vote-amount-input:focus { border-color: var(--brand); }
    .vote-amount-input::placeholder { color: var(--text-dim); }
    .vote-submit-btn {
      padding: 6px 14px;
      font-size: 12px;
      font-weight: 700;
      border-radius: 6px;
      border: 1px solid var(--brand);
      background: var(--brand);
      color: #fff;
      cursor: pointer;
      transition: background var(--t-fast);
      white-space: nowrap;
    }
    .vote-submit-btn:hover { background: var(--accent-hover); border-color: var(--accent-hover); }
    .vote-submit-btn:disabled { opacity: 0.38; cursor: not-allowed; }
    .btn[disabled] {
      opacity: 0.38;
      cursor: not-allowed;
    }
    /* Hint text below action button (e.g. reason why disabled) */
    .btn-hint {
      font-size: 10.5px;
      color: var(--text-dim);
      text-align: center;
      margin-top: 4px;
    }

    /* Active (in-progress) connector — pulsing amber dashes toward next step */
    .stepper__connector--active {
      background: repeating-linear-gradient(
        90deg,
        var(--status-challenge) 0, var(--status-challenge) 5px,
        transparent 5px, transparent 11px
      );
    }

    /* ── Card bottom row: info items + action button ── */
    .rcard__bottom {
      display: flex;
      align-items: center;
      justify-content: space-between;
      gap: 12px;
      flex-wrap: wrap;
      padding-top: 13px;
      border-top: 1px solid var(--border);
    }
    .rcard__info {
      display: flex;
      align-items: center;
      gap: 18px;
      flex-wrap: wrap;
    }
    .rcard__info-item {
      display: flex;
      flex-direction: column;
      align-items: center;
      gap: 2px;
    }
    .rcard__info-label {
      font-size: 10px;
      font-weight: 700;
      color: var(--text-dim);
      text-transform: uppercase;
      letter-spacing: 0.05em;
    }
    .rcard__info-value {
      font-size: 12.5px;
      font-weight: 600;
      color: var(--text);
    }

    /* Outcome tag — plain colored text, no background */
    .outcome-tag {
      display: inline-flex;
      align-items: center;
      font-size: 12.5px;
      font-weight: 600;
      color: var(--brand);
    }
    .outcome-tag--overturned {
      color: var(--status-voting);
      text-decoration: line-through;
      opacity: 0.75;
    }
    .outcome-tag--final {
      color: var(--brand);
    }
    .outcome-tag--pending {
      color: var(--text-dim);
    }

    /* ─── Extra badge variants ─── */
    /* JURY phase: slate — neutral "ended, awaiting verdict" tone */
    .badge--jury {
      color: #64748b;
      background: rgba(100, 116, 139, 0.07);
      border-color: rgba(100, 116, 139, 0.25);
    }
    /* APPEAL phase: amber */
    .badge--appeal {
      color: var(--status-challenge);
      background: var(--status-challenge-bg);
      border-color: var(--status-challenge-border);
    }
    /* SETTLED: brand deep green */
    .badge--settled {
      color: var(--brand);
      background: rgba(37, 65, 49, 0.10);
      border-color: rgba(37, 65, 49, 0.30);
    }
    /* Incentivized: DAO reward available */
    .badge--incentivized {
      color: #92400e;
      background: rgba(180, 83, 9, 0.06);
      border-color: rgba(180, 83, 9, 0.18);
      font-size: 10px;
      font-weight: 700;
      letter-spacing: 0.04em;
    }
    .badge--incentivized::before { display: none; }

    /* ─── Responsive ─── */

    /* ── Tablet (≤ 1024px) ── */
    @media (max-width: 1024px) {
      .res-stat__num       { font-size: 20px; }
      .res-stat            { padding: 12px 16px; }
      .rcard__info         { gap: 14px; }
      .rcard__bottom       { gap: 10px; }
      /* Keep vote dropdown from clipping viewport edge */
      .vote-dropdown       { min-width: 180px; }
    }

    /* ── Small tablet / large mobile (≤ 768px) ── */
    @media (max-width: 768px) {
      .res-head__title     { font-size: 19px; }
      .res-stats           { flex-wrap: wrap; }
      .res-stat            { min-width: calc(50% - 1px); flex: unset; }
      .rcard__title        { font-size: 13.5px; margin-bottom: 12px; }
      .rcard__info         { gap: 10px; }
      .stepper__label      { font-size: 9px; }
      /* Vote dropdown: anchor left on narrow viewports so it doesn't clip */
      .vote-dropdown       { right: auto; left: 0; max-width: calc(100vw - 48px); }
    }

    /* ── Mobile (≤ 520px) ── */
    @media (max-width: 520px) {
      .rcard               { padding: 14px 14px; }
      .res-stats           { flex-direction: column; }
      .res-stat            { min-width: 0; border-right: none;
                             border-bottom: 1px solid var(--border); }
      .res-stat:last-child { border-bottom: none; }
      /* Stack bottom row; button becomes full-width */
      .rcard__bottom       { flex-direction: column; align-items: stretch; gap: 12px; }
      .rcard__bottom > div { width: 100%; }
      .rcard__bottom .btn  { width: 100%; justify-content: center; }
      /* Info items wrap into a 2-column grid for better use of space */
      .rcard__info         { display: grid; grid-template-columns: 1fr 1fr; gap: 10px 16px; }
      /* Stepper: shrink labels further, allow slight compression */
      .stepper__label      { font-size: 8.5px; letter-spacing: 0.02em; }
      .stepper             { margin-bottom: 12px; }
      /* Vote dropdown: full width relative to card */
      .vote-dropdown       { left: 0; right: 0; max-width: 100%; }
    }

    /* ── Very small (≤ 380px) ── */
    @media (max-width: 380px) {
      .rcard               { padding: 12px 12px; }
      .rcard__title        { font-size: 13px; }
      .res-stat__num       { font-size: 18px; }
      .res-stat            { padding: 10px 12px; }
      .rcard__info         { gap: 8px 12px; }
    }

    /* ══════════════════════════════════════════════════════
       分页控件
    ══════════════════════════════════════════════════════ */
    .res-pagination {
      display: flex;
      align-items: center;
      justify-content: center;
      gap: 12px;
      padding: 24px 0 8px;
    }
    .res-page-btn {
      padding: 6px 16px;
      border: 1px solid var(--border);
      border-radius: 8px;
      background: var(--surface);
      color: var(--text);
      font-size: 13px;
      font-weight: 500;
      cursor: pointer;
      transition: background 0.15s, border-color 0.15s;
    }
    .res-page-btn:hover:not(:disabled) {
      background: var(--accent-dim);
      border-color: var(--brand);
    }
    .res-page-btn:disabled {
      opacity: 0.35;
      cursor: default;
    }
    .res-page-info {
      font-size: 13px;
      color: var(--text-dim);
      min-width: 80px;
      text-align: center;
    }
