:root {
    --alice: #7dd3c8;
    --bob: #f4a261;
    --surface: #161a24;
    --surface2: #1e2433;
    --border: #2a3045;
    --muted: #EEEEFF;
    --green: #a8e6a3;
    --red: #e88a8a;
    --x-color: #93c5fd;
    --y-color: #fdba74;
    --accent: #c084fc;
}
 
/* Phases */
.phase {
    background: inherit;
    border-top: 1px dashed var(--border);
    border-radius: 0px;
    margin-bottom: 1.5rem;
    overflow: hidden;
    transition: border-color 0.3s;
}
 
.phase.active     { border-color: var(--alice); }
.phase.bob-active { border-color: var(--bob); }
 
.phase-header {
    display: flex;
    align-items: center;
    gap: 1rem;
    padding: 0.75rem 1.25rem;
    border-bottom: 0px solid var(--border);
/*    background: var(--surface2);*/
}
 
.phase-badge {
    font-family: scTeX;
    font-size: inherit;
    padding: 0.25rem 0.75rem;
    border-radius: 2em;
    white-space: nowrap;
}
 
.badge-alice { background: rgba(125,211,200,0.15); color: var(--alice); border: 1px solid rgba(125,211,200,0.3); }
.badge-bob   { background: rgba(244,162,97,0.15);  color: var(--bob);   border: 1px solid rgba(244,162,97,0.3); }
 
.phase-title {
    font-family: inherit;
    font-size: inherit;
    color: var(--text);
}
 
.phase-body { padding: 1rem; }
 
/* Inputs */
input[type=number], input[type=text], select {
    background: var(--bg);
    border: 1px solid var(--border);
    border-radius: 6px;
    color: var(--text);
    font-family: inherit;
    font-size: inherit;
    padding: 0rem 0.25rem;
    transition: border-color 0.5s, box-shadow 0.5s;
    outline: none;
}
 
input:focus, select:focus {
    border-color: var(--alice);
    box-shadow: 0 0 0 3px rgba(125,211,200,0.12);
}
 
input.bob-focus:focus {
    border-color: var(--bob);
    box-shadow: 0 0 0 3px rgba(244,162,97,0.12);
}
 
.inline-inputs {
    display: flex;
    gap: 1.5rem;
    flex-wrap: wrap;
    align-items: center;
    margin-top: 0.4rem;
}
 
.inline-field {
    display: flex;
    align-items: center;
    gap: 0.5rem;
}
 
.inline-field input {
    width: auto;
    min-width: 4rem;
    max-width: 6rem;
}
 
.inline-label {
    color: var(--muted);
    white-space: nowrap;
    font-size: inherit;
}
 
/* Computed values */
.computed {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(120px, 1fr));
    gap: 0.8rem;
    margin: 1rem 0;
}
 
.kv {
    background: var(--bg);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 0.5rem 1rem;
    display: flex;
    flex-direction: row;
    gap: 0.2rem;
    align-items: baseline;
}
 
.kv .k {
    font-size: inherit;
    color: var(--muted);
}
 
.kv .v {
    padding-left: 8px;
    padding-right: 8px;
    font-size: inherit;
    border-radius: 4px;
    font-family: inherit;
}
 
.kv.public .v  { color: var(--alice); }
.kv.secret .v  { color: var(--red); }
.kv.neutral .v { color: var(--accent); }
.kv.x-val .v   { color: var(--x-color); }
.kv.y-val .v   { color: var(--y-color); }
 
/* Buttons */
.btn {
    display: inline-flex;
    align-items: center;
    gap: 0.5rem;
    padding: 0.4rem 1rem;
    border-radius: 8px;
    border: none;
    cursor: pointer;
    font-family: monospace;
    font-size: 90%;
    letter-spacing:-1px;
    text-transform:uppercase;
    font-weight: normal;
    transition: all 0.2s;
}
 
.btn-alice {
    background: rgba(125,211,200,0.15);
    color: var(--alice);
    border: 1px solid rgba(125,211,200,0.4);
    box-shadow: 0 0 6px rgba(125,211,200,0.3);
}
.btn-alice:hover {
    background: rgba(125,211,200,0.25);
    box-shadow: 0 0 14px rgba(125,211,200,0.7);
    transform: translateY(-1px);
}
 
.btn-bob {
    background: rgba(244,162,97,0.15);
    color: var(--bob);
    border: 1px solid rgba(244,162,97,0.4);
    box-shadow: 0 0 6px rgba(244,162,97,0.3);
}
.btn-bob:hover {
    background: rgba(244,162,97,0.25);
    box-shadow: 0 0 14px rgba(244,162,97,0.7);
    transform: translateY(-1px);
}
 
/* Boxes */
.warn-box {
    background: rgba(232,138,138,0.08);
    border: 1px solid rgba(232,138,138,0.25);
    border-radius: 8px;
    padding: 0.8rem 1rem;
    font-size: inherit;
    color: var(--red);
    margin: 0.8rem 0;
}
 
.success-box {
    background: rgba(168,230,163,0.08);
    border: 1px solid rgba(168,230,163,0.25);
    border-radius: 8px;
    padding: 0.8rem 1rem;
    font-size: inherit;
    color: var(--green);
    margin: 0.8rem 0;
}
 
/* Tags */
.tag {
    display: inline-block;
    padding: 0 0.5rem;
    border-radius: 4px;
    font-size: inherit;
}
.tag-y { background: rgba(253,186,116,0.15); color: var(--y-color); }
 
/* Steps */
.steps {
    counter-reset: step;
    display: flex;
    flex-direction: column;
    gap: 0;
    margin: 0.5rem 1rem;
    font-size: inherit;
    color: var(--muted);
    line-height: 1.6;
}
 
.steps li {
    list-style: none;
    padding-left: 0.5rem;
}
 
.steps li::before {
    content: "(" counter(step) ") ";
    margin-right: 0.5rem;
    counter-increment: step;
    color: var(--accent);
    font-size: inherit;
}
 
.highlight { color: var(--text); }
 
/* Step rows */
.step-row {
    margin-bottom: 0;
    padding-bottom: 0.5rem;
}
 
.step-label {
    color: var(--muted);
    font-size: inherit;
    margin-bottom: 0.5rem;
    line-height: 1.6;
}
 
.step-label::before { content: "▸ "; }
 
/* Locked */
.locked {
    opacity: 0.4;
    pointer-events: none;
    user-select: none;
}
 
/* Responsive */
@media (max-width: 500px) {
    .computed { grid-template-columns: 1fr 1fr; }
}