« MediaWiki:Common.css » : différence entre les versions

Aucun changement de taille ,  26 avril 2018
aucun résumé des modifications
(test d'une nouvelle police de caractère pour l'ensemble du Wiki)
Aucun résumé des modifications
Ligne 74 : Ligne 74 :
{
{
   font-family: "Open Sans", Arial, sans-serif;
   font-family: "Open Sans", Arial, sans-serif;
   font-size: 12px;
   font-size: 15px;
}
}
9 367

modifications