I notice a difference in the terminal font between two of my Android devices, specifically in terms of character coverage (in both cases it's the terminal shell of JuiceSSH). How do I set the font that the terminal uses in Android?
I found two ways for changing font size in JuiceSSH.
Use Volume keys
The very first time you would've used JuiceSSH, you might have come across this brief tutorial:
(Click image to enlarge)
Use the Volume Up/Down keys to adjust the size of the font.
Traditional way (Settings)
On the default page of JuiceSSH, go to Settings → Font size → adjust it.
Use the Volume keys of your phone to adjust the font.