Gracias al comentario de Diego en mi post HTML – La etiqueta PRE, volví a buscar información e intentar cambiar el tamaño de la letra usando la etiqueta <pre>. Y es que el texto queda cuasi – minúsculo:
Ejemplo del tamaño.
La solución es bien sencilla: HTML es un lenguaje basado en etiquetas. ¿Funcionaría usar la etiqueta ? Tras probarlo la respuesta es sí:
Ejemplo <size=7px>de</size> cambios
Ejemplo de cambios
Como es lógico, al funcionar el redimensionado, serviría, en principio, para cambiar tipo de letra, tamaño o cualquier cosa que necesitemos.
Espero que os sea útil esta pequeña aclaración sobre el uso de <pre>.
Edit:
Diego ha tenido la gentileza de poner en su comentario la solución que ha encontrado usando CSS en lugar de HTML, que podéis consultar tranquilamente. Este link es donde se basó y éste su resultado.
