Translations:Customizing MediaWiki for beginners/6/fr

Google Fonts est un dépôt de polices de caractères libre et open-source que vous pouvez facilement utiliser sur MediaWiki. Allez sur $link, trouvez quelques polices qui vous plaisent et sélectionnez-les en cliquant sur l'icône "plus" (+). Vous pouvez choisir plus d'une police à ajouter. Vous devriez voir une fenêtre surgissante sur votre navigateur avec le message "n Families Selected" (n familles sélectionnées), où n représente le nombre de polices que vous avez sélectionnées. Cliquez sur l'onglet pour la fenêtre de notification, puis sélectionnez l'option "@IMPORT". Copiez-collez le CSS qui y figure sur $commoncss, en suivant les exemples ci-dessous (qui utilisent les polices Noto Sans et Noto Serif, les polices par défaut pour le système d'exploitation libre et open-source Android, qui sont bien adaptées pour des textes en Unicode).