html, body {
    height: 100%;
}

* {
    box-sizing: border-box;
}


p {
    margin: 0;
}

#source-code {
    font-size: 17px;
    margin: 0;
    overflow: scroll;
}

.highlight {
    background-color: yellow;
}

#editor {
    display: grid;
    height: 800px;
    width: 100%; 
    grid-template-columns: 1fr 1fr;
    gap: 10px;
    margin-top: 10px;
    border-radius: 20px;
}

/* DMN model and source code CSS. */
#dmn-model, #source-code {
    background-color: white;
    border-radius: 5px;
    padding: 0px;
    flex: 1;
    overflow: auto;
}

#source-code-container, #dmn-model-container {
    background-color: #333;
    border-radius: 5px;
    display: flex;
    padding: 10px;
    border-radius: 5px;
    margin-bottom: 10px;
    flex-direction: column;
    overflow: hidden;
}