/* Diferentes tipos de márgenes inferiores para personalizar Bootstrap consiguiendo más separación entre elementos 'row'.
   Tal como está definido también puede usarse fuera de Bootstrap */
.bottom0 { margin-bottom:0; }
.bottom3 { margin-bottom:3px; }
.bottom5 { margin-bottom:5px; }
.bottom7 { margin-bottom:7px; }
.bottom10 { margin-bottom:10px; }
.bottom15 { margin-bottom:15px; }
.bottom17 { margin-bottom:17px; }
.bottom30 { margin-bottom:30px; }

.top0 { margin-top:0; }
.top3 { margin-top:3px; }
.top5 { margin-top:5px; }
.top7 { margin-top:7px; }
.top10 { margin-top:10px; }
.top15 { margin-top:15px; }
.top17 { margin-top:17px; }
.top30 { margin-top:30px; }

/* Originalmente pensado para que select multiple tenga mayor tamaño */
.height250 select { height:250px !important; }

.maintenance_mode_alert { padding: 15px; text-align: center; border: 2px solid #a94442; border-bottom: none; }

.titulo_app {
    color: #b3bbbe;
}
.titulo_entorno{
    color:darkred;
}

.loading-text {
    font-size: 1.4rem;
    font-weight: 400;
    margin-left: 10px;
}