body {
  font-family: sans-serif;
  font-size: 15px;
  margin: 0;
  padding: 0;
}

section {
  display: none;
  width: 100%;
}

section.message {
  box-sizing: border-box;
  min-width: 300px;
  margin: 20px 0 25px;
  padding: 0 40px;
}

.main {
  max-height: 600px;
  min-height: 350px;
  max-width: 500px;
  min-width: 400px;
}

.too-long-warning {
  display: none;
}
[data-too-long] .too-long-warning {
  display: block;
  color: red;
  font-weight: bold;
  padding: 12px;
  margin: 0;
}

.main-textarea-label {
  font-size: 70%;
  margin-left: 0.5em;
}
.main-textarea {
  border: 0;
  border-bottom: 1px solid gray;
  border-top: 1px solid gray;
  box-sizing: border-box;
  font-family: monospace;
  margin: 0;
  outline: 0;
  padding: 5px;
}
.CodeMirror-empty {
  color: lightgray;
}

.footer {
  font-size: 8px;
  text-align: right;
}
.footer a {
  color: inherit;
  /* Wrap the block atomically */
  display: inline-block;
  text-decoration: none;
}

button {
  padding: 5px 10px;
  font-size: 90%;
  cursor: pointer;
}
