.input {
  float: left;
  padding: 1em;
  border-radius: .5em;
  border: 1px solid #ddd;
  background: #f7f7f7;
}

.input p {
  text-align: justify;
  text-indent: .5em;
  margin-block: .5em;
}

.input > div:first-child {
  height: 10em;
}

.input > div:first-child pre {
  white-space: pre-wrap;
  height: 100%;
  width: 100%;
  overflow-y: scroll;
  overflow-x: hidden;
  background: #ffffff;
  border-radius: .35em;
  border: 2px solid #bbb;
  padding: 4px;
}

.input > div:last-child {
  position: relative;
}

.input > div:last-child > button {
  position: absolute;
  right: .1em;
}

.input blockquote {
  border-left: 5px solid #ccc;
  margin: .5em 10px;
  padding: .5em 10px;
}

.input blockquote p {
  text-align: left;
  text-indent: 0;
  margin-block: 0;
}

.footnote-definition > * {
  display: inline;
}