html {
  margin: 0;
  padding: 0;
}

body {
  margin: 0;
  padding: 0;
  font-family: monospace;
  background-color: #111;
}

span, input{
  font-size: 10pt;
}

ul.stdout {
  margin: 0;
  padding: 8pt 0;
  list-style: none;
}

ul.stdout > li {
  padding: 2pt 0;
}

ul.stdout > li > span {
  display: inline-block;
  vertical-align: top;
  margin: 0;
  padding: 0;
  color: lightgray;
}

ul.stdout > li > span.prompt {
  width: 15pt;
  padding-left: 8pt;
  color: gray;
}

ul.stdout > li > span.text {
  word-wrap: break-word;
  white-space: pre-wrap;
  width: 95%;
  max-width: 95%;
}

ul.stdout > li.input > span.prompt, ul.stdout > li.echo > span.prompt {
  color: gray;
}

ul.stdout > li.input > span.text {
  color: lightgray;
}

ul.stdout > li.print {
  padding-left: 24pt;
}

ul.stdout > li.print > span.text {
  color: white;
  width: auto;
}

ul.stdout > li.verbose > span.text {
  color: gray;
  font-weight: lighter;
}

ul.stdout > li.info > span.text {
  color: gray;
}

ul.stdout > li.warn > span.text {
  color: yellow;
}

ul.stdout > li.error > span.text {
  color: red;
}

ul.stdout > li.debug > span.text {
  color: aqua;
}

ul.stdout > li.echo {
  padding-bottom: 2pt;
}

ul.stdout > li.echo > span.text {
  color: green;
}

div.stdin {
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  box-sizing: border-box;
  margin: 0;
  padding: 0 24pt;
  color: white;
  border: none;
  width: 100%;
  height: 15pt;
  line-height: 1px;
}

div.stdin > input {
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  box-sizing: border-box;
  margin: 0;
  padding: 0;
  font-family: monospace;
  color: white;
  background-color: #333;
  border: none;
  height: 15pt;
}

div.stdin > input:active, div.stdin > input:focus {
  color: white;
  background-color: #333;
}

div.stdin > #stdin-prompt {
  display: block;
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  box-sizing: border-box;
  float: left;
  margin: 7pt 0 0 -15pt;
  padding: 0;
  width: 15pt;
  height: 15pt;
}

div.stdin > #stdin-input {
  position: relative;
  top: 0;
  left: 0;
  width: 100%;
}

div.stdin > #stdin-enter {
  position: relative;
  top: -15pt;
  left: 100%;
  width: 15pt;
}