/* Remove the p styling since we're using div now */
div {
    line-height: 1.2;
    margin: 0;
    padding: 0;
}

html,
body {
    width: 100%;
    height: 100%;
    padding: 0;
    margin: 0;
}

button, .button {
    font-family: monospace;
    background-color: #48156e;
    color: #e6e8ff;
    border: 0px;
    border-radius: 2px;
    padding: 8px 12px;
    cursor: pointer;
}

button:hover, .button:hover {
    background-color: #5a1a82;
}

.left {
    height: 100%;
    width: 70%;
    padding: 10px;
    background-color: #0d0a12;
    color: #e6e8ff;
    position: absolute;
    overflow: scroll;
}

.right {
    height: 100%;
    width: 30%;
    padding: 10px;
    background-color: #191324;
    color: #e6e8ff;
    position: absolute;
    right: 0;
}

/* Remove focus outline on the editor */
#editor {
    outline: none;
    font-family: monospace;
    white-space: pre-wrap;
    spellcheck: false; /* Disable spellcheck squiggly lines */
}

#console {
    font-family: monospace;
    white-space: pre-wrap;
}