/* TODO: clean the style */
header {
    text-align: center;
    color: var(--header-color-text);
}

/* boutons retour à gauche et boutons profile/déconnexion/langue à droite à largeur fixe */
header.flex-element a.back-button,
header.flex-element div.header-user-buttons {
    flex: 0 0 10em;
}
/* texte centrale du header à largeur variable pour laisser la place sur la même lignes aux boutons à gauche et à droite */
header.flex-element div#portal-header-information,
header.flex-element div#manager-header-information {
    flex: 1 1;
    max-width: calc(100% - 20em);
}

header h1 {
    margin-top: 10px;
    margin-bottom: 3px;
    font-size: 3em;
}

header span {
    font-size: 1.5em;
}

.user-button i {
    font-size: 30px;
}

.langage-button {
    width: 35px;
    height: 35px;
}