Home iPhone Come modificare le dimensioni dei font su Safari

Come modificare le dimensioni dei font su Safari PDF Stampa E-mail
Mercoledì 16 Maggio 2012 00:03

A volte può capitare di imbattersi in delle pagine web con dei caratteri molto piccoli e difficili da leggere e, nonostante si possa effettuare uno zoom tramite un pinch su schermo, con questa guida intendiamo mostrarvi come aumentare o ridurre la dimensione dei font su Safari attraverso 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.

miglior sito

Ultimo aggiornamento Mercoledì 27 Giugno 2012 20:27