body,
div#page {
  margin: 0px;
  padding: 0;
  width: 100%;
  height: 100%;
  background-color: #2f383e;
  overflow-x: hidden;
  font-size: 1.6em;
  font-family: monospace;
}

div#output {
  margin: 0px;
  padding: 0 10px;
  overflow-y: scroll;
}

span.out {
  word-break: break-all;
  white-space: pre;
  color: #d3c6aa;
}

span.user-input {
  color: #908266;
}

div#cmd {
  width: 100%;
  position: fixed;
  bottom: 0px;
  display: flex;
  flex-wrap: wrap;
}

input#cmd {
  flex: 1;
  padding: 4px;
  margin: 0 5px 0 0;
  font-size: 1em;
  font-family: monospace;
}

button.cmd {
  padding: 8px;
  font-size: 1em;
  font-family: monospace;
}