Update font sizes in Linux terminals

Christian Rochacommitted parent 5846bd37c4a2ba0479deef23c2e7b8a2ebc3ea174a61232Browse files
4 files changed+9−4

Rendering diff…