Smaller fonts request

Bear feedback Feature Request
1

Even with the setting at the minimum (10pt), monospaced fonts look a tad big for my taste. Could we, please, set the font even smaller?