/* Zero-knowledge 3-coloring — page specific styles */

.zk-lede {
    max-width: 720px;
    margin: 0 auto 28px auto;
    text-align: center;
    color: var(--text-muted);
}

.zk-app {
    --red: #ef5b5b;
    --green: #3fb97c;
    --blue: #4d8dff;
    --gray: #2c2c32;

    margin: 0 0 12px 0;
    padding: 18px 20px 20px 20px;
    border-radius: 12px;
    background: var(--surface);
    border: 1px solid var(--border);
}

.c-red { fill: var(--red); }
.c-green { fill: var(--green); }
.c-blue { fill: var(--blue); }
.c-none { fill: var(--gray); }
.t-red { color: var(--red); }
.t-green { color: var(--green); }
.t-blue { color: var(--blue); }

.zk-mono {
    font-family: 'Roboto Mono', ui-monospace, monospace;
    font-size: 13px;
}

/* ---------- stepper ---------- */

.zk-stepper {
    list-style: none;
    display: flex;
    margin: 0 0 16px 0;
    padding: 0 0 16px 0;
    border-bottom: 1px solid var(--border);
    counter-reset: none;
}

.zk-stepper li {
    flex: 1;
    margin: 0;
    position: relative;
}

/* connector line between dots */
.zk-stepper li:not(:first-child)::before {
    content: "";
    position: absolute;
    top: 14px;
    right: calc(50% + 20px);
    width: calc(100% - 40px);
    height: 2px;
    background: var(--border);
}

.zk-stepper li.done::before,
.zk-stepper li.current::before { background: var(--accent-line); }

.zk-stepper button,
.zk-stepper span:not(.zk-step-dot):not(.zk-step-name) {
    display: flex;
    flex-direction: column;
    align-items: center;
    gap: 5px;
    width: 100%;
    background: none;
    border: none;
    padding: 0;
    font: inherit;
    color: var(--text-faint);
}

.zk-stepper button { cursor: pointer; color: var(--text-muted); }
.zk-stepper button:hover .zk-step-dot { border-color: var(--accent); color: var(--accent); }

.zk-step-dot {
    width: 30px;
    height: 30px;
    border-radius: 50%;
    display: grid;
    place-items: center;
    font-size: 14px;
    font-weight: 500;
    border: 2px solid var(--border-strong);
    background: var(--surface);
    transition: border-color 0.15s ease, color 0.15s ease;
}

.zk-step-name {
    font-size: 13px;
    letter-spacing: 0.06em;
    text-transform: uppercase;
}

.zk-stepper li.done .zk-step-dot {
    border-color: var(--accent-line);
    color: var(--accent);
}

.zk-stepper li.current .zk-step-dot {
    background: var(--accent);
    border-color: var(--accent);
    color: #0b0b0c;
}

.zk-stepper li.current .zk-step-name { color: var(--text); }

/* ---------- view toggle ---------- */

.zk-bar {
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 12px;
    margin-bottom: 12px;
}

.zk-toggle {
    display: inline-flex;
    padding: 3px;
    border-radius: 10px;
    background: var(--bg-raised);
    border: 1px solid var(--border);
}

.zk-toggle button {
    display: inline-flex;
    align-items: center;
    gap: 8px;
    font: inherit;
    font-size: 15px;
    font-weight: 500;
    color: var(--text-muted);
    background: none;
    border: none;
    border-radius: 7px;
    padding: 6px 14px 6px 7px;
    cursor: pointer;
    transition: background-color 0.15s ease, color 0.15s ease;
}

.zk-toggle button small {
    font-size: 12px;
    font-weight: 400;
    color: var(--text-faint);
    letter-spacing: 0.04em;
}

.zk-toggle button:hover { color: var(--text); }

.zk-toggle button.active {
    background: var(--surface-2);
    color: var(--text);
    box-shadow: 0 0 0 1px var(--border-strong);
}

