h1 {
  margin-top: 50px;
}

pre {
  font-family: "Menlo", "Consolas", monospace;
}

pre.error {
  color: red;
}

hr {
  width: 100%;
}

.custom-file {
  width: 250px;
}

.custom-file button {
  position: relative;
  top: -38px;
  left: 255px;
}

.editor {
  margin: 20px 0;
  box-shadow: 0 4px 8px 0 rgba(0, 0, 0, 0.2), 0 6px 20px 0 rgba(0, 0, 0, 0.19);
}