/* color palette from <https://github.com/vuejs/theme> */
: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, 0.29);
    --vt-c-divider-light-2: rgba(60, 60, 60, 0.12);
    --vt-c-divider-dark-1: rgba(84, 84, 84, 0.65);
    --vt-c-divider-dark-2: rgba(84, 84, 84, 0.48);

    --vt-c-text-light-1: var(--vt-c-indigo);
    --vt-c-text-light-2: rgba(60, 60, 60, 0.66);
    --vt-c-text-dark-1: var(--vt-c-white);
    --vt-c-text-dark-2: rgba(235, 235, 235, 0.64);
}
/* semantic color variables for this project */
: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-text-light-1);

    --section-gap: 160px;
}
@media (prefers-color-scheme: dark) {
    :root {
        --color-background: var(--vt-c-black);
        --color-background-soft: var(--vt-c-black-soft);
        --color-background-mute: var(--vt-c-black-mute);

        --color-border: var(--vt-c-divider-dark-2);
        --color-border-hover: var(--vt-c-divider-dark-1);

        --color-heading: var(--vt-c-text-dark-1);
        --color-text: var(--vt-c-text-dark-2);
    }
}
*,
*::before,
*::after {
    box-sizing: border-box;
    margin: 0;
    font-weight: normal;
}
body {
    min-height: 100vh;
    color: var(--color-text);
    background: var(--color-background);
    transition:
        color 0.5s,
        background-color 0.5s;
    line-height: 1.6;
    font-family:
        Inter,
        -apple-system,
        BlinkMacSystemFont,
        "Segoe UI",
        Roboto,
        Oxygen,
        Ubuntu,
        Cantarell,
        "Fira Sans",
        "Droid Sans",
        "Helvetica Neue",
        sans-serif;
    font-size: 15px;
    text-rendering: optimizeLegibility;
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
}
#app {
    max-width: 1280px;
    margin: 0 auto;
    padding: 2rem;

    font-weight: normal;
}
a,
.green {
    text-decoration: none;
    color: hsla(160, 100%, 37%, 1);
    transition: 0.4s;
}
@media (hover: hover) {
    a:hover {
        background-color: hsla(160, 100%, 37%, 0.2);
    }
}
@media (min-width: 1024px) {
    body {
        display: flex;
        place-items: center;
    }

    #app {
        display: grid;
        grid-template-columns: 1fr 1fr;
        padding: 0 2rem;
    }
}

.output[data-v-b1dfbde0] {
    padding: 1em;

    white-space: pre-wrap;
    overflow: scroll;

    list-style-type: none;

    display: flex;
    flex-direction: column;

    color: var(--white);
    background: var(--background-13);
}
.output-message.error[data-v-b1dfbde0] {
    color: var(--error);
}
.output-message.success[data-v-b1dfbde0] {
    color: var(--success);
}

.container[data-v-f68a6c1e] {
    display: flex;
    width: 100%;
    max-width: 100%;
    height: 100%;
    max-height: 100%;
    overflow: hidden;
    padding: 0;
    margin: 0;
}
.container > .left[data-v-f68a6c1e] {
    width: 100%;
    height: 100%;
}
.container > .right[data-v-f68a6c1e] {
    flex-grow: 1;
    width: 100%;
    height: 100%;
}
.container > .separator[data-v-f68a6c1e] {
    flex-grow: 0;
}

