Buenas,
Me alegro de que ya tengas tu terminal ;) Para los iconos no sé cómo se hace, pero para el tamaño de la fuente entras en ajustes/pantalla/fuente. La verdad es que lo acabo de probar y tampoco es que se note mucho la diferencia, pero algo más pequeñas sí que son.
A ver si alguien que sepa más, nos dice cómo hacer los iconos más pequeños.
¡Saludos!
