* {
  user-select: none;
  -webkit-user-select: none;
  -webkit-touch-callout: none;
  -webkit-tap-highlight-color: transparent;
}

/* loaded by page: << initiator.location.url >> */
html, body {
    background-color: #000000;
    font-family: monospace;
    overscroll-behavior: none;
    overflow-x: hidden;
    margin: 0px;
    padding: 0px;
    width: 100vw;
    height: 100vh;
}

textarea {
    width: 100%;
    height: 12rem;
    font-family: monospace;
}

button {
    margin-right: 0.5rem;
}

#display {
    display: block;
}