html,body{height:100%;margin:0;font-family:Roboto,sans-serif;font-size:10pt}:root{--buncss-light:initial;--buncss-dark: ;color-scheme:light dark;--background-color:var(--buncss-light,#fff)var(--buncss-dark,#1f2124);--text-color:var(--buncss-light,#000)var(--buncss-dark,#fff);--error-color:var(--buncss-light,#a30000)var(--buncss-dark,#ff5252);--error-bg-color:var(--buncss-light,#ffb6c1)var(--buncss-dark,#4b0000);--error-hover-bg-color:var(--buncss-light,#600)var(--buncss-dark,#e99);--light-accent-color:var(--buncss-light,#00f3)var(--buncss-dark,#4ebaf860);--accent-border-color:var(--buncss-light,#00f)var(--buncss-dark,#40b9ff);--accent-opaque-color:var(--buncss-light,#ccf)var(--buncss-dark,#305b73);--statusbar-bg-color:var(--buncss-light,#e1e5eb)var(--buncss-dark,#303044);--statusbar-fg-color:var(--buncss-light,#000)var(--buncss-dark,#fff);--statusbar-error-bg-color:var(--buncss-light,#a30000)var(--buncss-dark,#ff5252);--statusbar-error-fg-color:var(--buncss-light,#fff)var(--buncss-dark,#000);--separator-color:var(--buncss-light,#d3d3d3)var(--buncss-dark,#3a3a3a);--inactive-bg-color:var(--buncss-light,#f7f7f7)var(--buncss-dark,#1d1d1d);--inactive-fg-color:var(--buncss-light,gray)var(--buncss-dark,#464646);--button-bg-color:var(--buncss-light,#fcfcfc)var(--buncss-dark,#2c323f);--textbox-bg-color:var(--buncss-light,#fff)var(--buncss-dark,#242928);--modal-backdrop-color:var(--buncss-light,#c8c8c8b3)var(--buncss-dark,#171620d8);--status-inactive-color:var(--buncss-light,gray)var(--buncss-dark,gray);--status-ok-color:var(--buncss-light,#228b22)var(--buncss-dark,#228b22);--or-state-bg-color:var(--buncss-light,#eee)var(--buncss-dark,#000);--and-state-bg-color:var(--buncss-light,#fff)var(--buncss-dark,#2e2e2e);--rountangle-stroke-color:var(--buncss-light,#000)var(--buncss-dark,#d4d4d4);--active-state-bg-color:var(--buncss-light,#fff0d6)var(--buncss-dark,#352512);--active-state-border-color:var(--buncss-light,#cd8500)var(--buncss-dark,#eb7c15);--fired-transition-color:var(--buncss-light,#a000a8)var(--buncss-dark,#a000a8);--firing-transition-color:var(--buncss-light,#ff8009)var(--buncss-dark,#ff8009);--associated-color:var(--buncss-light,green)var(--buncss-dark,#baf577);--greeter-bg-color:var(--buncss-light,#fff9eb)var(--buncss-dark,#182846);--summary-hover-bg-color:var(--buncss-light,#eee)var(--buncss-dark,#2e2f35);--internal-event-bg-color:var(--buncss-light,#ffdafc)var(--buncss-dark,#631b5e);--input-event-bg-color:var(--buncss-light,#e0f7d1)var(--buncss-dark,#3b5f25);--input-event-hover-bg-color:var(--buncss-light,#c3e0b0)var(--buncss-dark,#3b5828);--input-event-active-bg-color:var(--buncss-light,#b0cc9e)var(--buncss-dark,#4d7535);--output-event-bg-color:var(--buncss-light,#e6f9ff)var(--buncss-dark,#1c5368);--foundtext-color:var(--buncss-light,#00bda4)var(--buncss-dark,#ca95da);background-color:var(--background-color);color:var(--text-color)}@media (prefers-color-scheme:dark){:root{--buncss-light: ;--buncss-dark:initial}}input{background-color:var(--textbox-bg-color);border:1px solid var(--separator-color)}button,input[type=submit]{background-color:var(--button-bg-color);border:1px var(--separator-color)solid}button:not(:disabled):hover,input[type=submit]:not(:disabled):hover{background-color:var(--light-accent-color)}button:disabled,input[type=submit]:disabled{background-color:var(--inactive-bg-color);color:var(--inactive-fg-color)}button.active{border:solid var(--accent-border-color)1px;background-color:var(--light-accent-color);color:var(--text-color)}div#root{height:100%}kbd{display:inline-block;vertical-align:middle;user-select:none;color:#000;background:linear-gradient(#ebebeb,#fff);border:.8px solid #aaa;border-radius:4px;padding:.12em .3em 3px;font-family:ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.9em;line-height:1;box-shadow:inset 0 -1.5px #aaa}kbd:active{transform:translateY(1px)}input{accent-color:var(--accent-opaque-color)}::selection{background-color:var(--light-accent-color)}label{user-select:none}details:has(+details){border-bottom:1px var(--separator-color)solid}.runtimeState{padding:4px}.runtimeState:has(+.runtimeState){border-bottom:1px var(--separator-color)solid}.runtimeState:has(+.runtimeState.active){border-bottom:0}.runtimeState:hover{background-color:var(--light-accent-color);cursor:pointer}.runtimeState.active{background-color:var(--light-accent-color);border:solid var(--accent-border-color)1px}.runtimeState.plantStep:not(.active){background-color:var(--inactive-bg-color)}.runtimeState.plantStep *{color:var(--inactive-fg-color)}.runtimeState.runtimeError{background-color:var(--error-bg-color);color:var(--error-color)}.runtimeState.runtimeError.active{border-color:var(--error-color)}.readonlyTextBox{text-align:"right";width:56px}.toolbar *{vertical-align:middle}.toolbar input{box-sizing:border-box;height:26px}.toolbar div{vertical-align:bottom}.toolbar button{height:26px}.toolbarGroup{display:inline-block}.modalOuter{position:absolute;display:flex;text-align:center;background-color:var(--modal-backdrop-color);z-index:1000;justify-content:center;align-items: center;width:100%;height:100%}.modalInner{position:relative;text-align:center;display:inline-block;background-color:var(--background-color);overflow:auto;max-height:100vh}div.stackVertical{display:flex;flex-direction:column}div.stackHorizontal{display:flex;flex-direction:row}div.status{display:inline-block;vertical-align:middle;background-color:var(--status-inactive-color);border-radius:50%;width:12px;height:12px;margin-left:4px;margin-right:4px}div.status.violated{background-color:var(--error-color)}div.status.satisfied{background-color:var(--status-ok-color)}.statusBar{background-color:var(--statusbar-bg-color);color:var(--statusbar-fg-color)}.statusBar.error{background-color:var(--statusbar-error-bg-color);color:var(--statusbar-error-fg-color)}.statusBar summary:hover{background-color:color-mix(in srgb,var(--statusbar-bg-color)60%,var(--background-color))}.statusBar.error summary:hover{background-color:color-mix(in srgb,var(--statusbar-error-bg-color)70%,var(--text-color))}.statusBar a{color:inherit}.greeter{background-color:var(--background-color)}.bottom{border-top:1px var(--separator-color)solid;background-color:var(--bottom-panel-bg-color)}.watchButtonHelper{fill-opacity:0}.watchButtonHelper:hover{fill:beige;fill-opacity:.5}.watchButtonHelper:active{fill:red;fill-opacity:1}rect.microwaveButtonHelper{fill-opacity:0}rect.microwaveButtonHelper:hover{fill:#2ed3c5;fill-opacity:.5}rect.microwaveButtonHelper:active{fill:red;fill-opacity:.5}rect.microwaveDoorHelper{fill:#2ed3c5;fill-opacity:0}rect.microwaveDoorHelper:hover{fill-opacity:.3}details>summary{padding:2px}details>summary:hover{background-color:var(--summary-hover-bg-color);cursor:default}.errorStatus details>summary:hover{background-color:var(--error-hover-bg-color)}.stateTree>*{background-color:#fff;padding-left:10px}.outputEvent{cursor:default;border:1px var(--separator-color)solid;background-color:var(--output-event-bg-color);color:var(--text-color);display:inline-block;border-radius:6px;padding-left:2px;padding-right:2px}.internalEvent{cursor:default;border:1px var(--separator-color)solid;background-color:var(--internal-event-bg-color);color:var(--text-color);display:inline-block;border-radius:6px;padding-left:2px;padding-right:2px}.inputEvent{border:1px var(--separator-color)solid;background-color:var(--input-event-bg-color);color:var(--text-color);display:inline-block;border-radius:6px;padding-left:2px;padding-right:2px}.inputEvent:disabled{color:#a9a9a9}.inputEvent *{vertical-align:middle}button.inputEvent:hover:not(:disabled){background-color:var(--input-event-hover-bg-color)}button.inputEvent:active:not(:disabled){background-color:var(--input-event-active-bg-color)}.activeState{border:var(--active-state-border-color)1px solid;background-color:var(--active-state-bg-color);display:inline-block;color:var(--text-color);border-radius:6px;margin-left:4px;padding-left:2px;padding-right:2px}ul{list-style-type:circle;margin-block-start:0;margin-block-end:0;padding-inline-start:24px}.shadowBelow{z-index:1;box-shadow:0 -5px 5px 5px #0006}.svgCanvas{cursor:crosshair;background-color:var(--or-state-bg-color)}.svgCanvas.dragging{cursor:grabbing!important}.svgCanvas.dragging .helper:hover{visibility:hidden!important}.svgCanvas text{user-select:none}.selecting{fill:var(--light-accent-color);stroke-width:1px;stroke:var(--accent-border-color);stroke-dasharray:7 6}.rountangle{fill:var(--and-state-bg-color);stroke:var(--rountangle-stroke-color);stroke-width:2px}.rountangle.error{stroke:var(--error-color)}.rountangle.active{stroke:var(--active-state-border-color);fill:var(--active-state-bg-color)}.selected:hover:not(:active){cursor:grab}line.helper{stroke:#0000;stroke-width:16px}line.helper:hover:not(:active){stroke:var(--light-accent-color);cursor:grab}path.helper{fill:none;stroke:#0000;stroke-width:16px}path.helper:hover:not(:active){stroke:var(--light-accent-color);cursor:grab}circle.helper{fill:#0000}circle.helper:hover:not(:active){fill:var(--light-accent-color);cursor:grab}.rountangle.or{stroke-dasharray:7 6;fill:var(--or-state-bg-color)}.arrow{fill:none;stroke:var(--rountangle-stroke-color);stroke-width:2px}.arrow.selected{stroke:var(--accent-border-color);stroke-width:3px}.arrow::marker{fill:content-stroke}#arrowEnd,#initialMarker{fill:context-stroke}.arrow:hover{cursor:grab}line.selected,circle.selected{fill:var(--light-accent-color);stroke:var(--accent-border-color);stroke-width:4px}text.helper{fill:#0000;stroke:#0000;stroke-width:6px}text.helper:hover{stroke:var(--light-accent-color);cursor:grab}.draggableText{paint-order:stroke;fill:var(--text-color);stroke:var(--background-color);stroke-width:4px;text-anchor:middle;white-space:preserve}.draggableText.selected{fill:var(--accent-border-color);font-weight:600}.draggableText.highlight:not(.selected){fill:var(--associated-color)}.draggableText.error:not(.selected){fill:var(--error-color)}text.errorHover{display:none;paint-order:stroke;fill:var(--error-color);stroke:var(--background-color);stroke-width:4px;white-space:preserve;font-weight:600}g:hover>text.errorHover{display:inline}tspan.findText{fill:var(--foundtext-color);font-weight:600}.highlight:not(.selected):not(text){stroke:var(--associated-color);stroke-width:3px;fill:none}.arrow.error:not(.selected){stroke:var(--error-color)}.arrow.fired{stroke:var(--fired-transition-color);stroke-width:3px;animation:blinkTransition 1s}@keyframes blinkTransition{0%{stroke:var(--firing-transition-color);stroke-width:6px;filter:drop-shadow(0 0 5px var(--firing-transition-color))}to{stroke:var(--fired-transition-color)}}text.uid{fill:var(--separator-color)}