.counter-lab{padding:2.5rem 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.counter-lab>p{max-width:44rem}.counter-lab select{max-width:100%;width:100%}.counter-lab .controls{gap:1.25rem}.custom{max-width:48rem;margin:1.8rem 0}.custom summary{cursor:pointer}.custom label{display:block;font-size:.9rem}textarea{display:block;width:100%;font:1rem/1.6 var(--mono);padding:.7rem;margin:.5rem 0 1rem;border:1px solid var(--ink)}.pattern{display:grid;grid-template-columns:1fr 2fr;gap:2rem;padding:2rem;margin-top:2rem;background:var(--paper);border:1px solid var(--ink);box-shadow:5px 5px 0 var(--ink)}.state-path{display:flex;flex-wrap:wrap;align-items:center;gap:.6rem}.state-path span{display:grid;place-items:center;width:2.6rem;height:2.6rem;border:1px solid var(--ink);border-radius:50%;font:1rem var(--mono);background:white}.state-path b{font-weight:400}.state-path.cycle span{background:var(--green);color:white;border-color:var(--green)}.state-path .no-startup{width:auto;border:0;background:transparent;display:block;color:var(--muted)}.search-reason{margin:1.5rem 0;max-width:48rem}.search-reason summary{font-weight:600;cursor:pointer}.search-reason li{font:1rem/1.8 var(--mono);padding:.1rem 0}.search-reason li.match{color:var(--green);font-weight:600}.prediction{padding:2rem;border-left:4px solid var(--green);background:var(--paper);margin-top:2rem;max-width:54rem}.prediction p{max-width:45rem}.prediction input{width:14rem;max-width:100%;font:1.1rem var(--mono);padding:.6rem;border:1px solid var(--ink);min-height:2.75rem}.hidden-example{display:flex;gap:1rem;align-items:center;justify-content:space-around;max-width:33rem;padding:1.5rem .5rem;background:var(--paper);margin:1.5rem 0}.hidden-example>div{display:grid;text-align:center;gap:.6rem}.hidden-example span{font:.85rem var(--mono);color:var(--muted)}.hidden-example strong{font:1.7rem var(--mono)}#machine-error{color:#83290f;border-left:3px solid currentColor;padding:1rem;background:#fff6f1}@media(max-width:760px){.pattern{grid-template-columns:1fr;padding:1.2rem;width:calc(100% - 5px)}.prediction{padding:1.2rem}.counter-lab h2{max-width:18rem}.counter-lab .controls label{width:100%}.hidden-example{gap:.45rem}.prediction input{width:100%}}

.state-path span.predicted{outline:3px solid var(--ink);outline-offset:4px}