/*
 * Debug: borde rojo en todos los elementos
* {
    border: 1px solid red;
}
*/

.barra {
    min-height: 50px;
}

.usuario-menu {
    padding-top: 5px !important;
    padding-bottom: 6px !important;
}

body .pusher {
    padding-bottom: 20px;
}

body.pushable {
    background-color: #ffffff !important;
}

.redaccion {
    font-size: 1.2rem;
    white-space: pre-wrap;
}

@media print {
    .no-print {
        display: none !important;
    }
}

.open_image { 
    cursor: pointer;
}

.grado-color {
    height: 30px;
    width: 30px;
}

.texto-18 {
    font-size: 1.8rem;
}