a.menu1 {
text-decoration:none ; /* supprime le soulignement des liens */
display:block ; /* Crée un retour à la ligne à la fin de chaque bouton */ 
background-color: green; /* couleur du bouton */ 
color:yellow; /* couleur du texte */
font-size:16px ; /*taille du texte */
margin:0px ; /* la marge extérieur autour des boutons est =0 (les boutons se touchent) */ 
padding:4px; /* la marge intérieur autour des boutons est de 4 pixels*/
border:2px solid; /* il y a une bordure solide de 1 pixel autour de chaque bouton */
border-color:#DBFEDA black black #DBFEDA ; /* couleurs des 4 cotés des bordures, dans le sens des aiguilles d'une montre */
text-align:center; /* centre le texte de chaque bouton */
width:150px } /* fixe la largeur de chaque bouton à 150 pixel */

a.menu1:hover {
background-color:green;/* redifinition de la couleur des boutons pour eviter le jaune sur hover*/
border-top:2px solid blue; /*brown origine change la couleur et l'épaisseur de la bordure haute lors du survol par la souris */
border-bottom:2px solid #DBFEDA ; /*CC0005 origine change la couleur et l'épaisseur de la bordure basse lors du survol */
padding:3px 4px 3px 4px /* diminue la marge intérieure haute et basse du bouton survolé, pour compenser l'augmentation de la taille de la bordure */
}