Hola a todos. Me llegó ayer el terminal y de momento estoy encantado. Lo que no encuentro es cómo cambiar el tipo de letra. Gracias a todos y un saludo.