Con questa guida vogliamo mostrarvi come modificare con successo la dimensione dei font su una qualsiasi pagina in Safari senza ricorrere al pinch to zoom utilizzando invece dei Bookmarklets.
Può capitare a chiunque di incontrare delle pagine Web con dei font sicuramente troppo piccoli per una lettura comoda senza difficoltà e, nonostante a volte basti usare il pinch to zoom, questa soluzione richiederà di effettuare degli slide da destra a sinistra oltre che dal basso verso l’alto e viceversa. Con questa guida tuttavia vogliamo proporvi un metodo molto semplice per aumentare/ridurre le dimensioni di un font su una pagina in Safari tramite due bookmarklets che potranno essere usati per creare dei comodi tasti accessibili direttamente dal browser mobile di Apple. Vediamo ora i passi da seguire per creare i suddetti tasti, e ricordiamo che è necessario seguire l’intero processo separatamente per entrami i bookmarklets:
- Aprite Safari su iPhone o iPod e crea un segnalibro per qualsiasi pagina;
- A questo punto aprite i vostri Preferiti e premete sul tasto “Modifica”;
- Modificate il nuovo segnalibro da voi creato rinominandolo con un simbolo meno (-) o più (+) rimpiazzando l’URL con uno dei codici javascript mostrati in basso in base alla funzione da voi desiderata;
- Salvate il segnalibro modificato e caricate una nuova pagina in Safari e premete sul tasto + o – per testare i cambiamenti nelle dimensioni dei font. Aggiornare la pagina ripristinerà le dimensioni dei caratteri a quelle predefinite.
Codice Javascript per diminuire le dimensioni del font:
javascript:var p=document.getElementsByTagName('*');for(i=0;i<p.length;i++){if(p[i].style.fontSize){var s=parseInt(p[i].style.fontSize.replace("px",""));}else{var s=12;}s-=2;p[i].style.fontSize=s+"px"}
|
Codice Javascript per aumentare le dimensioni del font:
javascript:var p=document.getElementsByTagName('*');for(i=0;i<p.length;i++){if(p[i].style.fontSize){var s=parseInt(p[i].style.fontSize.replace("px",""));}else{var s=12;}s+=2;p[i].style.fontSize=s+"px"}
|
Questi bookmarklets modificheranno l’URL di una pagina rimpiazzandolo con un javascript che modificherà il comportamento della pagina, e per un utilizzo più efficiente è consigliato inserirli nella barra dei Preferiti.
[via]