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: