/* .nobr { 
    white-space: nowrap; 
} */

.nav-item {
    margin: 5px;
    background: #ffffff;
    border-radius: 5px;
    border: 1px solid black;
}

body {
    background: #f0f0f0;
    font-family: monospace !important ;
}

/* .pre-nomargin { 
    margin-bottom: 0px !important;
} */

.flash-messages {
    max-width: 1200px;
    margin: 1rem auto;
    padding: 0 1rem;
    width: 90%;
}