body {
    font-family: Helvetica, sans-serif;
    margin: 0;
    padding: 0;
    background-color: #f4f4f4;
}

h1, h2 {
    text-align: center;
}

#options {
    text-align: center;
    width: 50%;
    margin: auto;
    padding: 10px;
    /* box-shadow: 0 0 4px gray; */
    border-radius: 8px;
}

.container {
    display: flex;
    justify-content: center;
    text-align: center;
    align-items: normal;
    margin: auto;
    width: 95%;
    border-radius: 8px;
    /* box-shadow: 0 0 10px rgba(0, 0, 0, 0.1); */
}

.input-panel, .output-panel, .info-panel {
    font-family: "Fira Code", monospace;
    font-optical-sizing: auto;
    font-style: normal;
    width: 45%;
    padding: 10px;
    border-radius: 8px;
}

.info-panel {
    width: 30%;
}

#input, #output, #tagged, #constraints, #solution, .CodeMirror {
    width: calc(100% - 2 * 10px);
    height: 350px;
    padding: 8px;
    margin-top: 20px;
    margin-bottom: 20px;
    border: 2px solid #ccc;
    border-radius: 8px; resize: none;
    font-family: monospace;
    box-shadow: 0 0 5px rgba(0, 0, 0, 0.1);
    overflow-y: auto;
    overflow-x: auto;
}

#output, #tagged, #constraints, #solution {
    background-color: #d1d1d1;
    text-align: left;
    white-space: pre;
}

@media only screen and (max-width: 768px) {
    .container {
        flex-direction: column;
        align-items: center;
    }

    .input-panel, .output-panel {
        width: 90%;
        margin: 0px;
    }
}