.main {
  display: flex;
  flex: 1;
  flex-direction: row;
}

.error, .display, .display * {
  display: flex;
  flex-direction: column;
}

/* See https://github.com/facebook/css-layout */
.display div, .display span, .display img {
  box-sizing: border-box;
  position: relative;

  display: flex;
  flex-direction: column;
  align-items: stretch;
  flex-shrink: 0;

  border: 0 solid black;
  margin: 0;
  padding: 0;
}

.CodeMirror {
  height: auto;
  background-color: #F5F5FF !important;
  font-family: Menlo, Monaco, monospace;
  font-size: 12px;
}

#help {
  position: absolute;
  white-space: pre-wrap;
  right: 0px;
  width: 100%;
  max-width: 400px;
  bottom: 20px;
  font-family: Menlo, Monaco, monospace;
  font-size: 12px;
  color: rgba(47, 47, 47, 0.69);;
}

#help a {
  color: rgb(81, 81, 199);
  border-bottom: solid 1px rgba(81, 81, 199, 0.5);
}