How do I change the terminal font? 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.