.terminal{line-height:1.4em}.terminal .shell{font-weight:bold;color:#7fc}.terminal-short{height:10em;overflow-y:scroll}