/*
 * Thanks to Code Golf SE user Neil for helping with CSS:
 * https://codegolf.stackexchange.com/users/17602/neil
 * https://chat.stackexchange.com/transcript/message/64857647#64857647
 */

html {
    height: 100%;
    display: flex;
}

body {
    background-color: black;
    font-size: 14px;
    color: white;
    font-family: monospace;
    width: 100%;
}

#interpreter-box, #editor-box {
    height: 100%;
    display: flex;
}

#interpreter-subbox, #editor-subbox {
    display: flex;
    flex-flow: column;
    width: 100%;
}

.original {
  font-weight: bold;
}

.initial {
  font-style: italic;
}

.value {
  text-decoration: underline;
}

.token:nth-child(even) {
    color: #3333FF;
}

.token:nth-child(odd) {
    color: #00FF00;
}

.token.ip:before {
    content: "*";
    color: #FF0000;
}

pre {
    overflow: scroll;
}

#code_output_box {
    display: grid;
    grid-template-columns: 50% 50%;
    width: 100%;
    flex: 1 1 auto;
    min-height: 0;
}

#code, #output {
    margin: 0.5em;
}

button {
    border: none;
    font-family: monospace;
    background-color: #0F0;
    color: black;
    font-size: 16pt;
}

button#go-to-editor, button#run {
    background-color: #F00;
    float: right;
}

.inactive {
    display: none !important;
}

button[disabled] {
    background-color: #999 !important;
}

span.error {
    color: #F00;
}

textarea {
    resize: none;
    height: 100%;
    background-color: #333333;
    font-size: 14px;
    color: white;
    border: none;
    font-family: monospace;
}