git hat mir den font auf true type geändert, was angeblich verbessern sollte tat es aber nicht. wie kann ichs zurückstellen auf den alten monospaced font?

vielen dank