.lab-page[data-astro-cid-m2t73f4g]{max-width:var(--max-width);padding-top:2.5rem;padding-bottom:4rem}.lab-header[data-astro-cid-m2t73f4g]{text-align:center;margin-bottom:2.5rem}.lab-back[data-astro-cid-m2t73f4g]{font-family:var(--font-mono);font-size:.8125rem;color:var(--color-text-muted);text-decoration:none}.lab-back[data-astro-cid-m2t73f4g]:hover{color:var(--color-accent)}.lab-header[data-astro-cid-m2t73f4g] h1[data-astro-cid-m2t73f4g]{font-size:2.25rem;margin-top:.75rem;margin-bottom:.5rem}.lab-subtitle[data-astro-cid-m2t73f4g]{font-style:italic;color:var(--color-text-secondary);font-size:1.05rem;max-width:32rem;margin:0 auto}.sim-wrapper[data-astro-cid-m2t73f4g]{margin-bottom:3rem}.sim-controls[data-astro-cid-m2t73f4g]{display:flex;align-items:center;gap:.75rem;margin-bottom:.5rem;font-family:var(--font-mono);font-size:.8125rem;flex-wrap:wrap}.sim-hint[data-astro-cid-m2t73f4g]{font-family:var(--font-mono);font-size:.75rem;color:var(--color-text-muted);margin-bottom:1rem}.speed-label[data-astro-cid-m2t73f4g]{display:flex;align-items:center;gap:.4rem;color:var(--color-text-secondary);margin-left:auto}.speed-label[data-astro-cid-m2t73f4g] input[data-astro-cid-m2t73f4g][type=range]{width:80px;accent-color:var(--color-accent)}#speed-value[data-astro-cid-m2t73f4g]{min-width:2.5em;text-align:right}.btn[data-astro-cid-m2t73f4g]{font-family:var(--font-mono);font-size:.75rem;padding:.3rem .75rem;background:var(--color-bg-surface);border:1px solid var(--color-border);border-radius:4px;color:var(--color-text-secondary);cursor:pointer;transition:all var(--transition-fast)}.btn[data-astro-cid-m2t73f4g]:hover:not(:disabled){border-color:var(--color-border-hover);color:var(--color-text)}.btn[data-astro-cid-m2t73f4g]:disabled{opacity:.4;cursor:not-allowed}.btn-propose[data-astro-cid-m2t73f4g] .propose-val[data-astro-cid-m2t73f4g]{font-weight:700;color:var(--color-text)}.info-bar[data-astro-cid-m2t73f4g]{font-family:var(--font-mono);font-size:.85rem;text-align:center;padding:.5rem 1rem;margin-bottom:.75rem;border:1px solid var(--color-border);border-radius:4px;background:var(--color-bg-surface);color:var(--color-text-secondary)}.info-bar[data-astro-cid-m2t73f4g] strong[data-astro-cid-m2t73f4g]{color:var(--color-text)}.info-sep[data-astro-cid-m2t73f4g]{margin:0 .5rem;opacity:.4}#paxos-svg[data-astro-cid-m2t73f4g]{width:100%;max-width:520px;display:block;margin:0 auto}.pax-edge{stroke:var(--color-text-muted);stroke-width:1;opacity:.3}.pax-node-group{cursor:pointer}.pax-node-bg{stroke:var(--color-border);stroke-width:1.5;transition:fill .3s ease,stroke .3s ease}.pax-node-ring{fill:none;stroke:var(--color-accent);stroke-width:0;transition:stroke-width .2s ease}.pax-node-group:hover .pax-node-ring{stroke-width:2.5}.pax-node-name{font-family:var(--font-heading);font-size:14px;font-weight:600;fill:var(--color-text);text-anchor:middle;pointer-events:none}.pax-node-state{font-family:var(--font-mono);font-size:9px;fill:var(--color-text-secondary);text-anchor:middle;pointer-events:none}.pax-node-detail{font-family:var(--font-mono);font-size:8px;fill:var(--color-text-muted);text-anchor:middle;pointer-events:none}.pax-msg-dot{transition:none}.event-log[data-astro-cid-m2t73f4g]{font-family:var(--font-mono);font-size:.75rem;line-height:1.6;max-height:12rem;overflow-y:auto;border:1px solid var(--color-border);border-radius:4px;padding:.5rem .75rem;margin-top:1rem;background:var(--color-bg-surface)}.log-entry{color:var(--color-text-secondary);padding:.1rem 0}.log-entry strong{color:var(--color-text)}.log-icon{display:inline-block;width:1.1em;text-align:center;margin-right:.25em;font-style:normal}.log-p1{color:#2980b9}.log-p2{color:#e67e22}.log-promise{color:var(--color-accent)}.log-nack{color:#c0392b}.log-accept{color:#8e44ad}.log-accepted,.log-chosen{color:#27ae60}.log-kill{color:#c0392b}.log-restart{color:var(--color-accent)}.log-warn{color:#e67e22}.log-info,.log-reset{color:var(--color-text-muted)}.lab-explanation[data-astro-cid-m2t73f4g]{border-top:1px solid var(--color-border);padding-top:2rem}.lab-explanation[data-astro-cid-m2t73f4g] h2[data-astro-cid-m2t73f4g]{text-align:center;margin-top:0;margin-bottom:1.5rem}@media(max-width:640px){.lab-header[data-astro-cid-m2t73f4g] h1[data-astro-cid-m2t73f4g]{font-size:1.75rem}.lab-subtitle[data-astro-cid-m2t73f4g]{font-size:.95rem}#paxos-svg[data-astro-cid-m2t73f4g]{max-width:100%}.sim-controls[data-astro-cid-m2t73f4g]{justify-content:center}.speed-label[data-astro-cid-m2t73f4g]{margin-left:0}}