我可以更改字体大小吗？

Question

我尝试使用以下内容更改字体大小：

terminal {font-size：2em; }

但这只是弄乱了jquery终端显示器。它并不清楚它是为了支持这一点而建立的。

Answer 1

查看他们的jquery.terminal.css，您应该可以执行以下操作：

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

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

更新：由于终端中的每一行都对应一个固定line-height的<div>，您可以通过设置每个margin-bottom的{​​{1}}来增加每行之间的间距。看一下这个jsfiddle。

另外，如果您看到的瑕疵是由＆＃34; Greetings＆＃34;部分，您可能想指定自己的。

Answer 2

这个问题很老但是为了将来参考，要改变终端的大小，你可以使用这个css（用em来改变大小很难）

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

或者如果你不关心IE 或Edge 你可以使用它（从版本1.0）：

.terminal {
  --size: 2;
}