terminado
terminado copied to clipboard
Feature to change font size.
The font size feels like a bit too small at times. Ability to pass font size parameter through make_terminal function in template html file to terminado.js file