style.css

body {
  margin: 20px auto;
  max-width: 1024px;
  position: relative;
  min-height: 100vh;
}

#messages {
  position: fixed;
  top: 5px;
  max-width: 1024px;
}

#messages > div {
  margin: 0.5em 0;
  padding: 0.5em;
  border-radius: 5px;
}

#msg-error {
  background-color: #e58686;
  border: 1px solid rgb(255, 67, 67);
}

#msg-progress {
  background-color: #8fccfa;
  border: 1px solid rgb(68, 68, 255);
}

#grammar {
  font-family: monospace;
}

.pure-control-group {
  margin: 1em 0;
}

#app {
  margin-top: 80px;
  position: relative;
}

#output,
#stats {
  margin: 1em 0;
  padding: 1em;
  border: 1px solid #ccc;
  background-color: #f9f9f9;
  white-space: pre-wrap;
}

#examples button {
  display: inline-block;
  margin: 0.5em 0.5em;
}

span.generated {
  background-color: #9dff1c;
}