:root {
    --body-font: "Anuphan", sans-serif;
    --code-font: "JetBrains Mono", monospace;
    --font-thin: 200;
    --font-reg: 400;
    --font-bold: 700;
}

* {
    box-sizing: border-box;
}

html {
    font-size: 12pt;
}

body {
    font-family: var(--body-font);
    font-weight: var(--font-reg);
    padding: 1.5rem;
}

header {
    display: flex;
    flex-direction: row;
    align-items: baseline;
    margin-bottom: 1.5rem;
}

#title {
    font-size: 20pt;
    font-weight: var(--font-bold);
    margin: 0;
    margin-right: 1em;
}

#credit {
    font-size: 10pt;
    font-weight: 400;
    margin: 0;
}

#credit span:not(:last-of-type)::after {
    content: " • "
}

a {
    color: black;
    text-decoration: none;
}

a:hover {
    border-bottom: 1px solid black;
}

#navigation {
    margin-left: auto;
    font-weight: var(--font-bold);
}

#navigation ul {
    list-style-type: none;
}

#navigation li {
    display: inline-block;
    margin-left: 1rem;
    background-color: #fffccc;
}

#navigation li:hover {
    background-color: #fffc7d;
}

main {
    display: flex;
    flex-direction: row;
    justify-content: space-between;
    gap: 2rem;
    max-width: 2000px;
    width: 100%;
    height: calc(100vh - 10rem);
    margin: 0 auto;
    align-items: center;
    justify-content: center;
}

.io_box {
    flex: 1;
    height: 100%;
}

.io_box h3 {
    font-size: 12pt;
    font-weight: var(--font-bold);
    margin: 0;
    margin-bottom: 0.5em;
}

#input_box {
    width: 100%;
    height: calc(100% - 2rem);
    margin: 0;
    resize: none;
    border: 1px solid gray;
    font-family: var(--code-font);
    font-weight: var(--font-thin);
    font-size: 12pt;
}

#output_box {
    width: 100%;
    height: calc(100% - 2rem);
    border: 1px solid gray;
    padding: 1em;
    margin: 0;
    overflow: scroll;
}

#output_box * {
    box-sizing: content-box;
    white-space: nowrap;
}

#parse {
    font-family: var(--body-font);
    font-weight: var(--font-reg);
    font-size: 12pt;
    padding: 0.5em;
}