/* Feuille de style avec grandes polices */

/* Change la taille de base du site */
body{font-size:0.92em;/* 15px */}
html[xmlns*=""] body:last-child{ font-size:0.9em;/* 15px */} /* Hack safari */
/* Change l'outil à afficher */
#menu-outils li#menu-outils-diminuer{ display:inline; }
#menu-outils li#menu-outils-augmenter{ display:none; }

/* Corrige le positionnement de la recherche */
#recherche{ float:right;}
#recherche p{ background:none; padding-right:1em;}
#input-recherche { padding-top:0.7em; }
#input-recherche input{ width:150px; }
#btn-recherche{ margin-top:1em;}