body {
  font-family: monospace;
}

h1 {
  margin: 0;
}

button {
  margin: 2px 0;
  border: solid 1px transparent;
  border-radius: 4px;
  background-color: lightgray;
}

pre {
  margin: 0;
}

.triangle {
  position: absolute;
  user-select: none;
  color: grey;
}

.exhaustive {
  display: none
}

#issue {
  float: right
}

#container {
  display: grid;
  grid-template-columns: 1fr 1fr;
  grid-gap: 10px;
  height: 85vh;
}

#input {
  width: 100%;
  border: thin solid #808080;
}

#output {
  width: 100%;
  border: thin solid #808080;
  padding: 2px;
  overflow: scroll;
  position: relative;
}