main {
  gap: 1rem;
  margin: 0 2rem;

  > header {
    align-items: center;
    display: flex;
    gap: 1rem;
    padding-top: 1rem;
  }
}
#instruction {
  color: var(--lavender);
  margin: 0.5rem 0;
}
#editor {
  border: 0.1rem solid var(--dark-gray);
  border-radius: 0.5rem;
  display: flex;
  font-family: monospace;
  height: 14rem;
  max-width: 54rem;
  overflow: hidden;
  width: 100%;
}
#linenumbers {
  background-color: transparent;
  border-right: var(--dark-gray) 0.1rem solid;
  color: var(--lavender);
  font-family: monospace;
  line-height: 1.5rem;
  padding: 1rem;
  overflow: hidden;
  text-align: right;
  white-space: pre;
}
#code {
  background-color: var(--dark-blue);
  border: 0;
  box-sizing: border-box;
  color: var(--real-white);
  display: block;
  font-family: monospace;
  font-size: 1rem;
  line-height: 1.5rem;
  outline: none;
  overflow: hidden;
  padding: 1rem;
  width: 100%;
}
#buttonrow {
  align-items: center;
  display: flex;
  gap: 1rem;
}
button {
  background-color: transparent;
  border: 0.1rem solid transparent;
  border-radius: 0.5rem;
  cursor: pointer;
  font-family: monospace;
  font-size: 1rem;
  font-weight: bold;
  padding: 0.75rem 1rem;
  pointer-events: auto;

  &#check {
    border-color: var(--real-white);
    color: var(--real-white);
  }

  &#home {
    border-color: var(--lavender);
    color: var(--lavender);
  }
}
.hint {
  color: var(--lavender);
}
#syntaxerror {
  background-color: var(--dark-maroon);
  border: 0.1rem solid var(--dark-red);
  border-radius: 0.5rem;
  box-sizing: border-box;
  color: var(--real-white);
  font-family: monospace;
  max-width: 54rem;
  padding: 1rem;
  white-space: pre;
  width: 100%;
}
.message {
  align-items: center;
  border-radius: 1rem;
  border: transparent 0.1rem solid;
  color: var(--real-white);
  display: flex;
  height: 2rem;
  padding: 0 1rem;
  position: absolute;
  right: 2rem;
  top: 2rem;

  &:before {
    content: "";
    border-color: inherit;
    border-style: solid;
    border-radius: 50%;
    border-width: 0.4rem;
    display: inline-block;
    height: 0;
    margin-right: 1rem;
    width: 0;
  }

  &.animate {
    opacity: 0;
    transition: opacity 5s ease-in;
  }

  &#loading {
    border-color: var(--blue);
  }

  &#success {
    border-color: var(--green);
  }

  &#failure, &#changed {
    border-color: var(--red);
  }

  &#mouseclick {
    border-color: var(--orange);
  }
}