Change Echo Font

Allows the user to modify the font used for command characters typed into the Terminal.