.lab-page[data-astro-cid-vv7f74wz]{max-width:var(--max-width);padding-top:2.5rem;padding-bottom:4rem}.lab-header[data-astro-cid-vv7f74wz]{text-align:center;margin-bottom:2.5rem}.lab-back[data-astro-cid-vv7f74wz]{font-family:var(--font-mono);font-size:.8125rem;color:var(--color-text-muted);text-decoration:none}.lab-back[data-astro-cid-vv7f74wz]:hover{color:var(--color-accent)}.lab-header[data-astro-cid-vv7f74wz] h1[data-astro-cid-vv7f74wz]{font-size:2.25rem;margin-top:.75rem;margin-bottom:.5rem}.lab-subtitle[data-astro-cid-vv7f74wz]{font-style:italic;color:var(--color-text-secondary);font-size:1.05rem;max-width:32rem;margin:0 auto}.sim-wrapper[data-astro-cid-vv7f74wz]{margin-bottom:3rem}.sim-controls[data-astro-cid-vv7f74wz]{display:flex;align-items:center;gap:.75rem;margin-bottom:.5rem;font-family:var(--font-mono);font-size:.8125rem;flex-wrap:wrap}.scenario-group[data-astro-cid-vv7f74wz]{display:flex;align-items:center;gap:.5rem;flex-wrap:wrap;font-family:var(--font-mono);font-size:.8125rem;margin-bottom:.5rem}.scenario-label[data-astro-cid-vv7f74wz]{color:var(--color-text-secondary);font-size:.75rem}.sim-hint[data-astro-cid-vv7f74wz]{font-family:var(--font-mono);font-size:.75rem;color:var(--color-text-muted);margin-bottom:1rem}.speed-label[data-astro-cid-vv7f74wz]{display:flex;align-items:center;gap:.4rem;color:var(--color-text-secondary);margin-left:auto}.speed-label[data-astro-cid-vv7f74wz] input[data-astro-cid-vv7f74wz][type=range]{width:80px;accent-color:var(--color-accent)}#speed-value[data-astro-cid-vv7f74wz]{min-width:2.5em;text-align:right}.btn[data-astro-cid-vv7f74wz]{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-vv7f74wz]:hover:not(:disabled){border-color:var(--color-border-hover);color:var(--color-text)}.btn[data-astro-cid-vv7f74wz]:disabled{opacity:.4;cursor:not-allowed}.info-bar[data-astro-cid-vv7f74wz]{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-vv7f74wz] strong[data-astro-cid-vv7f74wz]{color:var(--color-text)}.info-sep[data-astro-cid-vv7f74wz]{margin:0 .5rem;opacity:.4}#bft-svg[data-astro-cid-vv7f74wz]{width:100%;max-width:520px;display:block;margin:0 auto}.bft-edge{stroke:var(--color-text-muted);stroke-width:1;opacity:.25}.bft-node-group{cursor:pointer}.bft-node-bg{stroke:var(--color-border);stroke-width:1.5;transition:fill .3s ease,stroke .3s ease}.bft-node-ring{fill:none;stroke:var(--color-accent);stroke-width:0;transition:stroke-width .2s ease}.bft-node-group:hover .bft-node-ring{stroke-width:2.5}.bft-node-name{font-family:var(--font-heading);font-size:14px;font-weight:600;fill:var(--color-text);text-anchor:middle;pointer-events:none}.bft-node-state{font-family:var(--font-mono);font-size:9px;fill:var(--color-text-secondary);text-anchor:middle;pointer-events:none}.bft-node-detail{font-family:var(--font-mono);font-size:8px;fill:var(--color-text-muted);text-anchor:middle;pointer-events:none}.bft-msg-dot{transition:none}.bft-badge{font-family:var(--font-mono);font-size:9px;font-weight:700;fill:#c0392b;text-anchor:middle;pointer-events:none}.bft-client-label{font-family:var(--font-mono);font-size:11px;fill:var(--color-text-muted);text-anchor:middle;pointer-events:none}.event-log[data-astro-cid-vv7f74wz]{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-prepare{color:#e67e22}.log-commit{color:#8e44ad}.log-done{color:#27ae60}.log-byzantine{color:#c0392b}.log-info{color:var(--color-text-muted)}.log-warn{color:#e67e22}.log-accent{color:var(--color-accent)}.log-reset{color:var(--color-text-muted)}.log-client{color:#888}.lab-explanation[data-astro-cid-vv7f74wz]{border-top:1px solid var(--color-border);padding-top:2rem}.lab-explanation[data-astro-cid-vv7f74wz] h2[data-astro-cid-vv7f74wz]{text-align:center;margin-top:0;margin-bottom:1.5rem}@media(max-width:640px){.lab-header[data-astro-cid-vv7f74wz] h1[data-astro-cid-vv7f74wz]{font-size:1.75rem}.lab-subtitle[data-astro-cid-vv7f74wz]{font-size:.95rem}#bft-svg[data-astro-cid-vv7f74wz]{max-width:100%}.sim-controls[data-astro-cid-vv7f74wz],.scenario-group[data-astro-cid-vv7f74wz]{justify-content:center}.speed-label[data-astro-cid-vv7f74wz]{margin-left:0}}