/* Editorial register — restrained palette, generous whitespace, serif headings,
   sans-serif body. Tailwind handles most layout via the CDN script in
   index.html; this file owns the registers Tailwind can't easily express
   (reading column, cadence, custom components). */

:root {
    --ink-900: #1c1917;
    --ink-700: #44403c;
    --ink-600: #57534e;
    --ink-500: #78716c;
    --ink-300: #d6d3d1;
    --ink-200: #e7e5e4;
    --ink-100: #f5f5f4;
    --ink-50: #fafaf9;
    --accent: #1e3a8a;
    --pass: #15803d;
    --warning: #b45309;
    --fail: #be123c;
    --critical: #881337;
    --serif: ui-serif, Georgia, "Iowan Old Style", "Apple Garamond", serif;
}

html, body { height: 100%; }
body { font-feature-settings: "ss01", "kern"; }

a { color: inherit; text-decoration: none; }
.nav-link { transition: color 120ms ease; }
.nav-link:hover, .nav-link.active { color: var(--ink-900); }
.nav-link.active { font-weight: 500; }

/* Reading-width prose used in Layer 1 anchor sections. */
.reading {
    max-width: 38rem;
    line-height: 1.7;
    color: var(--ink-700);
    font-size: 1.0625rem;
}
.reading p { margin-top: 1rem; }
.reading strong { color: var(--ink-900); font-weight: 600; }
.reading em { color: var(--ink-700); }

/* Manual-process timeline tick (the time stamps on the landing screen). */
.manual-tick {
    flex: none;
    width: 4.25rem;
    font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
    font-size: 0.8125rem;
    color: var(--ink-500);
    padding-top: 0.125rem;
    border-right: 1px solid var(--ink-200);
    padding-right: 1rem;
    text-align: right;
}

/* Calls to action. */
.cta-primary {
    display: inline-flex;
    align-items: center;
    gap: 0.5rem;
    background-color: var(--ink-900);
    color: var(--ink-50);
    font-weight: 500;
    padding: 0.75rem 1.5rem;
    border-radius: 9999px;
    transition: background-color 120ms ease;
}
.cta-primary:hover { background-color: var(--ink-700); }

.cta-secondary {
    display: inline-flex;
    align-items: center;
    gap: 0.5rem;
    border: 1px solid var(--ink-300);
    color: var(--ink-900);
    font-weight: 500;
    padding: 0.625rem 1.25rem;
    border-radius: 9999px;
    background-color: white;
    transition: border-color 120ms ease, background-color 120ms ease;
}
.cta-secondary:hover { border-color: var(--ink-900); background-color: var(--ink-50); }

/* Single-page screen visibility. */
.screen { display: none; }
.screen.active { display: block; }

/* Sample card on the selection screen. */
.sample-card {
    display: block;
    padding: 1.75rem;
    border: 1px solid var(--ink-200);
    background-color: white;
    border-radius: 0.5rem;
    transition: border-color 120ms ease, transform 120ms ease;
}
.sample-card:hover { border-color: var(--ink-900); transform: translateY(-1px); }
.sample-card .label { font-family: var(--serif); font-size: 1.25rem; color: var(--ink-900); }
.sample-card .description { color: var(--ink-700); margin-top: 0.5rem; line-height: 1.6; }
.sample-card .estimate {
    margin-top: 0.875rem; font-size: 0.875rem; color: var(--ink-600);
    font-style: italic;
}

/* Pipeline screen — stage cards. */
.stage-card {
    display: grid;
    grid-template-columns: 2.75rem 1fr auto;
    gap: 1rem;
    padding: 1.25rem 1.5rem;
    background-color: white;
    border: 1px solid var(--ink-200);
    border-radius: 0.5rem;
    transition: border-color 200ms ease, opacity 200ms ease;
    align-items: start;
}
.stage-card[data-status="pending"] { opacity: 0.55; }
.stage-card[data-status="running"] { border-color: var(--accent); }
.stage-card[data-status="pass"] { border-color: var(--pass); }
.stage-card[data-status="warning"] { border-color: var(--warning); }
.stage-card[data-status="fail"] { border-color: var(--fail); }

.stage-index {
    font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
    color: var(--ink-500); font-size: 0.875rem;
    border: 1px solid var(--ink-200); border-radius: 9999px;
    width: 2.25rem; height: 2.25rem;
    display: flex; align-items: center; justify-content: center;
}
.stage-card[data-status="running"] .stage-index { border-color: var(--accent); color: var(--accent); }
.stage-card[data-status="pass"] .stage-index { border-color: var(--pass); color: var(--pass); }
.stage-card[data-status="warning"] .stage-index { border-color: var(--warning); color: var(--warning); }
.stage-card[data-status="fail"] .stage-index { border-color: var(--fail); color: var(--fail); }

