Para alterar o tamanho de fontes com o Javascript desabilitado, use o recurso padrão de seu navegador.
Pesquisar
Home > Mapa do Site
Internet Explorer 8+,
Mozilla Firefox 20+ e
Google Chrome 23+.