:root{--vt-c-white: #ffffff;--vt-c-white-soft: #f8f8f8;--vt-c-white-mute: #f2f2f2;--vt-c-black: #181818;--vt-c-black-soft: #222222;--vt-c-black-mute: #282828;--vt-c-indigo: #2c3e50;--vt-c-divider-light-1: rgba(60, 60, 60, .29);--vt-c-divider-light-2: rgba(60, 60, 60, .12);--vt-c-divider-dark-1: rgba(84, 84, 84, .65);--vt-c-divider-dark-2: rgba(84, 84, 84, .48);--vt-c-text-light-1: var(--vt-c-indigo);--vt-c-text-light-2: rgba(60, 60, 60, .66);--vt-c-text-dark-1: var(--vt-c-white);--vt-c-text-dark-2: rgba(235, 235, 235, .64)}:root{--color-background: var(--vt-c-white);--color-background-soft: var(--vt-c-white-soft);--color-background-mute: var(--vt-c-white-mute);--color-border: var(--vt-c-divider-light-2);--color-border-hover: var(--vt-c-divider-light-1);--color-heading: var(--vt-c-text-light-1);--color-text: var(--vt-c-white-mute);--section-gap: 160px}*,*:before,*:after{box-sizing:border-box;margin:0;font-weight:400}body{min-height:100vh;transition:color .5s,background-color .5s;line-height:1.6;font-family:monospace,sans-serif;font-size:15px;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}:root{--c-bg: #181818;--c-bg-dark: #181818;--c-bg-soft: #222222;--c-btn: #333333;--c-btn-hover: #3f3f3f;--c-border: var(--vt-c-divider-light-2);--c-border-hover: var(--vt-c-divider-light-1);--c-heading: var(--vt-c-text-light-1);--c-text: #f2f2f2;--c-valid: #2ecc40;--c-invalid: #ff4136;--s-s: 2px;--s-m: 4px;--s-l: 8px;--s-xl: 16px;--s-xxl: 64px;--header-height: 9vh}body{color:var(--c-text);background:var(--c-bg)}.button{background-color:var(--c-btn);display:inline-block;align-items:center;justify-content:center;border-radius:4px;padding:2px 6px;cursor:pointer;-webkit-user-select:none;user-select:none}.button:hover{background-color:var(--c-btn-hover)}.mode-switch{cursor:pointer;display:flex;gap:var(--s-m);align-items:center;justify-content:center;padding:var(--s-m);border-radius:var(--s-m);background-color:var(--c-bg-dark)}.switch{border-radius:var(--s-m);padding:2px 6px;-webkit-user-select:none;user-select:none}.active{background-color:var(--c-btn)}header[data-v-e6619e94]{background-color:var(--c-bg-soft);height:var(--header-height);position:fixed;width:100%;display:grid;grid-template-columns:1fr 1fr 1fr}.buttons[data-v-e6619e94]{display:flex;gap:var(--s-xl);align-items:center;justify-content:center}.switches[data-v-e6619e94]{display:flex;align-items:center;justify-content:center}main[data-v-e6619e94]{padding-top:var(--header-height)}#title[data-v-e6619e94]{text-align:center;font-size:2em;display:flex;justify-content:center;align-items:center}.button.disabled[data-v-e6619e94]{opacity:.5;cursor:not-allowed;pointer-events:none}.cy-container[data-v-49c6ae83]{width:100%;height:100%;min-width:0;min-height:100%;border:4px solid var(--c-border);border-radius:8px}.history-lists[data-v-46136086]{display:grid;grid-template-columns:1fr 1fr;max-height:80vh;overflow-y:auto;scrollbar-width:none;-ms-overflow-style:none}.history-lists[data-v-46136086]::-webkit-scrollbar{display:none}.added-edges .current[data-v-46136086]{background-color:#28a74580;border-radius:var(--s-m)}.removed-edges .current[data-v-46136086]{background-color:#dc354580;border-radius:var(--s-m)}.list[data-v-46136086]{text-align:center;padding:0 var(--s-s)}.step[data-v-46136086]{text-align:center}.edge-entry[data-v-46136086]{border-radius:3px;border:2px solid transparent;cursor:pointer;-webkit-user-select:none;user-select:none}.highlighted[data-v-46136086]{border:2px solid #ffc444}.simulation{padding:var(--s-xl) 8%;height:calc(100vh - var(--header-height));display:flex;flex-direction:column;padding-bottom:var(--header-height)}.graph-problem-name{text-align:center;background:transparent;border:none;outline:none;font-size:inherit;font-family:inherit;font-weight:inherit;color:inherit;width:100%;display:block;padding-bottom:var(--s-m)}.graph-problem-content{display:grid;grid-template-columns:auto 10em;flex:1;min-height:70vh}.no-graph{grid-column:1 / -1;display:flex;align-items:center;justify-content:center;text-align:center;color:var(--color-text-secondary);font-size:var(--fs-m)}.graph-information{display:flex;flex-direction:column;height:100%;padding-left:var(--s-l)}.show-overlap{display:flex;align-items:center;gap:var(--s-l);margin-top:auto;-webkit-user-select:none;user-select:none;padding:var(--s-l)}.show-overlap-checkbox{appearance:none;-webkit-appearance:none;width:1rem;height:1rem;background-color:var(--c-bg);border:2px solid var(--c-text);border-radius:3px;cursor:pointer}.show-overlap-checkbox:checked{background-color:var(--c-text)}