#wct {
    border: 5px solid #000;
    margin-top: 8px;
    display: flex;
    flex-direction: row;
    height: 784px;
}

#wct-inp {
    margin: 8px;
    padding: 8px;
    background-color: #eee;
    border-radius: 6px;
    border: 3px solid #000;
    font-size: 15px;
    resize: none;
}

div.wct-results {
    flex: 0;
    display: flex;
    flex-direction: column;
}

.wct-res {
    margin: 8px;
    padding: 8px;
    text-align: center;
    font-size: 35px;
    border-radius: 4px;
    border: 2px solid #333;
    min-width: 250px;
    min-height: 50px;
}

.wct-but {
    margin: 8px;
    padding: 8px;
    text-align: center;
    font-size: 35px;
    border-radius: 6px;
    border: 3px solid #000;
    background-color: #213e94;
    color: #ffffff;
}

.wct-but:hover {
    margin: 8px;
    padding: 8px;
    text-align: center;
    font-size: 35px;
    border-radius: 6px;
    border: 3px solid #000;
    background-color: #162960;
    color: #ffffff;
}

.wct-brs {
    margin: 8px;
    padding: 8px;
    border-radius: 6px;
    border: 3px solid #003fff;
    background-color: #000;
    color: #fff;
    flex: 1;
    overflow-y: auto;
};