.stage-name { font-family: var(--serif); font-size: 1.1rem; color: var(--ink-900); }
.stage-description { color: var(--ink-700); font-size: 0.9375rem; margin-top: 0.25rem; line-height: 1.55; }
.stage-catches { color: var(--ink-500); font-size: 0.8125rem; margin-top: 0.375rem; font-style: italic; }
.stage-summary { color: var(--ink-700); font-size: 0.875rem; margin-top: 0.625rem; }

.stage-status-pill {
    font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
    font-size: 0.75rem; letter-spacing: 0.04em; text-transform: uppercase;
    color: var(--ink-500);
}
.stage-card[data-status="running"] .stage-status-pill { color: var(--accent); }
.stage-card[data-status="pass"] .stage-status-pill { color: var(--pass); }
.stage-card[data-status="warning"] .stage-status-pill { color: var(--warning); }
.stage-card[data-status="fail"] .stage-status-pill { color: var(--fail); }

.stage-actions {
    margin-top: 0.625rem;
    display: flex; gap: 0.625rem;
    grid-column: 2 / 3;
}
.stage-inspect-btn {
    color: var(--accent); font-size: 0.875rem; cursor: pointer;
    background: none; border: none; padding: 0; text-decoration: underline;
}

/* Inter-stage banner. */
.stage-divider {
    margin: 1.5rem 0;
    border-top: 1px solid var(--ink-200);
    padding-top: 1.5rem;
}
.stage-banner {
    background: var(--ink-100);
    border-left: 3px solid var(--ink-900);
    padding: 1.25rem 1.5rem;
    color: var(--ink-700);
    font-size: 0.9375rem;
    line-height: 1.6;
}
.stage-banner strong { color: var(--ink-900); }

/* Inspect panel inner content. */
.inspect-layer {
    border-top: 1px solid var(--ink-200);
    padding-top: 1.5rem;
    margin-top: 1.5rem;
}
.inspect-layer:first-child { border-top: 0; padding-top: 0; margin-top: 0; }
.inspect-layer h4 {
    font-family: var(--serif); font-size: 1.05rem; color: var(--ink-900);
    margin-bottom: 0.625rem;
}
.inspect-layer p { color: var(--ink-700); line-height: 1.65; font-size: 0.9375rem; }
.inspect-layer p + p { margin-top: 0.75rem; }

.inspect-block {
    background: var(--ink-100);
    border-radius: 0.375rem;
    padding: 1rem 1.125rem;
    margin-top: 0.75rem;
    font-size: 0.875rem;
    color: var(--ink-700);
    line-height: 1.55;
}
.inspect-block .label {
    font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
    font-size: 0.75rem; letter-spacing: 0.04em; text-transform: uppercase;
    color: var(--ink-500); margin-bottom: 0.375rem; display: block;
}

.retrieval-hit {
    border-left: 2px solid var(--ink-300);
    padding: 0.75rem 1rem;
    margin-top: 0.625rem;
    background: white;
    border-radius: 0 0.25rem 0.25rem 0;
}
.retrieval-hit.top { border-left-color: var(--accent); }
.retrieval-hit .meta {
    display: flex; justify-content: space-between; align-items: center;
    font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
    font-size: 0.75rem; color: var(--ink-500);
    margin-bottom: 0.375rem;
}
.retrieval-hit .text { color: var(--ink-800); font-size: 0.875rem; line-height: 1.55; }

.verdict-card {
    border: 1px solid var(--ink-300);
    border-radius: 0.375rem;
    padding: 1rem 1.125rem;
    margin-top: 0.75rem;
    background: white;
}
.verdict-card[data-verdict="non-conforming"] { border-color: var(--fail); }
.verdict-card[data-verdict="conforming"] { border-color: var(--pass); }
.verdict-card .header {
    display: flex; justify-content: space-between; align-items: center;
    margin-bottom: 0.5rem;
}
.verdict-card .verdict-pill {
    font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
    font-size: 0.75rem; letter-spacing: 0.04em; text-transform: uppercase;
    color: var(--ink-500);
}
.verdict-card[data-verdict="non-conforming"] .verdict-pill { color: var(--fail); }
.verdict-card[data-verdict="conforming"] .verdict-pill { color: var(--pass); }
.verdict-card .reasoning {
    margin-top: 0.625rem; color: var(--ink-700); font-size: 0.875rem; line-height: 1.6;
}

