Como suponía, es un problema que solo te afecta por tu parte. Efectivamente, el problema es el tamaño de la fuente y la naturaleza propia de la etiqueta <pre> (texto preformateado).
La única solución es que intentes disminuir el tamaño de la letra o simplemente dejarlo tal cual. Los demás usuarios si usan el tamaño de texto por defecto, seguramente lo verán bien.