.textarea {
    /*background-color: 654a89;*/
    background-color: eeeeee;
    border-color: black;
    border-radius: 0.5rem;
    width: 100%;
    padding-top:0.5rem;
    padding-bottom:0.5rem;
}

span.plus {
    background-color: ffdddd;
}

span.minus {
    background-color: ffaa66;
}

span.gt {
    background-color: ccffcc;
}

span.lt {
    background-color: ccffcc;
}

span.lbrack {
    background-color: aaaaff;
}

span.rbrack {
    background-color: aaaaff;
}

span.dot {
    background-color: aaddff;
}

span.comma {
    background-color: ffff55;
}

.highlight {
    border: 0.2rem solid green;
}

#output-text {
    font-family: Consolas;
    color: green;
    background-color: black;
    height: 50%;
    display: block;
    resize: auto;
    rows: 10;
    width: 100%;
    height: 15rem;
    border-radius: 0.5rem;
    border: solid 0.1rem;
    border-color: aaaaaa;
    padding: 0.5rem;
}

#control-panel {
    border-top: solid 0.1rem;
    border-color: dddddd;
}