.container[data-v-ff5f7ea8] {
    width: 100%;
    height: 100%;
    overflow-y: scroll;
    overflow-x: hidden;

    color: var(--white);
    background: var(--background-13);
}
.container[data-v-ff5f7ea8]:focus {
    outline: none;
}
.container > *[data-v-ff5f7ea8] {
    flex-shrink: 0;
}
.container > .top[data-v-ff5f7ea8] {
    display: flex;
    flex-direction: row;
    justify-content: space-between;
    margin-bottom: 1rem;
}
.configurations-wrapper[data-v-ff5f7ea8] {
    display: flex;
    justify-content: center;
    width: 100%;
}
.configurations[data-v-ff5f7ea8] {
    display: flex;
    flex-direction: row;
    justify-content: start;
    gap: 0.75rem;
    overflow: scroll;
    padding-bottom: 0.5rem;
    margin-bottom: 1rem;
}
.configuration[data-v-ff5f7ea8] {
    flex-shrink: 0;
    display: block;
    min-width: 6rem;
    height: 5rem;
    padding: 0.25rem;

    border-radius: 0.25rem;
    background: var(--background-20);
    text-align: center;
    font-size: 1.25em;
}
.configuration.selected[data-v-ff5f7ea8] {
    border: 0.25rem solid var(--detail-yellow);
}
.configuration.rejected[data-v-ff5f7ea8] {
    border: 0.25rem solid var(--detail-red);
}
.configuration.accepted[data-v-ff5f7ea8] {
    border: 0.25rem solid var(--detail-green);
}
button.close[data-v-ff5f7ea8] {
    font-weight: 800;
}
.tapes[data-v-ff5f7ea8] {
    display: flex;
    flex-direction: column;
    gap: 1rem;
}
.tape-track[data-v-ff5f7ea8] {
    width: 100%;
    height: 2rem;
    position: relative;
}
.tape-track.unbounded[data-v-ff5f7ea8] {
    background: var(--lighter-white);
}
.tape-track[data-v-ff5f7ea8]::after {
    content: "^";
    position: relative;
    left: calc(50% - 0.5rem);
    bottom: -1.4rem;

    color: var(--detail-green);
    font-size: 1.5rem;
    font-weight: 800;
}
@keyframes tape_overflow_left-ff5f7ea8 {
from {
        left: calc(50% - 1.2rem - 2.2rem);
}
to {
        left: calc(50% - 1.2rem);
}
}
.tape[data-v-ff5f7ea8] {
    display: flex;
    position: absolute;
    background: var(--background-13);
    transition: left 0.15s;
}
.tape.overflow_left[data-v-ff5f7ea8] {
    animation-name: tape_overflow_left-ff5f7ea8;
    animation-duration: 0.15s;
}
.tape > span[data-v-ff5f7ea8] {
    display: inline-block;
    width: 2rem;
    height: 2rem;
    padding: 0;
    background: var(--lighter-white);
    margin-right: 0.2rem;

    text-align: center;
    line-height: 2rem;
    color: var(--black);
    font-weight: 500;
    font-size: 1.25rem;
}
.tape > span[data-v-ff5f7ea8]:first-child {
    margin-left: 0.2rem;
}
.shortcut_label[data-v-ff5f7ea8] {
    font-size: 0.75em;
    color: var(--detail-green);
}

.sentence *[data-v-ae184c6e] {
    font-size: 1em;
    font-weight: 600;
    line-height: 0;
}
.sentence .nonterminal[data-v-ae184c6e] {
    background-color: var(--background-20);
    border-radius: 0.25rem;
    padding: 0 0.25rem;
    margin: 0 0.1rem;
}
.sentence .highlight[data-v-ae184c6e] {
    background-color: color-mix(in srgb, var(--detail-green) 30%, transparent);
    border-radius: 0.25rem;
    padding: 0.25rem 0;
}

