title: Can I change the font-size?
body: <p>I've tried changing the font size using things like:</p>
  <h1>terminal { font-size: 2em; }</h1>
  <p>but that just messes up the jquery terminal display. It isn't clear that it's been built to support this.</p>