I'd personally go for the 10pt font in the terminal as well. If it can be read anywhere else, why should it suddenly be unreadable in the terminal?
also: consistency yay.
I'd personally go for the 10pt font in the terminal as well. If it can be read anywhere else, why should it suddenly be unreadable in the terminal?
also: consistency yay.