* {
  box-sizing: border-box;
  margin: 0;
  padding: 0;
  resize: none;
}

body, html {
  width: 100%;
  height: 100%;
}

body {
  display: flex;
  flex-direction: column;
}

body div {
  margin-top: 1%;
}

#compile {
  margin-left: auto;
  margin-right: auto;
}

#data {
  flex-grow: 1;
  width: 100%;
  bottom: 0;
}

#data {
  display: flex;
  flex-direction: row;
  justify-content: flex-start;
  align-items: stretch;
  align-content: stretch;
}

#data * {
  flex-grow: 1;
}

pre {
  overflow-x: scroll;
}

#input, #data pre {
  width: 100%;
  padding: 10px;
  font-size: x-large;
}