/* ── Design tokens (matching nipunbatra.github.io/common.css) ── */ :root { --ink: #1a1a2e; --muted: #5a6070; --paper: #ffffff; --accent: #c44536; --accent-hover: #a63c30; --line: rgba(26, 26, 46, 0.1); --shadow-sm: 0 2px 8px rgba(26, 26, 46, 0.06); --shadow-md: 0 8px 30px rgba(26, 26, 46, 0.12); --nav-bg: rgba(255, 255, 255, 0.95); --surface: #f8f9fa; --green: #4a9a6a; --green-bg: rgba(74, 154, 106, 0.08); --amber: #c08830; --amber-bg: rgba(192, 136, 48, 0.08); --violet: #7a5ab8; --violet-bg: rgba(122, 90, 184, 0.08); --teal: #2a8a8a; --teal-bg: rgba(42, 138, 138, 0.08); --red: #c44536; --mono: 'IBM Plex Mono', monospace; --serif: 'Playfair Display', Georgia, serif; --sans: 'Work Sans', system-ui, sans-serif; } [data-theme="dark"] { --ink: #e8e8e8; --muted: #a0a0a0; --paper: #1a1a2e; --accent: #e07a6b; --accent-hover: #f09080; --line: rgba(255, 255, 255, 0.1); --shadow-sm: 0 2px 8px rgba(0, 0, 0, 0.2); --shadow-md: 0 8px 30px rgba(0, 0, 0, 0.3); --nav-bg: rgba(26, 26, 46, 0.95); --surface: #232340; --green: #58d098; --amber: #e8a850; --violet: #a080f0; --teal: #50c8d8; --red: #e07a6b; } * { box-sizing: border-box; margin: 0; padding: 0; } html { scroll-behavior: smooth; } body { font-family: var(--sans); background: var(--paper); color: var(--ink); line-height: 1.7; font-size: 14px; min-height: 100vh; } /* ── Nav ── */ nav { position: sticky; top: 0; z-index: 100; background: var(--nav-bg); backdrop-filter: blur(10px); -webkit-backdrop-filter: blur(10px); border-bottom: 1px solid var(--line); } .nav-inner { max-width: 960px; margin: 0 auto; padding: 12px 24px; display: flex; justify-content: space-between; align-items: center; } .logo { font-family: var(--serif); font-size: 1.3rem; font-weight: 600; color: var(--ink); } .logo small { font-family: var(--mono); font-size: 0.6rem; font-weight: 400; color: var(--accent); margin-left: 8px; letter-spacing: 0.5px; } .nav-right { display: flex; align-items: center; gap: 8px; } .tab-btn { font-family: var(--sans); font-size: 0.85rem; background: none; border: none; padding: 6px 14px; color: var(--muted); cursor: pointer; border-radius: 6px; transition: all 0.2s; } .tab-btn:hover { color: var(--ink); background: var(--surface); } .tab-btn.active { color: var(--accent); background: rgba(196, 69, 54, 0.08); font-weight: 500; } [data-theme="dark"] .tab-btn.active { background: rgba(224, 122, 107, 0.12); } .theme-toggle { background: none; border: 1px solid var(--line); border-radius: 50%; width: 34px; height: 34px; cursor: pointer; display: flex; align-items: center; justify-content: center; color: var(--muted); transition: all 0.2s; margin-left: 8px; } .theme-toggle:hover { border-color: var(--accent); color: var(--accent); } .theme-toggle .sun { display: none; } .theme-toggle .moon { display: block; } [data-theme="dark"] .theme-toggle .sun { display: block; } [data-theme="dark"] .theme-toggle .moon { display: none; } /* ── Main container ── */ .container { max-width: 960px; margin: 0 auto; padding: 24px; } .tab-panel { display: none; } .tab-panel.active { display: block; } /* ── Pipeline tab: controls ── */ .controls { display: flex; flex-wrap: wrap; gap: 10px; align-items: flex-end; margin-bottom: 16px; } .control-group { display: flex; flex-direction: column; gap: 4px; } .control-group label { font-family: var(--mono); font-size: 0.7rem; color: var(--muted); letter-spacing: 0.5px; text-transform: uppercase; } .control-group select, .control-group textarea { font-family: var(--sans); font-size: 0.85rem; background: var(--surface); color: var(--ink); border: 1px solid var(--line); border-radius: 6px; padding: 8px 12px; outline: none; transition: border-color 0.2s; } .control-group select:focus, .control-group textarea:focus { border-color: var(--accent); } .control-group select { min-width: 140px; cursor: pointer; } .query-area { flex: 1; min-width: 280px; } .query-area textarea { width: 100%; min-height: 60px; resize: vertical; } .run-btn { font-family: var(--sans); font-size: 0.85rem; font-weight: 500; background: var(--accent); color: #fff; border: none; border-radius: 6px; padding: 10px 22px; cursor: pointer; transition: background 0.2s; white-space: nowrap; align-self: flex-end; } .run-btn:hover { background: var(--accent-hover); } .run-btn:disabled { opacity: 0.5; cursor: not-allowed; } /* ── Weight pills ── */ .weight-pills { display: flex; flex-wrap: wrap; gap: 8px; margin-bottom: 20px; } .weight-pill { font-family: var(--mono); font-size: 0.72rem; padding: 4px 12px; border-radius: 20px; border: 1px solid var(--line); background: var(--surface); color: var(--muted); } .weight-pill .dim { font-weight: 500; } .weight-pill.p { background: var(--green-bg); border-color: var(--green); } .weight-pill.p .dim { color: var(--green); } .weight-pill.l { background: var(--violet-bg); border-color: var(--violet); } .weight-pill.l .dim { color: var(--violet); } .weight-pill.e { background: var(--teal-bg); border-color: var(--teal); } .weight-pill.e .dim { color: var(--teal); } .weight-pill.s { background: var(--amber-bg); border-color: var(--amber); } .weight-pill.s .dim { color: var(--amber); } /* ── Pipeline output ── */ .pipeline-output { min-height: 200px; } .empty-state { text-align: center; padding: 60px 20px; color: var(--muted); } .empty-state h3 { font-family: var(--serif); font-size: 1.2rem; font-weight: 400; color: var(--ink); margin-bottom: 8px; } /* ── Layer cards ── */ .pipeline-layer { border: 1px solid var(--line); border-radius: 8px; margin-bottom: 10px; overflow: hidden; background: var(--paper); box-shadow: var(--shadow-sm); } .layer-header { display: flex; justify-content: space-between; align-items: center; padding: 10px 14px; cursor: pointer; transition: background 0.15s; } .layer-header:hover { background: var(--surface); } .layer-title { display: flex; align-items: center; gap: 10px; } .layer-num { font-family: var(--mono); font-size: 0.7rem; font-weight: 500; color: var(--accent); background: rgba(196, 69, 54, 0.08); padding: 2px 8px; border-radius: 4px; } [data-theme="dark"] .layer-num { background: rgba(224, 122, 107, 0.12); } .layer-name { font-family: var(--sans); font-size: 0.85rem; font-weight: 500; color: var(--ink); } .layer-status { font-family: var(--mono); font-size: 0.65rem; padding: 2px 10px; border-radius: 10px; letter-spacing: 0.5px; } .status-running { background: rgba(176, 112, 32, 0.1); color: var(--amber); } .status-pass { background: rgba(42, 122, 74, 0.1); color: var(--green); } .status-done { background: rgba(42, 122, 74, 0.1); color: var(--green); } .status-fail { background: rgba(196, 69, 54, 0.1); color: var(--red); } .layer-chevron { font-size: 0.6rem; color: var(--muted); transition: transform 0.2s; margin-left: 8px; display: inline-block; } .layer-header.expanded .layer-chevron { transform: rotate(90deg); } .layer-body { padding: 0 14px 12px; } /* ── Candidates ── */ .candidates { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 6px; } .candidate-chip { font-family: var(--mono); font-size: 0.68rem; padding: 4px 10px; border-radius: 4px; background: var(--surface); border: 1px solid var(--line); color: var(--ink); max-width: 100%; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; } /* ── Evidence ── */ .evidence-list { margin-top: 6px; } .evidence-item { display: flex; gap: 8px; align-items: flex-start; padding: 6px 0; border-bottom: 1px solid var(--line); font-size: 0.8rem; } .evidence-item:last-child { border-bottom: none; } .evidence-score { font-family: var(--mono); font-size: 0.7rem; color: var(--teal); flex-shrink: 0; } .evidence-text { color: var(--ink); } .evidence-source { font-family: var(--mono); font-size: 0.68rem; color: var(--muted); word-break: break-all; overflow: hidden; text-overflow: ellipsis; max-width: 100%; } /* Prevent any URL from breaking layout */ .pipeline-output a, .committed-card a, .baseline-card a { word-break: break-all; overflow-wrap: anywhere; } .pipeline-output { overflow-x: hidden; } /* ── Score display ── */ .score-card { border: 1px solid var(--line); border-radius: 8px; padding: 16px; margin-top: 12px; background: var(--paper); box-shadow: var(--shadow-sm); } .score-header { display: flex; justify-content: space-between; align-items: center; margin-bottom: 12px; } .score-total { font-family: var(--mono); font-size: 1.6rem; font-weight: 500; } .score-meta { font-family: var(--mono); font-size: 0.7rem; color: var(--muted); } .score-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 8px; } .score-item { display: flex; flex-direction: column; gap: 4px; } .score-label { display: flex; justify-content: space-between; font-family: var(--mono); font-size: 0.72rem; } .score-bar { height: 6px; background: var(--surface); border-radius: 3px; overflow: hidden; } .score-fill { height: 100%; border-radius: 3px; transition: width 0.4s ease; } .score-fill.p { background: var(--accent); } .score-fill.l { background: var(--violet); } .score-fill.e { background: var(--teal); } .score-fill.s { background: var(--amber); } /* ── Answer text ── */ .answer-text { font-size: 0.82rem; color: var(--muted); margin-top: 10px; line-height: 1.6; font-family: var(--mono); } /* ── Log line (SSE log events) ── */ .log-line { font-family: var(--mono); font-size: 0.7rem; padding: 3px 10px; border-left: 2px solid var(--line); margin-bottom: 2px; background: var(--surface); border-radius: 0 4px 4px 0; } .log-line .ts { color: var(--muted); font-size: 0.6rem; margin-right: 6px; } .log-HEAD { border-left-color: var(--accent); color: var(--accent); } .log-SUCCESS { border-left-color: var(--green); color: var(--green); } .log-WARN { border-left-color: var(--amber); color: var(--amber); } .log-ERROR { border-left-color: var(--red); color: var(--red); } .log-SCORE { border-left-color: var(--accent); color: var(--accent); } .log-API { border-left-color: var(--violet); color: var(--violet); } .log-INFO { border-left-color: var(--muted); color: var(--muted); } /* ── Cost bar ── */ .cost-bar { font-family: var(--mono); font-size: 0.68rem; color: var(--muted); padding: 10px 12px; background: var(--surface); border: 1px solid var(--line); border-radius: 6px; margin-top: 10px; } /* ── Error note ── */ .error-note { padding: 12px 14px; border: 1px solid rgba(196, 69, 54, 0.3); border-radius: 6px; background: rgba(196, 69, 54, 0.04); margin-top: 8px; font-size: 0.82rem; color: var(--red); } [data-theme="dark"] .error-note { background: rgba(224, 122, 107, 0.08); } /* ── KG Rules tab ── */ .kg-heading { font-family: var(--serif); font-size: 1.2rem; font-weight: 500; margin-bottom: 16px; color: var(--ink); } .kg-domain-select { margin-bottom: 20px; display: flex; gap: 8px; flex-wrap: wrap; } .kg-domain-btn { font-family: var(--sans); font-size: 0.8rem; padding: 6px 16px; border: 1px solid var(--line); border-radius: 20px; background: var(--paper); color: var(--muted); cursor: pointer; transition: all 0.2s; } .kg-domain-btn:hover { border-color: var(--accent); color: var(--accent); } .kg-domain-btn.active { background: var(--accent); color: #fff; border-color: var(--accent); } [data-theme="dark"] .kg-domain-btn.active { background: var(--accent); color: #1a1a2e; } .kg-card { border: 1px solid var(--line); border-radius: 8px; padding: 14px 16px; margin-bottom: 10px; background: var(--paper); box-shadow: var(--shadow-sm); } .kg-card-header { display: flex; align-items: center; gap: 10px; margin-bottom: 8px; } .kg-id { font-family: var(--mono); font-size: 0.68rem; color: var(--muted); } .kg-rel { font-family: var(--mono); font-size: 0.75rem; font-weight: 500; color: var(--ink); } .kg-rule-row { font-family: var(--mono); font-size: 0.72rem; line-height: 1.6; padding: 4px 0; } .kg-rule-row .label { color: var(--accent); font-weight: 500; } .kg-rule-row .value { color: var(--muted); } .kg-desc { font-size: 0.82rem; color: var(--muted); margin-top: 8px; line-height: 1.6; } /* ── Audit tab ── */ .audit-heading { font-family: var(--serif); font-size: 1.2rem; font-weight: 500; margin-bottom: 16px; } .prov-card { border: 1px solid var(--line); border-radius: 8px; padding: 14px 16px; margin-bottom: 10px; background: var(--paper); box-shadow: var(--shadow-sm); } .prov-card.invalid { opacity: 0.5; border-color: var(--red); } .prov-id { font-family: var(--mono); font-size: 0.68rem; color: var(--muted); margin-bottom: 6px; } .prov-query { font-size: 0.85rem; color: var(--ink); margin-bottom: 8px; } .prov-scores { display: flex; flex-wrap: wrap; gap: 6px; margin-bottom: 8px; } .prov-pill { font-family: var(--mono); font-size: 0.68rem; padding: 2px 10px; border-radius: 10px; border: 1px solid var(--line); } .prov-pill.p { color: var(--accent); } .prov-pill.l { color: var(--violet); } .prov-pill.e { color: var(--teal); } .prov-pill.s { color: var(--amber); } .prov-pill.total { color: var(--ink); font-weight: 500; } .prov-meta { font-family: var(--mono); font-size: 0.68rem; color: var(--muted); margin-top: 6px; } /* ── Debug tab ── */ .dbg-toolbar { display: flex; flex-wrap: wrap; gap: 6px; align-items: center; margin-bottom: 12px; } .dbg-btn { font-family: var(--mono); font-size: 0.68rem; padding: 4px 10px; border: 1px solid var(--line); border-radius: 4px; background: var(--paper); color: var(--muted); cursor: pointer; transition: all 0.15s; } .dbg-btn:hover { border-color: var(--accent); color: var(--accent); } .dbg-btn.active { background: var(--accent); color: #fff; border-color: var(--accent); } .dbg-search { font-family: var(--mono); font-size: 0.72rem; padding: 4px 10px; border: 1px solid var(--line); border-radius: 4px; background: var(--surface); color: var(--ink); outline: none; min-width: 160px; } .dbg-search:focus { border-color: var(--accent); } .dbg-count { font-family: var(--mono); font-size: 0.65rem; color: var(--muted); margin-left: auto; } .dbg-table-header { display: grid; grid-template-columns: 90px 60px 60px 1fr 70px; font-family: var(--mono); font-size: 0.6rem; color: var(--muted); padding: 6px 10px; border-bottom: 1px solid var(--line); text-transform: uppercase; letter-spacing: 0.5px; } .dbg-entry { display: grid; grid-template-columns: 90px 60px 60px 1fr 70px; font-family: var(--mono); font-size: 0.7rem; padding: 5px 10px; border-bottom: 1px solid var(--line); cursor: pointer; transition: background 0.1s; } .dbg-entry:hover { background: var(--surface); } .dbg-col { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; } .dbg-time { color: var(--muted); font-size: 0.65rem; } .dbg-layer { color: var(--violet); } .dbg-msg { color: var(--ink); } .dbg-elapsed { color: var(--muted); text-align: right; font-size: 0.65rem; } .dbg-level { font-size: 0.6rem; font-weight: 500; padding: 1px 6px; border-radius: 3px; } .dbg-level.INFO { color: var(--muted); } .dbg-level.CALL { color: var(--violet); } .dbg-level.RESP { color: var(--teal); } .dbg-level.SCORE { color: var(--accent); } .dbg-level.ITER { color: var(--amber); } .dbg-level.ERROR { color: var(--red); } .dbg-level.COMMIT { color: var(--green); } .dbg-detail { display: none; grid-column: 1 / -1; font-size: 0.68rem; color: var(--muted); padding: 8px 10px; background: var(--surface); border-radius: 4px; margin-top: 4px; white-space: pre-wrap; word-break: break-all; } .dbg-entry.expanded .dbg-detail { display: block; } .dbg-list { max-height: 60vh; overflow-y: auto; } /* ── Committed output card ── */ .committed-card { background: var(--paper); border: 2px solid var(--accent); border-radius: 10px; padding: 20px 24px; margin-top: 16px; box-shadow: var(--shadow-sm); } .converged-badge { display: inline-block; padding: 4px 12px; border-radius: 99px; background: rgba(42, 122, 74, 0.1); color: var(--green); font-family: var(--mono); font-size: 0.75rem; font-weight: 600; } .not-converged-badge { display: inline-block; padding: 4px 12px; border-radius: 99px; background: rgba(176, 112, 32, 0.1); color: var(--amber); font-family: var(--mono); font-size: 0.75rem; font-weight: 600; } .report-btn { display: inline-block; padding: 5px 14px; border-radius: 99px; border: 1px solid var(--accent); color: var(--accent); font-family: var(--mono); font-size: 0.75rem; font-weight: 600; text-decoration: none; transition: all 0.2s; } .report-btn:hover { background: var(--accent); color: white; } .baseline-card { background: var(--surface); border: 1px solid var(--line); border-radius: 10px; padding: 16px 20px; margin-top: 10px; } /* ── Review card (L6 S-genuine) ── */ .review-card { background: var(--paper); border: 2px solid var(--amber); border-radius: 10px; padding: 20px 24px; margin-top: 12px; } .review-approve, .review-flag, .review-reject { padding: 8px 18px; border-radius: 6px; font-family: var(--mono); font-size: 0.8rem; font-weight: 600; cursor: pointer; border: none; transition: all 0.2s; } .review-approve { background: rgba(42,122,74,0.1); color: var(--green); border: 1px solid var(--green); } .review-approve:hover { background: var(--green); color: white; } .review-flag { background: rgba(176,112,32,0.1); color: var(--amber); border: 1px solid var(--amber); } .review-flag:hover { background: var(--amber); color: white; } .review-reject { background: rgba(196,69,54,0.1); color: var(--accent); border: 1px solid var(--accent); } .review-reject:hover { background: var(--accent); color: white; } /* ── Markdown prose styling in output cards ── */ .committed-card p, .baseline-card p { margin-bottom: 0.5rem; } /* References in committed output — each on its own line */ .committed-card h3 { margin-top: 1rem; padding-top: 0.8rem; border-top: 1px solid var(--line); } .committed-card p em { font-style: italic; } .committed-card ul, .baseline-card ul { padding-left: 1.5rem; margin-bottom: 0.5rem; } .committed-card ol, .baseline-card ol { padding-left: 1.5rem; margin-bottom: 0.5rem; } .committed-card li, .baseline-card li { margin-bottom: 0.3rem; } .committed-card strong, .baseline-card strong { color: var(--ink); } .committed-card h1, .committed-card h2, .committed-card h3, .baseline-card h1, .baseline-card h2, .baseline-card h3 { font-family: var(--sans); font-size: 0.95rem; font-weight: 600; margin: 0.8rem 0 0.4rem; color: var(--ink); } /* ── Changelog ── */ #changelogContent h1 { font-family: var(--serif); font-size: 1.3rem; font-weight: 600; margin-bottom: 16px; } #changelogContent h2 { font-family: var(--serif); font-size: 1.05rem; font-weight: 500; color: var(--accent); margin: 20px 0 8px; padding-top: 12px; border-top: 1px solid var(--line); } #changelogContent h2:first-of-type { border-top: none; padding-top: 0; } #changelogContent ul { padding-left: 20px; margin-bottom: 8px; } #changelogContent li { margin-bottom: 4px; color: var(--ink); } #changelogContent strong { color: var(--ink); } #changelogContent code { font-family: var(--mono); font-size: 0.82rem; background: var(--surface); padding: 1px 5px; border-radius: 3px; } /* ── Footer ── */ footer { text-align: center; padding: 32px 24px; color: var(--muted); font-size: 0.78rem; border-top: 1px solid var(--line); margin-top: 40px; } /* ── Responsive ── */ @media (max-width: 640px) { .nav-inner { padding: 10px 16px; flex-wrap: wrap; gap: 8px; } .controls { flex-direction: column; } .score-grid { grid-template-columns: 1fr; } .dbg-table-header, .dbg-entry { font-size: 0.6rem; grid-template-columns: 70px 50px 50px 1fr 50px; } /* Judge comparison: stack on mobile */ #judge-answers { grid-template-columns: 1fr !important; } }