body {
  font-family: 'Helvetica Neue', Verdana, Helvetica, Arial, sans-serif;
  max-width: 1000px;
  margin: 0 auto;
  padding-top: 72px;
  -webkit-font-smoothing: antialiased;
  font-size: 1.125em;
  color: #333;
  line-height: 1.5em;
}

h1, h2, h3 {
  color: #000;
}
h1 {
  font-size: 2.5em
}

h2 {
  font-size: 2em
}

h3 {
  font-size: 1.5em
}

a {
  text-decoration: none;
  color: #09f;
}

a:hover {
  text-decoration: underline;
}

button {
  display: block;
  margin: 0px auto;
  background: #FFF;
}

.graph {
}

.controls {
  padding-top: 1cm;
  padding-bottom: 1cm;
}

.error {
  border-style: dashed;
  border-width: 3px;
  border-color: #F89;
}

.cheatsheet {
  padding-top: 0.5cm;
}

.cheatsheet .code {
  font-family: monospace;
}

.CodeMirror {
  height: auto;
}

.CodeMirror-scroll {
  max-height: 450px;
}

body {
  font-family: 'Helvetica Neue', Verdana, Helvetica, Arial, sans-serif;
  max-width: 1000px;
  margin: 0 auto;
  padding-top: 72px;
  -webkit-font-smoothing: antialiased;
  font-size: 1.125em;
  color: #333;
  line-height: 1.5em;
}

h1, h2, h3 {
  color: #000;
}
h1 {
  font-size: 2.5em
}

h2 {
  font-size: 2em
}

h3 {
  font-size: 1.5em
}

a {
  text-decoration: none;
  color: #09f;
}

a:hover {
  text-decoration: underline;
}

button {
  display: block;
  margin: 0px auto;
  background: #FFF;
}

.graph {
}

.controls {
  padding-top: 1cm;
  padding-bottom: 1cm;
}

.error {
  border-style: dashed;
  border-width: 3px;
  border-color: #F89;
}

.cheatsheet {
  padding-top: 0.5cm;
}

.cheatsheet .code {
  font-family: monospace;
}

.CodeMirror {
  height: auto;
}

.CodeMirror-scroll {
  max-height: 450px;
  height: auto;
}

Fix the height of CodeMirror so it properly fits the content.
Fix the height of CodeMirror so it properly  fits the content.
