IOS: comment modifier la police de la page Web de Safari

Les produits Apple sont synonymes de personnalisation et de liberté d'expression. Pendant des années, nous avons pu personnaliser nos appareils iOS, soit avec des préréglages élégants créés par Apple, soit avec nos propres photos, vidéos et éléments. Peu d'utilisateurs occasionnels d'iOS savent que vous pouvez changer plus que votre écran de verrouillage, votre arrière-plan d'accueil et votre sonnerie. Il existe un tout autre monde de personnalisation iOS caché dans les paramètres de votre téléphone dont vous n'êtes peut-être pas conscient. C'est certainement le cas des personnes qui ne savent pas comment modifier les polices des pages Web de Safari. Si vous souhaitez personnaliser votre appareil iOS, découvrez comment modifier la police de la page Web Safari et quelques autres hacks Safari.

Lecture connexe :

  • Comment partager des groupes d'onglets Safari en même temps
  • Comment utiliser Youtube Picture-In-Picture dans Safari sur Mac
  • Comment bloquer les fenêtres contextuelles "Ouvrir dans l'application" dans Safari
  • 3 conseils pour arrêter d'appuyer accidentellement sur la touche Période dans Safari

Comment changer la police de la page Web Safari

Si vous cherchez à changer la police d'une page Web Safari, ce n'est pas aussi simple que de naviguer dans quelques menus de paramètres. Bien que cela reste simple, vous devrez passer par plusieurs étapes. Avant de commencer à utiliser les scripts Javascript, vous devez les activer. Se diriger vers Paramètres > Raccourcis > Avancé > Activer/Désactiver l'exécution des scripts. Ensuite, suivez le guide étape par étape pour changer vos polices :

1. Ouvrez le Raccourcis application sur votre appareil iOS. Si vous avez iOS/iPadOS 13 ou une version ultérieure, il sera automatiquement sur votre appareil. Tout ce qui est inférieur et vous devrez le télécharger.

2. Naviguez vers le Galerie onglet en bas à droite de la Raccourcis application.

Changer la police de la page Web Safari Étape 1

3. Dans le Galerie, vous pouvez rechercher des scripts de raccourci que vous pouvez installer sur votre appareil. Tapez "Changer la police" dans la barre de recherche.

Changer la police de la page Web Safari Étape 2

4. Sélectionnez le Changer la police carte pour procéder à l'installation.

Changer la police de la page Web Safari Étape 3

5. appuyer sur Ajouter un raccourci.

6. Vous pourrez accéder à ce raccourci partout où il y a un bouton de partage Apple. Pour tester cela, rendez-vous sur Safari et ouvrez n'importe quelle page Web. Appuyez sur l'icône de partage dans votre barre de navigation pour afficher la feuille de partage.

7. Faites défiler vers le bas et trouvez le Changer la police raccourci que vous avez installé.

Changer la police de la page Web Safari Étape 4

8. Vous pouvez ensuite parcourir toutes les polices disponibles et choisir celle que vous souhaitez utiliser.

9. Vous recevrez une notification vous demandant si vous souhaitez modifier la police de la page Web sur laquelle vous vous trouvez actuellement. Cliquez sur Permettre.

10. Toutes les polices de la page Web doivent être modifiées !

Changer la police de la page Web Safari Étape 5

Autres hacks iOS Safari

Si vous appréciez vos nouvelles polices sur Safari, vous avez peut-être goûté à une personnalisation supplémentaire. Il existe un tout nouveau monde lorsqu'il s'agit de personnaliser votre application Safari. Voici quelques autres que vous pouvez apprécier.

Organiser les onglets en groupes

Si vous partagez fréquemment du contenu avec vos amis et votre famille, vous avez peut-être trouvé fastidieux de copier et coller individuellement chaque lien et de le leur envoyer. Cela peut être un peu plus facile sur un ordinateur car vous pouvez utiliser des raccourcis copier-coller. Au lieu de cela, les appareils iOS ont des groupes d'onglets. Dans Safari, cliquez sur le bouton Nouvel onglet dans le coin inférieur droit de l'application et cliquez sur le Languette bouton au milieu du nouvel écran. Tu peux voir le Groupes d'onglets onglet glisser vers le haut, où vous pouvez créer des groupes d'onglets qui vous permettent d'envoyer facilement des groupes de liens.

Personnalisez votre page de démarrage

Pas assez de personnes utilisent la page de démarrage de Safari. Ce qui est génial, c'est que vous pouvez mettre des raccourcis vers vos sites Web préférés, afficher les sites Web fréquemment visités, accéder aux liens qui ont été partagés avec vous ou même personnaliser l'arrière-plan. Vous pouvez jouer avec tous ces éléments, mais le plus amusant est peut-être de changer la photo d'arrière-plan. Pour ce faire, ouvrez un nouvel onglet dans Safari pour accéder à la page de démarrage. Faites défiler vers le bas et trouvez le Modifier bouton. Ici, vous pouvez modifier les modules que vous souhaitez voir sur la page d'accueil et choisir votre image de fond! Vous pouvez choisir parmi les préréglages d'Apple ou télécharger les vôtres.

Installer quelques extensions

Peu de gens savent que Safari propose une multitude d'extensions disponibles sur l'App Store. C'est vrai, tout comme le navigateur de votre ordinateur, vous pouvez personnaliser votre Safari avec certaines applications comme les listes de courses, les collecteurs de coupons et les bloqueurs de publicités. Rendez-vous tout simplement dans votre Paramètres app et faites défiler jusqu'à ce que vous trouviez Safari. Naviguez vers le Rallonges onglet et cliquez dessus. Ici, vous pouvez voir tous ceux que vous avez déjà installés ou appuyer sur Obtenir Pour voir plus. Vous serez redirigé vers l'App Store, où vous pourrez naviguer parmi un tas d'extensions différentes que vous pouvez installer !

Articles Similaires: