body, div#page {
  margin: 0px;
  padding: 0px;
  width: 100%;
  height: 100%;
  background-color: #111111;
}

div#out {
  margin: 0px;
  padding: 0px;
  overflow-y: scroll;
  overflow-x: scroll;
  font-size: 12px;
  line-height: 150%;
  border: 1px solid gray; 
}

span.out {
  white-space:pre;
  word-wrap: break-word;
  font-family: "Terminal";
  font-size: 16px;
  color: white;
}

div#cmd {
  position: fixed;
  bottom: 0px;
  width: 100%;
  padding: 0px;
  margin: 0px;
}

input#cmd {
  font-size: 18px;
  padding: 5px;
}

button.cmd {
  font-size: 18px;
  width: 80px;
  padding: 7px;
  margin: 1px;
}