Safari 6: comment changer les polices par défaut?

13

Il s'agit probablement d'un doublon. Je ne peux pas imaginer que je suis la première personne à remarquer cela.

Il semble que Safari 6 ait supprimé l'onglet d'apparence des préférences, et avec lui, la possibilité de changer les polices par défaut.

Comment changer les polices par défaut de Safari 6?

mountain-lion font safari

— asmeurer
source

-1

Obtenez Tinker Tool gratuitement. Il vous permettra de modifier les polices et la taille de police pour Safari dans OS X Mavericks.

— Malcolm Cooke
source

En fait, la question concerne Safari 6 sur Mountain Lion.

— nohillside

@patrix alors quoi? Maintenant que Mavericks est sorti, je me soucie de savoir comment le faire là-bas.

— asmeurer

La façon d'accomplir cela pourrait avoir changé avec Safari 7, les anciennes méthodes pourraient même ne plus fonctionner. Donc, poser une nouvelle question serait probablement plus utile ici.

— nohillside

Peu importe. Essayer de jouer avec un CSS personnalisé n'a jamais fonctionné pour moi. Tinkertool le fait. J'accepte cette réponse.

— asmeurer

8

Vous pouvez toujours utiliser les valeurs par défaut:

defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2StandardFontFamily Georgia
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2DefaultFontSize 16
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2FixedFontFamily Menlo
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2DefaultFixedFontSize 14

Une autre option consiste à définir un fichier CSS comme celui-ci comme feuille de style par défaut dans les préférences avancées:

body {
  font: 16px Georgia;
}
pre, code, tt {
  font: 14px Menlo;
}

Les deux options ont priorité sur la feuille de style par défaut mais pas sur les styles spécifiés par les sites Web. Ainsi, comme les préférences de Safari 5 et versions antérieures, elles s'appliquent principalement aux pages qui utilisent normalement 15px Times ou 13px Courier.

— Lri
source

Cela ne semble pas fonctionner.

— asmeurer

Si vous ajoutez !importantavant le point-virgule, cela fonctionnera. Cependant, cela forcera tous les sites Web à utiliser vos spécifications. Va bousiller les sites qui utilisent des polices spéciales pour afficher des glyphes spéciaux (par exemple github.com).

— imanuelcostigan

Eh bien, le simple fait de changer la bodypolice ne fonctionne pas bien. Je suggérerais d'appliquer la fontmodification à body, p, span, aau moins.

— pabuisson

5

Serenity Caldwell a écrit un article sur Macworld lors de la première sortie de Mountain Lion en avant-première:

Safari n'offre plus d'option pour définir les polices et tailles par défaut (bien que vous puissiez télécharger une feuille de style ou forcer le navigateur à ne pas afficher les tailles de police inférieures à un certain nombre)

Vous pouvez le faire via une extension appelée User CSS . Assez simple, ajoutez votre CSS personnalisé et il remplacera les styles.

Il existe également un fil de discussion Apple à ce sujet, mais rien d'important n'en est sorti jusqu'à présent. Une chose qui a été mentionnée était l'utilisation de HelveticaTheWorld, qui change toutes les polices en Helvetica. Pas terriblement utile à moins que vous ne vouliez Helvetica partout ... Une autre extension mentionnée est Google Fonts dans Safari . Il vous permet de choisir dans la bibliothèque de polices Google.

Pour l'instant, il n'y a pas d'autre moyen de changer les polices dans Safari. Je vous suggère de soumettre des commentaires Apple pour voir si vous pouvez les réintégrer.

— daviesgeek
source

1

Le CSS personnalisé n'est-il pas déjà pris en charge sans extension?

— asmeurer

1

En effet, c'est très simple avec une simple feuille de style qui remplace la police par défaut "body". Tout ce dont vous avez besoin est de trois lignes:

body {
    font: 12px "Lucida Grande";
}

— SunByrne
source

3

Et où mettez-vous cette feuille de style? Comment faire pour que Safari le charge toujours?

— Daniel

Que dois-je utiliser pour changer la police monospace?

— asmeurer

Copiez cette ligne de CSS; utilisez un éditeur de texte pour le placer dans un fichier texte autrement vide et enregistrez ce fichier texte sur votre disque dur local avec un nom de fichier comme, par exemple, default.css. Ensuite, allez dans Safari> Préférences, sélectionnez l'onglet Avancé et dans la liste déroulante Feuille de style, sélectionnez Autre. Accédez à votre fichier default.css et Safari commencera à utiliser votre nouveau CSS par défaut.

— Jed Hartman

1

* {font-family: "Helvetica" !important;}
pre, code, tt {font-family: "Menlo" !important;}

Je pense que c'est ce que tu veux. Travail vérifié à High Sierra.

En outre, vous pouvez définir des polices par défaut pour WebKit2:

defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2StandardFontFamily "Helvetica"
defaults write com.apple.Safari com.apple.Safari.ContentPageGroupIdentifier.WebKit2FixedFontFamily "Menlo"

— nesoneg
source