A alteração das fontes provavelmente melhoraria essa situação. A alteração do tema geral que está sendo usado pode ser controlada por meio de gnome-tweak-tool .
$ gnome-tweak-tool
screenshot

Alterarotematambémpodeajudartambém.Vocêpodeconferiresteguiasevocêquisermudarotema,intitulado: