Para alterar o tamanho de fontes com o Javascript desabilitado, use o recurso padrão de seu navegador.
Home > Consulta > Consulta Básica
Pesquisar
Pesquisa Avançada
Internet Explorer 8+,
Mozilla Firefox 20+ e
Google Chrome 23+.