.commands {
    display: none;  /* Not currently used */
    margin-bottom: 0.5rem;
}

textarea {
    width: 100%;
    font-family: inherit;
    font-size: 1.3rem;
    resize: vertical;
}

.ui-menu-item {
    display: inline-block;
    border: 1px solid #808080;
}
.ui-menu .ui-menu-item-wrapper {
    padding: 0.5em;
}

.matched {
    color: #bb0000;
}
.ui-state-active .matched {
    color: #ffffff;
}
