Cambiar el tamaño de fuente de un archivo txt generado con PHP

[sarrhen]

Como puedo cambiar el tamaño de fuente de un archivo TXT desde php sin que el usuario lo este cambiando ya que cuando lo genero las letras me salen grandes para el formulario que necesito