/* Elimina el div del portal-banner vacío */
#portal-banner.principal.portal-banner {
    display: none !important;
}