Pouvoir configurer la taille de la police du MenuHaut

formulaires/configurer_soyezcreateurs_couleurs.html

@@ -487,6 +487,11 @@
 						explication=<:soyezcreateursprive:cfg_em:>,
 						defaut='1.2'}
 					)]
+					[(#SAISIE{input,fontsizemenuhaut,
+						label=<:soyezcreateursprive:cfg_menu_haut:>,
+						explication=<:soyezcreateursprive:cfg_em:>,
+						defaut='1.2'}
+					)]
 					[(#SAISIE{input,fontsizefooter,
 						label=<:soyezcreateursprive:cfg_footer:>,
 						explication=<:soyezcreateursprive:cfg_em:>,

stylessoyezcreateurs.css.html

@@ -827,7 +827,7 @@ table.programmation caption { text-align: left; }
 #menuhaut { background-color: #GET{c_menuhaut_bk}; color: #GET{c_menuhaut};
 	[(#GET{c_menuhaut_bk}|!={transparent}|oui|et{[(#GET{d_menuhaut_degrade}|non)]})
 	padding-top: 8px; padding-left: 8px; background: #GET{c_menuhaut_bk}[ url((#CHEMIN{images/fond_degrade_fonce_en_bas_menu.png}|image_sepia{[(#GET{c_menuhaut_bk})]}|image_aplatir{jpg}|extraire_attribut{src}|appliquer_filtre{supprimer_timestamp,true}|embarque_fichier)) repeat-x bottom];]
-	font-size: 1.2em;
+	font-size: #CONFIG{soyezcreateurs_couleurs/fontsizemenuhaut,1.2}em;
 }
 
 /* Menu Navigation Haute */