.container[data-v-f06c008d] {
    width: 100%;
    height: 100%;
    overflow-y: scroll;
    overflow-x: hidden;
    position: relative;
    
    color: var(--white);
    background: var(--background-13);
}
.container[data-v-f06c008d]:focus {
    outline: none;
}
.container > .top[data-v-f06c008d] {
    display: flex;
    flex-direction: row;
    padding: 0 1rem;
    justify-content: space-between;
}
.container > .top > .control[data-v-f06c008d] {
    display: flex;
    gap: 0.5rem;
}
.container > .top button[data-v-f06c008d] {
    font-weight: 500;
}
.container > .top button.close[data-v-f06c008d] {
    font-weight: 800;
}
.sequence-container[data-v-f06c008d] {
    position: sticky;
    top: 0;
    z-index: 1;
    text-align: center;
    padding: 1rem 0.75rem 0.5rem;
    overflow: scroll;
    background: var(--background-13);
    user-select: none;
}
.sequence-container.shadow[data-v-f06c008d] {
    box-shadow: 0 0.1rem 0.5rem rgba(0, 0, 0, 0.2);
}
.sentence[data-v-f06c008d] {
    font-size: 1.5rem;
}
.rules[data-v-f06c008d] {
    display: flex;
    width: 100%;
    flex-direction: column;
    align-items: center;
    padding: 2rem 1rem;
    user-select: none;
    gap: 0.5rem;
}
.rule[data-v-f06c008d] {
    display: flex;
    align-items: center;
    gap: 1rem;
}
.rule-options[data-v-f06c008d] {
    display: flex;
    flex-wrap: wrap;
    gap: 1rem;
}
.rule-option[data-v-f06c008d] {
    padding: 0.5rem 0.5rem;
    position: relative;
}
.rule-option[data-v-f06c008d]:not(:last-child)::after {
    content: '|';
    pointer-events : none;
    position: absolute;
    right: -1rem;
    bottom: 0.3rem;

    color: var(--detail-green);
    font-size: 1.5rem;
    font-weight: 600;
}
.rule-option[data-v-f06c008d]:hover {
    background-color: color-mix(in srgb, var(--detail-green) 30%, transparent);
    border-radius: 0.25rem;
    cursor: pointer;
}
.rule-arrow[data-v-f06c008d] {
    color: var(--detail-green);
    font-size: 1.5rem;
    font-weight: 600;
}

.container[data-v-79faf6e1] {
    width: 100%;
    height: 100%;
    overflow-y: scroll;
    overflow-x: scroll;
    margin-right: 1rem;
    position: relative;
    
    color: var(--white);
    background: var(--background-13);
}
.container[data-v-79faf6e1]:focus {
    outline: none;
}
.container > .top[data-v-79faf6e1] {
    display: flex;
    flex-direction: row;
    padding: 0 1rem;
    justify-content: space-between;
    font-weight: 500;
}
.container > .top > .control[data-v-79faf6e1] {
    display: flex;
    gap: 1rem;
    align-items: center;
}
.container > .top button.close[data-v-79faf6e1] {
    font-weight: 800;
}
.body[data-v-79faf6e1] {
    padding: 0.5rem 1rem;
}
.sentences[data-v-79faf6e1] {
    display: flex;
    flex-wrap: wrap;
    gap: 1rem;
    /* flex-direction: column;
    align-items: center; */
    font-size: 1.25rem;
}
.sentences > *[data-v-79faf6e1] {
    font-size: 1em;
}
.sentence-index[data-v-79faf6e1] {
    margin-right: 0.25rem;
}


.visualizer[data-v-a433b150],
.visualizer-canvas[data-v-a433b150] {
    display: block;
    width: 100%;
    height: 100%;
}
.visualizer[data-v-a433b150] {
    position: relative;
    overflow: hidden;
}
.autofocus-checkbox[data-v-a433b150] {
    position: absolute;
    right: 0.5rem;
    top: 0.5rem;
    z-index: 1;
}

.objects[data-v-e7a317fb] {
    list-style-type: none;

    display: flex;
    flex-direction: column;
    margin: 0;
    padding: 0;

    user-select: none;
}
.objects > li[data-v-e7a317fb] {
    padding: 0.5em 1em;
    position: relative;
}
.objects > li[data-v-e7a317fb]:hover::before {
    content: "";
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background: rgba(255, 255, 255, 0.4);
    cursor: pointer;
}

.test-input[data-v-f9458399] {
    display: flex;
    gap: 0.5rem;
    width: 100%;
    height: 2.33rem;
}
.test-input > button[data-v-f9458399] {
    flex-shrink: 0;
    width: 4rem;
    padding: 0;
    text-align: center;
    line-height: 50%;
}
.test-input > input[data-v-f9458399] {
    width: 100%;
    flex-grow: 1;
    flex-shrink: 1;

    outline: none;
    border: none;
    border-radius: 0.2rem;
    background: var(--light-gray);
}
.test-input > input[data-v-f9458399]:focus {
    outline: 0.15rem solid var(--detail-green);
}