/* Compliance report screen — finding cards. */
.finding-card {
    border-left: 3px solid var(--ink-300);
    padding: 1rem 1.25rem;
    background: white;
    margin-top: 0.875rem;
    border-radius: 0 0.375rem 0.375rem 0;
}
.finding-card[data-severity="critical"] { border-left-color: var(--critical); }
.finding-card[data-severity="high"] { border-left-color: var(--fail); }
.finding-card[data-severity="medium"] { border-left-color: var(--warning); }
.finding-card[data-severity="low"] { border-left-color: var(--ink-500); }
.finding-card .header { display: flex; justify-content: space-between; gap: 1rem; }
.finding-card .severity-pill {
    font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
    font-size: 0.75rem; letter-spacing: 0.04em; text-transform: uppercase;
    color: var(--ink-500);
}
.finding-card[data-severity="critical"] .severity-pill { color: var(--critical); }
.finding-card[data-severity="high"] .severity-pill { color: var(--fail); }
.finding-card[data-severity="medium"] .severity-pill { color: var(--warning); }
.finding-card .title { font-weight: 500; color: var(--ink-900); }
.finding-card .description { color: var(--ink-700); margin-top: 0.5rem; line-height: 1.6; font-size: 0.9375rem; }
.finding-card .citations {
    margin-top: 0.5rem; font-size: 0.8125rem; color: var(--ink-500);
    font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
}

/* Coverage table. */
.coverage-row {
    display: grid;
    grid-template-columns: auto auto 1fr;
    gap: 1rem;
    padding: 0.625rem 0;
    border-top: 1px solid var(--ink-200);
    font-size: 0.875rem;
}
.coverage-row:first-child { border-top: 0; }
.coverage-row .stage { color: var(--ink-900); font-weight: 500; min-width: 7rem; }
.coverage-row .duration { color: var(--ink-500); font-family: ui-monospace, SFMono-Regular, Menlo, monospace; }
.coverage-row .summary { color: var(--ink-700); }

/* Monitoring summary cards. */
.monitor-card {
    border: 1px solid var(--ink-200);
    background: white;
    padding: 1.25rem 1.5rem;
    border-radius: 0.5rem;
}
.monitor-card .label {
    font-size: 0.75rem; letter-spacing: 0.04em; text-transform: uppercase;
    color: var(--ink-500);
}
.monitor-card .value {
    font-family: var(--serif); font-size: 1.875rem; color: var(--ink-900); margin-top: 0.5rem;
}
.monitor-card .meta { font-size: 0.875rem; color: var(--ink-600); margin-top: 0.25rem; }

.edge-table { width: 100%; font-size: 0.875rem; }
.edge-table th {
    text-align: left; font-weight: 500; color: var(--ink-500);
    text-transform: uppercase; letter-spacing: 0.04em; font-size: 0.7rem;
    padding: 0.625rem 0.75rem; border-bottom: 1px solid var(--ink-200);
}
.edge-table td {
    padding: 0.75rem 0.75rem; border-bottom: 1px solid var(--ink-100);
    color: var(--ink-700); vertical-align: top;
}
.edge-table .id { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; color: var(--ink-500); }
.edge-table .stage-pill {
    display: inline-block; padding: 0.125rem 0.5rem; border-radius: 9999px;
    background: var(--ink-100); color: var(--ink-700); font-size: 0.75rem;
}

.recent-row {
    display: grid;
    grid-template-columns: auto 1fr auto;
    gap: 0.875rem;
    padding: 0.625rem 0;
    border-top: 1px solid var(--ink-100);
    font-size: 0.875rem;
}
.recent-row:first-child { border-top: 0; }
.recent-row .status {
    font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
    font-size: 0.7rem; letter-spacing: 0.04em; text-transform: uppercase;
    align-self: center; min-width: 4.5rem;
}
.recent-row[data-status="pass"] .status { color: var(--pass); }
.recent-row[data-status="warning"] .status { color: var(--warning); }
.recent-row[data-status="fail"] .status { color: var(--fail); }
.recent-row .title-col { color: var(--ink-700); }
.recent-row .meta { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; color: var(--ink-500); font-size: 0.75rem; }

/* Markdown rendered for in-panel contract viewing. */
.markdown { font-size: 0.875rem; color: var(--ink-700); line-height: 1.6; }
.markdown h1, .markdown h2, .markdown h3 { font-family: var(--serif); color: var(--ink-900); }
.markdown h1 { font-size: 1.25rem; margin: 1.25rem 0 0.625rem; }
.markdown h2 { font-size: 1.0625rem; margin: 1rem 0 0.5rem; }
.markdown h3 { font-size: 0.9375rem; margin: 0.875rem 0 0.5rem; }
.markdown p { margin: 0.5rem 0; }
.markdown table { border-collapse: collapse; margin: 0.625rem 0; }
.markdown th, .markdown td { border: 1px solid var(--ink-200); padding: 0.375rem 0.625rem; }
.markdown ol, .markdown ul { padding-left: 1.5rem; }

/* Highlight retrieved clauses inside the contract markdown view. */
.markdown .highlight {
    background: #fef3c7;
    padding: 0.125rem 0.25rem;
    border-radius: 0.125rem;
}

/* Stage progress dots used in the persistent header. */
.stage-pulse {
    display: inline-block; width: 0.5rem; height: 0.5rem; border-radius: 9999px;
    background: var(--accent); margin-left: 0.375rem;
    animation: stagePulse 1.2s ease-in-out infinite;
}
@keyframes stagePulse {
    0%, 100% { opacity: 0.4; }
    50% { opacity: 1; }
}