#console {
  margin-right: 50px;
}
#output {
  font-family: monospace;
  font-size: 10pt;
  margin: 0;
  padding: 3px;
  height: 100%;
  width: 100%;
  white-space: -moz-pre-wrap;
  white-space: -pre-wrap;
  white-space: -o-pre-wrap;
  white-space: pre-wrap;
  word-wrap: break-word;
}
#code_text {
  font-family: monospace, sans-serif;
  font-size: 1.1em;
  height: 300px;
  margin: 10px 0px;
  width: 100%;
}