.sidebar[data-v-76024807] {
    width: 100%;
    background: var(--background-15);
    height: 100%;
    color: var(--white);

    max-height: 100%;
    overflow-y: scroll;
    word-wrap: break-word;
}
.menu[data-v-76024807] {
    display: flex;
    flex-direction: column;
    align-items: start;
    gap: 0.25rem;
    padding-bottom: 1em;
}
.menu-top[data-v-76024807] {
    display: flex;
    width: 100%;
    align-items: center;
    overflow: hidden;
    margin-bottom: 1em;
}
.menu-top > div[data-v-76024807] {
    flex-grow: 1;
    margin-left: 1em;
    width: calc(100% - 4.5em);
    word-wrap: break-word;
}
.menu-top .type[data-v-76024807] {
    color: var(--detail-green);
    display: block;
    margin: 0;
    padding: 0;
}
.menu-top > .return[data-v-76024807] {
    padding: 0.5em 1.25em;
    font-weight: 800;
}
.menu-top .modifier[data-v-76024807] {
    display: inline-block;
    color: var(--detail-green);
    text-wrap: nowrap;
}

.main-content {
    flex-grow: 1;
    max-height: 100vh;
    height: 100%;
    display: flex;
    flex-direction: column;
    justify-content: space-between;
}
.main-top > .separator {
    background: var(--background-15);
}
.main-content > .separator {
    background: var(--background-13);
}
.main-sidebar {
    padding: 15px 0 0 15px;
}
.main-output {
    height: 100%;
}
.main-content button {
    font-size: 1em;
    position: relative;
    padding: 0.5em 1.25em;
    cursor: pointer;
    background: none;
    border: none;
    color: inherit;
}
.main-content button:hover::before {
    content: "";
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    cursor: pointer;
    background: color-mix(in srgb, currentColor 40%, transparent);
}
.main-content button.green:hover::before {
    background: color-mix(in srgb, var(--detail-green) 30%, transparent);
}
.main-content .green {
color: var(--detail-green);
}
.main-content .text-small {
    font-size: 0.75em;
}

:root {
    --white: #f0f0ff;
    --lighter-white: #f0f8ff;
    --light-gray: #e9e9f5;

    --black: #181818;
    --text: rgba(235, 235, 235, 0.64);

    --detail-green: #00bd7e;
    --detail-yellow: #e1b217;
    --detail-red: #f83939;
    --detail-gray: #c0c0c0;

    --error: #f48771;
    --success: #64fa61;
    --background-9: #181818;
    --background-12: #1e1e1e;
    --background-13: #212121;
    --background-15: #252525;
    --background-20: #333333;
    --select: #607fef;
    --detail-15: #3a3a3a;
}
html {
    overscroll-behavior: contain;
}
body {
    font-size: 16px;
    color: black;
    background: var(--background-9);
    overscroll-behavior: contain;
}
* {
    scrollbar-width: thin;
    scrollbar-color: rgba(255, 255, 255, 0.1) rgba(0, 0, 0, 0);
}
*:hover {
    scrollbar-color: rgba(255, 255, 255, 0.2) rgba(0, 0, 0, 0);
}
*::-webkit-scrollbar {
    width: 0.25rem;
}
*::-webkit-scrollbar-corner {
    display: none;
}
*::-webkit-scrollbar-track {
    display: none;
}
*::-webkit-scrollbar-thumb {
    background: rgba(255, 255, 255, 0.1);
}
*::-webkit-scrollbar-thumb:hover {
    background: rgba(255, 255, 255, 0.2);
}
ul {
    list-style-type: none;
    padding: 0;
    margin: 0;
}
main,
#app {
    padding: 0;
    margin: 0;

    width: 100%;
    max-width: 100%;
    height: 100vh;
    max-height: 100%;
}
* {
    font-family: "Droid Sans", monospace;
    font-size: 15px;
    font-weight: 400;
}
main {
    display: flex;
    width: 100vw;
    flex-direction: row;
    justify-content: space-between;
    align-items: center;
    font-family: "Droid Sans Mono", "monospace";
}
.main-split > .separator {
    background: var(--background-12);
    border-left: var(--detail-15) solid 0.1em;
}
.editor {
    color: var(--light-gray);
    background: var(--background-12);
}