* {				
    font-family: 'Consolas', Courier, monospace;
}
div.text, textarea.text {
    border: 1px solid black;
    border-radius: 5px;
    padding: 5px;
    margin-bottom: 10px;
    height: 80px;
    overflow-y: auto;
}
#output {
    height: 30px;
}
table {
    border-spacing: 0;
}
td, th {
    border: 0.5px solid black;
    white-space: nowrap;
    text-align: center;
}
td.o {
    background-color: #00c000;
}
thead th:first-child {
    z-index: 1;
}
thead th {
    position: sticky;
    background-color: white;
    top: 0;
}
th:first-child {
    position: sticky;
    background-color: white;
    left: 0;
}
.table_container {
    width: 100%;
    height: 100%;
    overflow: auto;
}