#workingMachineError {
    width: 100%;
    margin-top: .25rem;
    font-size: 80%;
    color: #dc3545;
}

.nav-item > .dropdown-menu > .active {
    background-color: #343a40;
}