/* muted text is otherwise too dark */
.text-muted {
    color: #c8ccd0;
}

.navbar {
    font-size: 18px;
}

.navbar-brand {
    font-size: 20px;
}

#banner h1 {
    font-size: 25px;
}