Modifier la taille de la police des pages Web dans Safari pour iOS avec Bookmarklets
Tout le monde a rencontré une page Web où la taille de la police est insupportablement petite sur un appareil iOS, généralement un geste de pincement inversé rendra le texte lisible, mais sur certaines pages qui ont une largeur fixe, vous devez ensuite faire défiler latéralement en plus de haut en bas. Vous pouvez en quelque sorte contourner cette limite de taille de police en utilisant la fonction Reader sur un iPhone ou un iPad, mais ce n'est pas non plus idéal pour tous les sites Web.C'est précisément ce que deux bookmarklets pratiques visent à résoudre, en créant deux boutons d'augmentation et de diminution de la taille de police 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 fonctions d'augmentation et de diminution :
- Ouvrez Safari sur iPad ou iPhone et créez un signet pour n'importe quelle page
- Appuyez sur le bouton Signets en haut de l'écran et choisissez "Modifier"
- Modifiez le signet nouvellement créé, en le nommant soit un signe moins (-) ou plus (+) et remplacez l'URL en collant le code javascript approprié indiqué ci-dessous, en fonction de la fonction souhaitée
- 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. L'actualisation de la page restaure la taille de police par défaut.
Réduire la taille de la police (-)
1 |
"javascript:var p=document.getElementsByTagName(&39;&39;);for(i=0;i<p.length;i++){if(p.style.fontSize){var s=parseInt(p .style.fontSize.replace(px, ));}else{var s=12;}s-=2;p.style.fontSize=s+px} " |
"javascript:var p=document.getElementsByTagName(&39;&39;);for(i=0;i<p.length;i++){if(p.style.fontSize){var s=parseInt(p .style.fontSize.replace(px, ));}else{var s=12;}s-=2;p.style.fontSize=s+px}"
Augmenter la taille de la police (+)
1 |
"javascript:var p=document.getElementsByTagName(&39;&39;);for(i=0;i<p.length;i++){if(p.style.fontSize){var s=parseInt(p .style.fontSize.replace(px, ));}else{var s=12;}s+=2;p.style.fontSize=s+px} " |
"javascript:var p=document.getElementsByTagName(&39;&39;);for(i=0;i<p.length;i++){if(p.style.fontSize){var s=parseInt(p .style.fontSize.replace(px, ));}else{var s=12;}s+=2;p.style.fontSize=s+px}"
Ces ajustements de bookmarklet fonctionnent en modifiant une URL de signet et en la remplaçant par un javascript qui modifie le comportement de la page, des bookmarklets personnalisés similaires nous ont permis d'afficher la source de la page dans iOS Safari et même d'utiliser Firebug sur iOS.
Cette solution très pratique vient de Marcos.Kirsch.com.mx, qui recommande de les placer dans la barre de favoris Safari pour un accès facile.