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

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

#gutter {
    background-color: rgb(230, 230, 230);
}

#output-row {
    display: flex;
}

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