/**
 * DMR75 — header : le menu principal occupe tout l'espace disponible
 * entre le logo (à gauche) et les icônes (à droite).
 */

/* core.css réserve 25 % de la largeur de la ligne au logo, quelle que soit sa
   taille réelle. C'est cette réserve qui bride le menu : on rend au logo sa
   largeur de contenu. */
.bs-menu-full .logo {
	width: auto;
	flex: 0 0 auto;
}

/* Le menu prend tout ce qui reste. min-width:0 l'autorise à se comprimer
   plutôt qu'à déborder quand il y a beaucoup d'entrées. */
.bs-menu-full .main .navbar-wp {
	flex: 1 1 auto;
	min-width: 0;
}

/* Les icônes de droite gardent leur largeur naturelle. */
.bs-menu-full .main .right-nav {
	flex: 0 0 auto;
}