sudo apt install gnome-tweak-tool
Una vez instalado desde el terminal la aplicación Retoques, la buscamos en el menúLa abrimos y buscamos Tipografías
Y desde esta opción, a la derecha, podemos cambiar tipos y tamaños a nuestro gusto.
Y esto es todo amigos!!
Gracias por seguirme y leerme, espero que les haya ayudado
Saludos
Alex.