body {
    background-color: #222530;
    margin: 0;
    padding: 0;
}

ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
    overflow: hidden;
    background-color: #222127;
}

ul li {
    float: right;
}

ul li a {
    display: block;
    color: #dfaf47;
    text-align: center;
    padding: 20px 20px;

    text-decoration: none;
    font-weight: bold;
    font-family: verdana;
}

#Home:active {
    text-decoration: underline #dfaf47;
}

#Interpreter:active {
    text-decoration: underline #dfaf47;
}

#Tutorial:active {
    text-decoration: underline #dfaf47;
}

#About:active {
    text-decoration: underline #dfaf47;
}

.compiler {
    width: 80%;
    max-width: 800px;
    margin: 40px auto;
    display: flex;
    flex-direction: column;
    gap: 10px;
    padding-top: 250px;
}

textarea, pre {
    width: 100%;
    min-height: 250px;
    background-color: #31313b;
    color: #ffffff;
    border: 1px solid #31313b;
    padding: 10px;
    font-size: 16px;
    resize: vertical;
    border-radius: 5px;
    box-sizing: border-box;
    overflow: auto;
}

button {
    align-self: flex-start;
    padding: 8px 16px;

    font-size: 14px;
    font-weight: bold;

    border-radius: 5px;
    border: none;

    background-color: #dfaf47;
    color: #ffffff;

    cursor: pointer;
}

label {
    font-size: 40px;
    font-family: verdana;
    font-weight: bold;
    color: #dfaf47;
}

.CodeMirror {
    background: #1e1e1e;
    color: #e0e0e0;
    font-family: monospace;
    height: 400px;
    border-radius: 5px;
    font-size: 15px;
    line-height: normal;
}

.CodeMirror-cursor {
    width: 2px;
    background-color: #dfaf47;
    animation: blinking 1s step-end infinite;
}

.CodeMirror-gutters {
    background: #2a2a2a;
    border-right: 2px solid #1e1e1e;
    color: #999999;
}

.CodeMirror-line {
    padding: 0;
    min-height: 0;
}

@keyframes blinking {
    0%, 50% {opacity: 1;}
    50.01%, 100% {opacity: 0;}
}

.cm-s-widercode .cm-keyword { color: #dfaf47; }
.cm-s-widercode .cm-string { color: #9ea7b1; }
.cm-s-widercode .cm-number { color: #D1CFC8; }
.cm-s-widercode .cm-comment { color: #6b6b55; }
.cm-s-widercode .cm-atom { color: #8A867B; }

body::-webkit-scrollbar {
    display: none;
}