.zk-avatar {
    width: 24px;
    height: 24px;
    border-radius: 50%;
    display: grid;
    place-items: center;
    font-size: 12px;
    font-weight: 700;
    background: var(--border);
    color: var(--text-muted);
}

.zk-toggle button.active .zk-avatar {
    background: var(--accent);
    color: #0b0b0c;
}

.zk-round {
    font-size: 13px;
    color: var(--text-faint);
    letter-spacing: 0.06em;
    text-transform: uppercase;
}

.zk-round b {
    font-family: 'Roboto Slab', Georgia, serif;
    font-size: 17px;
    color: var(--text);
    margin-left: 4px;
}

/* ---------- main area ---------- */

.zk-main {
    display: grid;
    grid-template-columns: minmax(0, 1.45fr) minmax(0, 1fr);
    gap: 16px;
    align-items: start;
}

.zk-stage {
    position: sticky;
    top: 80px;
    border-radius: 10px;
    background: var(--bg-raised);
    border: 1px solid var(--border);
}

.zk-stage-label {
    position: absolute;
    top: 10px;
    left: 14px;
    font-size: 13px;
    color: var(--text-faint);
    pointer-events: none;
}

.zk-stage-label b { color: var(--text-muted); font-weight: 500; }

#zk-graph {
    display: block;
    width: 100%;
    height: auto;
    user-select: none;
}

.zk-edge-line {
    stroke: #3a3a41;
    stroke-width: 3;
    stroke-linecap: round;
    transition: stroke 0.2s ease, stroke-width 0.2s ease;
}

.zk-edge-hit {
    stroke: transparent;
    stroke-width: 18;
    pointer-events: none;
}

.zk-edge.pickable .zk-edge-hit { pointer-events: stroke; cursor: pointer; }
.zk-edge.pickable:hover .zk-edge-line { stroke: var(--text-faint); stroke-width: 5; }
.zk-edge.chosen .zk-edge-line,
.zk-edge.chosen.pickable:hover .zk-edge-line { stroke: var(--accent); stroke-width: 5; }

.zk-disc {
    stroke: var(--bg-raised);
    stroke-width: 3;
    transition: fill 0.45s ease;
}

.zk-ring {
    fill: none;
    stroke: var(--accent);
    stroke-width: 2.5;
    opacity: 0;
    transition: opacity 0.2s ease;
}

.zk-node.chosen .zk-ring { opacity: 1; }
.zk-node.hover .zk-ring { opacity: 0.45; }
.zk-node.chosen.hover .zk-ring { opacity: 1; }

.zk-num {
    font-size: 15px;
    font-weight: 700;
    fill: #fff;
    text-anchor: middle;
    pointer-events: none;
}

.zk-disc.c-none + .zk-num { fill: var(--text-faint); }

.zk-tag {
    opacity: 0;
    transition: opacity 0.35s ease;
    pointer-events: none;
}

.zk-tag.show { opacity: 1; }

.zk-tag rect {
    fill: var(--surface-2);
    stroke: var(--border-strong);
    stroke-width: 1;
}

.zk-tag text {
    font-family: 'Roboto Mono', ui-monospace, monospace;
    font-size: 13px;
    fill: var(--text-muted);
    text-anchor: middle;
}

/* ---------- side panel ---------- */

.zk-panel {
    display: flex;
    flex-direction: column;
    min-height: 100%;
}

.zk-panel-body {
    flex: 1;
    font-size: 15.5px;
    line-height: 1.6;
}

.zk-panel-body p { margin: 0 0 0.8em 0; }

.zk-kicker {
    font-size: 12px;
    letter-spacing: 0.08em;
    text-transform: uppercase;
    color: var(--text-faint);
}

.zk-title {
    font-size: 1.45em;
    margin: 2px 0 10px 0;
}

.zk-small {
    font-size: 13.5px;
    color: var(--text-faint);
}

.zk-cta { color: var(--accent); }

