0

I've tried changing the font size using things like:

terminal { font-size: 2em; }

but that just messes up the jquery terminal display. It isn't clear that it's been built to support this.

Community
  • 1
  • 1
Lee Crawford
  • 83
  • 1
  • 4

2 Answers2

1

Looking at their jquery.terminal.css, you should be able to do something like:

.terminal div{
  margin-bottom: 10px;    
}

.terminal-output, .cmd{
  font-size: 2em !important;
}

UPDATE: Since each line in the terminal corresponds to a <div> with a fixed line-height, you can increase the spacing between each line by setting margin-bottom of each <div>. Take a look at this jsfiddle.

Also, if the garbles you saw is caused by the "Greetings" section, you might wanna specify your own.

ivan.sim
  • 8,972
  • 8
  • 47
  • 63
1

This question is old but for future reference, to change the size of the terminal you can use this css (it will be hard to change size using em's)

.terminal, .cmd, .terminal .terminal-output div div, .cmd .prompt {
    font-size: 20px;
    line-height: 24px;
}

or if you don't care about IE or Edge you can use this (from version 1.0):

.terminal {
  --size: 2;
}
jcubic
  • 61,973
  • 54
  • 229
  • 402