#output-area {
    border-right: 2px solid grey;
    border-top: 1px solid grey;
    border-bottom: 1px solid grey;
    width: 30ch;
}

#output-area:focus {
    outline: none;
}

.gutter-row {
    background-color: rgb(179, 179, 179);
}

.output-row {
    display: flex;
}

.strike {
    text-decoration: line-through;
}