Changer la taille de la police des pages web dans Safari pour iOS avec des bookmarklets

Tout le monde s’est déjà retrouvé sur une page web où la taille de la police est insupportablement petite sur un appareil iOS. En général, un geste de pincement inverse rend le texte lisible, mais sur certaines pages qui ont une largeur fixe, il faut alors faire défiler la page de côté en plus de la faire défiler de haut en bas. Vous pouvez contourner cette limitation de la taille des caractères en utilisant la fonction Reader sur un iPhone ou un iPad, mais ce n’est pas non plus l’idéal pour tous les sites web. C’est précisément ce que deux signets pratiques visent à résoudre, en créant deux boutons d’augmentation et de diminution de la taille des polices, accessibles directement dans Safari.

Cet ajout est si utile que le concept devrait probablement être inclus dans les futures versions de Safari pour iOS, mais seul le temps nous dira si cela se produit. En attendant, voici ce que vous devez faire pour que cela fonctionne.

Répétez ce processus séparément pour les deux fonctions d’augmentation et de diminution :

  1. Ouvrez Safari sur l’iPad ou l’iPhone et créez un signet pour n’importe quelle page
  2. Appuyez sur le bouton « Signets » en haut de l’écran et choisissez « Modifier »
  3. Modifiez le signet nouvellement créé, en le nommant par un symbole moins (-) ou plus (+) et remplacez l’URL par le code javascript approprié indiqué ci-dessous, en fonction de la fonction souhaitée
  4. Enregistrez le changement de signet et chargez une nouvelle page web, appuyez sur les boutons + ou – pour tester les changements de taille de police en direct. Le rafraîchissement de la page rétablit la taille de la police par défaut.

Diminuer la taille de la police (-)

1
javascript:var p=document.getElementsByTagName('*');for(i=0;i

javascript:var p=document.getElementsByTagName('*');for(i=0;i

Augmenter la taille de la police (+)

1
javascript:var p=document.getElementsByTagName('*');for(i=0;i

javascript:var p=document.getElementsByTagName('*');for(i=0;i

Ces modifications de bookmarklets fonctionnent en éditant l'URL d'un bookmark et en la remplaçant par un javascript qui modifie le comportement de la page. Des bookmarklets personnalisés similaires nous ont permis de visualiser la page source dans iOS Safari et même d'utiliser Firebug sur iOS.

Cette solution très pratique est proposée par Marcos.Kirsch.com.mx , qui recommande de les placer dans la barre de signets de Safari pour en faciliter l'accès.

Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont indiqués avec *