.zk-note {
    padding: 8px 12px;
    border-left: 3px solid var(--accent-line);
    background: var(--bg-raised);
    border-radius: 0 8px 8px 0;
    font-size: 14px;
    line-height: 1.55;
    color: var(--text-muted);
}

.zk-hint {
    margin: 12px 0;
    padding: 10px 12px;
    border-radius: 8px;
    background: var(--bg-raised);
    border: 1px dashed var(--border-strong);
    font-size: 14px;
    color: var(--text-muted);
}

.zk-link {
    font: inherit;
    color: var(--accent);
    background: none;
    border: none;
    padding: 0;
    cursor: pointer;
    border-bottom: 1px solid var(--accent-line);
}

.zk-link:hover { color: var(--accent-soft); }

.zk-code {
    margin: 0 0 0.9em 0;
    padding: 10px 12px;
    border-radius: 8px;
    background: var(--bg-raised);
    border: 1px solid var(--border);
    font-size: 14px;
    color: var(--text);
    overflow-wrap: anywhere;
}

.zk-code-k {
    font-size: 12px;
    color: var(--text-faint);
    margin-top: 6px;
}

.zk-code-k:first-child { margin-top: 0; }

.zk-break { word-break: break-all; }

/* ---------- buttons ---------- */

.zk-btn {
    font: inherit;
    font-size: 15px;
    font-weight: 500;
    color: #0b0b0c;
    background: var(--accent);
    border: 1px solid var(--accent);
    border-radius: 8px;
    padding: 8px 16px;
    cursor: pointer;
    transition: background-color 0.15s ease, border-color 0.15s ease, color 0.15s ease, transform 0.08s ease;
}

.zk-btn:hover:not(:disabled) { background: var(--accent-soft); border-color: var(--accent-soft); }
.zk-btn:active:not(:disabled) { transform: translateY(1px); }

.zk-btn:disabled {
    background: var(--surface-2);
    border-color: var(--border);
    color: var(--text-faint);
    cursor: default;
}

.zk-btn-ghost {
    background: transparent;
    border-color: var(--border-strong);
    color: var(--text-muted);
}

.zk-btn-ghost:hover:not(:disabled) {
    background: var(--surface-2);
    border-color: var(--text-faint);
    color: var(--text);
}

.zk-btn-ghost:disabled { background: transparent; }

.zk-btn-soft {
    width: 100%;
    background: var(--accent-dim);
    border-color: var(--accent-line);
    color: var(--accent);
}

.zk-btn-soft:hover:not(:disabled) {
    background: rgba(255, 122, 24, 0.24);
    border-color: var(--accent);
    color: var(--accent-soft);
}

.zk-nav {
    display: flex;
    justify-content: space-between;
    gap: 10px;
    margin-top: 16px;
    padding-top: 14px;
    border-top: 1px solid var(--border);
}

/* ---------- permutation picker ---------- */

.zk-perm {
    display: flex;
    flex-direction: column;
    gap: 10px;
}

.zk-perm-big {
    display: block;
    width: 100%;
    max-width: 240px;
    margin: 0 auto;
    padding: 4px 0;
}

.zk-perm-label {
    font-size: 12px;
    letter-spacing: 0.08em;
    text-transform: uppercase;
    fill: var(--text-faint);
    text-anchor: middle;
}

.zk-perm-line {
    stroke: var(--text-muted);
    stroke-width: 1.6;
}

.zk-arrowhead { fill: var(--text-muted); }

.zk-perm-grid {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 6px;
}

.zk-perm-btn {
    padding: 6px;
    border-radius: 8px;
    background: var(--bg-raised);
    border: 1px solid var(--border);
    cursor: pointer;
    transition: border-color 0.15s ease, background-color 0.15s ease;
}

.zk-perm-btn:hover { border-color: var(--text-faint); }

.zk-perm-btn.active {
    border-color: var(--accent);
    background: var(--accent-dim);
}

