.nav-integer {
    background-color: #084975;
    color: white;
}


.titulo {
    background-color: #A3D9E7;
}


.card-integer {
    background-color: #006998;
    color: white;
    font-weight: bold;
}

.card-anidado {
    background-color: #A3BBC3;
}

.badges {
    background-color: #5C7E95;
}