body {
    font-family: "ES Klarheit Grotesk", Arial, sans-serif;
    margin: 10px 0px;
    background-color: #0a240e;
}

.container {
    max-width: 600px;
    margin: 0 auto;
    padding: 20px;
    background-color: white;
    /* border-radius: 8px; */
    /* box-shadow: 0 2px 10px rgba(0, 0, 0, 0.1); */
}

label {
    font-weight: bold;
    display: block;
    margin-bottom: 10px;
}


button {
    /* width: 100%; */
    font-size: 16px;
    background-color: #28a745;
    color: white;
    border: none;
    border-radius: 5px;
    cursor: pointer;
    margin-top: 10px;
}

button.round {
    /* width: 100%; */
    font-size: 16px;
    background-color: #28a745;
    color: white;
    border: none;
    border-radius: 20px;
    cursor: pointer;
    margin-top: 10px;
    width: 25px;
    height: 25px;
}

button.evaluate {
    /* width: 100%; */
    padding: 15px 40px;
    font-size: 16px;
    background-color: #28a745;
    color: white;
    border: none;
    border-radius: 5px;
    cursor: pointer;
    margin-top: 10px;
}

button:hover {
    background-color: #218838;
}

h1,
h2,
h3,
h4,
h5 {
    font-family: "ES Klarheit Kurrent";
}

h2 {
    font-size: 20px;
}

#result,
#errors {
    /* padding: 10px; */
    /* background-color: #ccc; */
    /* text-align: center; */
    border-radius: 5px 5px 0 0;
    margin: 0px;
    user-select: none;
}

/* 
#result {
    color: #155724;
} */

#errorsList,
#resultText {
    background-color: black;
    /* width: 100%; */
    pointer-events: none;
    white-space: pre-wrap;
    background: transparent;
    font-family: monospace;
    font-size: 16px;
    line-height: 24px;
    padding: 10px;
    margin: 0px;
    background: rgb(7, 19, 9);
    border-radius: 5px;
    color: white;
}

/* 
#errors {
    background-color: #f8d7da;
    color: #721c24;
    border: 1px solid #f5c6cb;
} */

ul {
    padding-left: 20px;
    list-style-type: none;
}

/* ---------- DMN ---------- */
.dmn-table {
    width: 100%;
    border-spacing: 0px;
}

.dmn-table td {
    padding: 5px;

}

.inp {
    background-color: #c2edc2;
}

.outp {
    background-color: #eddeb4;
}

/* ---------- Tabs ---------- */
.tabs {
    display: flex;
    cursor: pointer;
    margin-top: 20px;
    margin-bottom: 20px;
}

.tab {
    flex: 1;
    padding: 10px;
    text-align: center;
    border-radius: 5px 5px 0 0;
    margin-right: 2px;
    font-weight: bold;
    user-select: none;
}

.tab:hover {
    background-color: #b8cfb4;
}

.tab.active {
    /* background-color: #28a745; */
    color: #008000;
    border-bottom: 2px solid #008000;
}

.tab-content {
    display: none;
    height: auto;
}

.tab-content.active {
    display: block;
}