Alterar o tamanho da fonte das páginas da Web no Safari para iOS com Bookmarklets

Anonim

Todo mundo já se deparou com uma página da Web em que o tamanho da fonte é insuportavelmente pequeno em um dispositivo iOS. Normalmente, um gesto de pinça invertida torna o texto legível, mas em algumas páginas com largura fixa, você precisa rolar para os lados, além de para cima e para baixo. Você pode contornar essa limitação de tamanho de fonte usando o recurso Reader em um iPhone ou iPad, mas isso também não é ideal para todos os sites.É exatamente isso que dois práticos bookmarklets visam resolver, criando dois botões de aumento e diminuição do tamanho da fonte que podem ser acessados ​​diretamente no Safari.

Esta adição é tão útil que o conceito provavelmente deveria ser incluído em futuras versões do Safari para iOS, mas só o tempo dirá se isso acontecerá. Enquanto isso, aqui está o que você precisa fazer para que isso funcione.

Repita este processo separadamente para as funções de aumento e diminuição:

  1. Abra o Safari no iPad ou iPhone e crie um marcador para qualquer página
  2. Toque no botão Favoritos na parte superior da tela e escolha “Editar”
  3. Edite o marcador recém-criado, nomeando-o com um símbolo de menos (-) ou mais (+) e substitua a URL colando o código javascript apropriado mostrado abaixo, dependendo da função desejada
  4. Salve a alteração do marcador e carregue uma nova página da Web, toque nos botões + ou – para testar as alterações do tamanho da fonte ao vivo. Atualizar a página restaura o tamanho da fonte ao padrão.

Diminuir tamanho da fonte (-)

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}"

Aumentar tamanho da fonte (+)

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}"

Esses ajustes de bookmarklet funcionam editando um URL de bookmark e substituindo-o por um javascript que altera o comportamento da página, bookmarklets personalizados semelhantes nos permitiram visualizar a fonte da página no iOS Safari e até mesmo usar o Firebug no iOS.

Esta solução muito útil vem de Marcos.Kirsch.com.mx, que recomenda colocá-los na barra de favoritos do Safari para facilitar o acesso.

Alterar o tamanho da fonte das páginas da Web no Safari para iOS com Bookmarklets