automata/docs/style.css

.tipTitle.error{color:#d73a49}.tipTitle.warning{color:#ffd33d}.tipTitle.info{color:#79c0ff}.cm-tooltip.cm-tooltip-hover{border:1px solid #ddd;background:#000;box-shadow:0 8px 30px rgba(0,0,0,.12);border-radius:10px;padding:8px 10px;max-width:420px;font-size:13px;line-height:1.35}.tipTitle{font-weight:700;margin-bottom:4px}.tipBody{white-space:pre-wrap}.editor{height:100%;width:100%}.cm-editor{height:100%}.cm-scroller{overflow-y:auto !important}.diag{margin:0;padding-left:18px}.diag li{margin:6px 0}.tok-comment{color:#1a7b24}.tok-keyword{color:#b99400;font-weight:600}.tok-error{color:#ff0505;font-weight:1000}.tok-ident{color:#90d4e0}.tok-brace{color:#d73a49;font-weight:600}.tok-punc{color:#fff}.tok-string{color:#03621e}.rb-0{color:#a35;font-weight:700}.rb-1{color:#ed0;font-weight:700}.rb-2{color:#9d5;font-weight:700}.rb-3{color:#2cb;font-weight:700}.rb-4{color:#36b;font-weight:700}.rb-5{color:#639;font-weight:700}.diag li.error{color:#d73a49}.diag li.warning{color:#b08800}.diag li.info{color:#0366d6}.cm-diag-error{text-decoration:underline wavy #d73a49;text-underline-offset:2px}.cm-diag-warning{text-decoration:underline wavy #ffd33d;text-underline-offset:2px}.cm-diag-info{text-decoration:underline wavy #79c0ff;text-underline-offset:2px}.terminal{background:#0b0f14;color:#c9d1d9;padding:1em;margin:0px;font-family:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono",monospace;font-size:12.5px;line-height:1.35;white-space:pre-wrap;word-break:break-word;height:100%;width:100%;overflow-y:auto;overflow-x:auto}.ansi-bold{font-weight:700}.ansi-dim{opacity:.7}.ansi-fg-30{color:#0b0f14}.ansi-fg-31{color:#ff7b72}.ansi-fg-32{color:#7ee787}.ansi-fg-33{color:#f2cc60}.ansi-fg-34{color:#79c0ff}.ansi-fg-35{color:#d2a8ff}.ansi-fg-36{color:#a5d6ff}.ansi-fg-37{color:#c9d1d9}.ansi-fg-90{color:#6e7681}.ansi-fg-91{color:#ffa198}.ansi-fg-92{color:#a6f3a6}.ansi-fg-93{color:#ffe082}.ansi-fg-94{color:#a5d6ff}.ansi-fg-95{color:#e3b8ff}.ansi-fg-96{color:#c7f0ff}.ansi-fg-97{color:#fff}.ansi-bg-40{background:#0b0f14}.ansi-bg-41{background:rgba(255,123,114,.22)}.ansi-bg-42{background:rgba(126,231,135,.18)}.ansi-bg-43{background:rgba(242,204,96,.18)}.ansi-bg-44{background:rgba(121,192,255,.18)}.ansi-bg-45{background:rgba(210,168,255,.18)}.ansi-bg-46{background:rgba(165,214,255,.18)}.ansi-bg-47{background:rgba(201,209,217,.1)}.centered{margin-right:auto;margin-left:auto;display:block;position:absolute;top:50%;left:50%;transform:translate(-50%, -50%);color:#f0f0f0;font-size:24px;font-family:Ubuntu-Light,Helvetica,sans-serif;text-align:center}.lds-dual-ring{display:inline-block;width:24px;height:24px}.lds-dual-ring:after{content:" ";display:block;width:24px;height:24px;margin:0px;border-radius:50%;border:3px solid #fff;border-color:#fff rgba(0,0,0,0) #fff rgba(0,0,0,0);animation:lds-dual-ring 1.2s linear infinite}@keyframes lds-dual-ring{0%{transform:rotate(0deg)}100%{transform:rotate(360deg)}}html,body{height:100%;width:100%;margin:0;font-family:system-ui,sans-serif;background:#909090}.app{height:100vh;width:100vw;overflow:hidden}.graph{width:100%;height:100%;background:#111}.vscroll{height:100%;overflow-x:scroll}.hSplit{cursor:row-resize;height:8px;background:hsla(0,0%,100%,.06)}.vSplit{cursor:col-resize;width:8px;background:hsla(0,0%,100%,.06)}.hSplit:hover,.vSplit:hover{background:rgba(121,192,255,.25)}