html, body {
  margin: 0;
  padding: 0;
}
body {
  padding: 12px;
  min-width: 1072px;
  font-size: 12px;
  font-family: Arial, Helvetica, sans-serif;
}
body>div {
  width: 512px;
  float: left;
  margin-right: 12px;
}
textarea {
  width: 512px;
  height: 300px;
}
.CodeMirror {
  border: 1px solid #999;
}