.doors-flow:where(.astro-i6t37hf5){margin:2rem 0;border:1px solid rgba(148,163,184,.22);border-radius:1.35rem;background:radial-gradient(circle at top left,rgba(116,167,255,.14),transparent 34rem),linear-gradient(145deg,#121d30f0,#060a12fa);box-shadow:0 24px 70px #0000003d;overflow:hidden}.doors-flow:where(.astro-i6t37hf5) code:where(.astro-i6t37hf5){font-family:var(--sl-font-mono)}.doors-flow__layout:where(.astro-i6t37hf5){display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.9rem;padding:1.35rem}.doors-flow__card:where(.astro-i6t37hf5),.doors-flow__machine:where(.astro-i6t37hf5),.doors-flow__simulator:where(.astro-i6t37hf5),.doors-flow__query:where(.astro-i6t37hf5),.doors-flow__invariants:where(.astro-i6t37hf5){min-width:0;padding:1rem;border:1px solid rgba(148,163,184,.18);border-radius:1rem;background:#070d18b8}.doors-flow__machine:where(.astro-i6t37hf5),.doors-flow__simulator:where(.astro-i6t37hf5){grid-column:1 / -1}.doors-flow__card-head:where(.astro-i6t37hf5){display:grid;grid-template-columns:2.6rem minmax(0,1fr);gap:.8rem;align-items:start}.doors-flow__card-head:where(.astro-i6t37hf5)>span:where(.astro-i6t37hf5){display:inline-flex;align-items:center;justify-content:center;width:2.35rem;height:2.35rem;border:1px solid rgba(116,167,255,.32);border-radius:999px;background:#08111f;color:#8fb4e8;font-family:var(--sl-font-mono);font-size:.72rem;font-weight:900}.doors-flow__card-head:where(.astro-i6t37hf5) code:where(.astro-i6t37hf5),.doors-flow__sim-head:where(.astro-i6t37hf5) code:where(.astro-i6t37hf5){color:#eef6ff;font-family:var(--sl-font-mono);font-size:.86rem;font-weight:900}.doors-flow__card-head:where(.astro-i6t37hf5) p:where(.astro-i6t37hf5),.doors-flow__sim-head:where(.astro-i6t37hf5) p:where(.astro-i6t37hf5){margin:.35rem 0 0;color:#aebfd8;font-size:.84rem;line-height:1.55}.doors-flow:where(.astro-i6t37hf5) pre:where(.astro-i6t37hf5){margin:1rem 0 0;padding:1rem;border:1px solid rgba(148,163,184,.14);border-radius:.9rem;background:#07101d;color:#dcecff;font:700 .76rem/1.75 var(--sl-font-mono);overflow-x:auto}.doors-flow__symbols:where(.astro-i6t37hf5){display:grid;grid-template-columns:4rem 4rem minmax(0,1fr);gap:.6rem;align-items:center;margin-top:1rem}.doors-flow__symbols:where(.astro-i6t37hf5) strong:where(.astro-i6t37hf5),.doors-flow__symbols:where(.astro-i6t37hf5) span:where(.astro-i6t37hf5){display:flex;align-items:center;justify-content:center;min-height:2.7rem;border-radius:.8rem;font-family:var(--sl-font-mono);font-weight:900}.doors-flow__symbols:where(.astro-i6t37hf5) strong:where(.astro-i6t37hf5){border:1px solid rgba(242,184,75,.32);background:#4a37105c;color:#ffdca3}.doors-flow__symbols:where(.astro-i6t37hf5) span:where(.astro-i6t37hf5){border:1px solid rgba(148,163,184,.16);background:#0f172ab8;color:#dcecff;font-size:.75rem}.doors-flow__states:where(.astro-i6t37hf5){display:flex;align-items:stretch;gap:.55rem;margin-top:1rem;overflow-x:auto;padding-bottom:.3rem}.doors-flow__states:where(.astro-i6t37hf5) em:where(.astro-i6t37hf5){align-self:center;color:#7f93b3;font-style:normal;font-weight:900}.doors-flow__state:where(.astro-i6t37hf5){flex:1 0 8.5rem;padding:.8rem;border:1px solid rgba(148,163,184,.16);border-radius:.85rem;text-align:center}.doors-flow__state:where(.astro-i6t37hf5) strong:where(.astro-i6t37hf5){display:block;color:#eef6ff;font-family:var(--sl-font-mono);font-size:.76rem}.doors-flow__state:where(.astro-i6t37hf5) span:where(.astro-i6t37hf5){display:block;margin-top:.25rem;color:#aebfd8;font-size:.72rem}.doors-flow__state--closed:where(.astro-i6t37hf5){border-color:#ff70703d;background:#7f1d1d2e}.doors-flow__state--moving:where(.astro-i6t37hf5){border-color:#f2b84b3d;background:#4a37104d}.doors-flow__state--open:where(.astro-i6t37hf5){border-color:#68e0b03d;background:#0c312757}.doors-flow__sim-head:where(.astro-i6t37hf5){display:grid;grid-template-columns:minmax(0,1fr) auto;gap:1rem;align-items:end}.doors-flow__actions:where(.astro-i6t37hf5){display:flex;gap:.55rem;flex-wrap:wrap}.doors-flow__actions:where(.astro-i6t37hf5) button:where(.astro-i6t37hf5){min-height:2.4rem;padding:.55rem .9rem;border:1px solid rgba(116,167,255,.28);border-radius:999px;background:#1c3e7052;color:#dcecff;cursor:pointer;font:800 .78rem/1 var(--sl-font)}.doors-flow__actions:where(.astro-i6t37hf5) button:where(.astro-i6t37hf5):hover{border-color:#f2b84b73;color:#fff1c5}.doors-flow:where(.astro-i6t37hf5) canvas:where(.astro-i6t37hf5){display:block;width:100%;margin-top:1rem;border:1px solid rgba(148,163,184,.18);border-radius:.95rem;background:#08111f}.doors-flow__status:where(.astro-i6t37hf5){margin:.75rem 0 0;color:#91a9ca;font-family:var(--sl-font-mono);font-size:.76rem;text-align:center}.doors-flow__invariant-grid:where(.astro-i6t37hf5){display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.6rem;margin-top:1rem}.doors-flow__invariant-grid:where(.astro-i6t37hf5) span:where(.astro-i6t37hf5){padding:.7rem;border:1px solid rgba(104,224,176,.2);border-radius:.8rem;background:#0c312740;color:#b8f3da;font-size:.78rem}@media(max-width:720px){.doors-flow__intro:where(.astro-i6t37hf5),.doors-flow__layout:where(.astro-i6t37hf5),.doors-flow__sim-head:where(.astro-i6t37hf5),.doors-flow__invariant-grid:where(.astro-i6t37hf5){grid-template-columns:1fr}.doors-flow__machine:where(.astro-i6t37hf5),.doors-flow__simulator:where(.astro-i6t37hf5){grid-column:auto}.doors-flow__card-head:where(.astro-i6t37hf5),.doors-flow__symbols:where(.astro-i6t37hf5){grid-template-columns:1fr}}