.zk-perm-mini {
    display: block;
    width: 100%;
    max-width: 64px;
    margin: 0 auto;
}

.zk-perm-mini .zk-perm-line { stroke-width: 1.4; }

/* ---------- verification ---------- */

.zk-checks {
    list-style: none;
    margin: 0 0 12px 0;
    padding: 0;
    font-size: 14.5px;
}

.zk-checks li {
    display: flex;
    gap: 9px;
    align-items: baseline;
    margin: 0 0 6px 0;
}

.zk-tick {
    flex: none;
    width: 20px;
    height: 20px;
    border-radius: 50%;
    display: inline-grid;
    place-items: center;
    font-size: 12px;
    font-weight: 700;
    transform: translateY(3px);
}

.zk-checks .ok .zk-tick { background: rgba(63, 185, 124, 0.18); color: var(--green); }
.zk-checks .bad .zk-tick { background: rgba(239, 91, 91, 0.18); color: var(--red); }

.zk-thought {
    margin: 0 0 14px 0;
    padding: 2px 0 2px 14px;
    border-left: 3px solid var(--border-strong);
    color: var(--text-muted);
    font-style: italic;
    font-size: 15px;
}

.zk-thought p:last-child { margin-bottom: 0; }

.zk-repeat {
    padding: 12px 14px;
    border-radius: 10px;
    background: var(--bg-raised);
    border: 1px solid var(--border);
}

.zk-repeat-head { font-size: 15px; margin-bottom: 4px; }
.zk-repeat-head b { color: var(--accent); font-variant-numeric: tabular-nums; }

.zk-repeat input[type=range] {
    width: 100%;
    accent-color: var(--accent);
    margin: 4px 0 8px 0;
}

.zk-meter {
    height: 5px;
    border-radius: 3px;
    background: var(--surface-2);
    overflow: hidden;
    margin-bottom: 12px;
}

#zk-meter-fill {
    height: 100%;
    background: var(--accent);
    border-radius: 4px;
    transition: width 0.15s ease;
}

.zk-stats {
    display: grid;
    grid-template-columns: auto 1fr;
    gap: 2px 14px;
    margin: 0 0 8px 0;
    font-size: 14.5px;
}

.zk-stats dt { color: var(--text-faint); }
.zk-stats dd { margin: 0; text-align: right; font-variant-numeric: tabular-nums; }
.zk-stats dd:last-of-type { color: var(--accent); font-weight: 500; }

.zk-repeat .zk-small { margin: 0; }

/* ---------- commitment table ---------- */

.zk-table-wrap {
    margin-top: 16px;
    overflow-x: auto;
}

.zk-table-wrap:empty { display: none; }

.zk-table {
    margin: 0;
    font-size: 14px;
    background: var(--bg-raised);
}

.zk-table th, .zk-table td { padding: 6px 12px; white-space: nowrap; }
.zk-table th { font-size: 13px; text-transform: none; letter-spacing: 0.02em; }
.zk-table tbody tr { transition: background-color 0.12s ease; }
.zk-table tr.hover { background: var(--surface-2); }
.zk-table tr.chosen td { background: var(--accent-dim); }
.zk-td-num { color: var(--text-faint); width: 1%; text-align: center; }
.zk-hash { color: var(--text-muted); font-size: 12.5px; }
.zk-sealed { color: var(--text-faint); font-style: italic; font-size: 13px; }

/* ---------- responsive ---------- */

@media (max-width: 820px) {
    .zk-main { grid-template-columns: 1fr; }
    .zk-stage { position: relative; top: 0; }
}

@media (max-width: 560px) {
    .zk-app { padding: 14px 12px 14px 12px; }
    .zk-step-name { font-size: 11px; letter-spacing: 0.02em; }
    .zk-toggle button { padding: 5px 10px 5px 5px; font-size: 14px; }
    .zk-toggle button small { display: none; }
    .zk-stage-label { top: 6px; left: 10px; font-size: 12px; }
}