Buenas, Supongo que es trivial, pero desde san google no encuentro el como hacerlo a menos que utilice un programita llamado gdm3setup, pero personalmente no estoy por la labor de hacerlo a menos que no me quede otra. ¿Alguien sabe como cambiar la fuente y su tamaño en gdm3 (via el archivo greeter.gsettings) en Debian wheezy 7.3?? Es sencillamente enorme la que trae por defecto. Saludos.