* {
  margin: 10 0 10 0;
  padding:  0 10 0 10;
}

body {
  background-color: black;
  background-image: radial-gradient(
    rgba(0, 0, 150, 0.75), black 120%
  );
  height: 100vh;

  color: white;
  font: 1.3rem Inconsolata, monospace;
  overflow: hidden;
}

#main {
  overflow: auto;
}

.input-line {
    display: -webkit-box;
    -webkit-box-orient: horizontal;
    -webkit-box-align: stretch;
    display: box;
    box-orient: horizontal;
    box-align: stretch;
    clear: both;
}

.prompt {
    white-space: nowrap;
    color: #ffcc00;
    margin-right: 7px;
    display: -webkit-box;
    -webkit-box-pack: center;
    -webkit-box-orient: vertical;
    display: box;
    box-pack: center;
    box-orient: vertical;
    -webkit-user-select: none;
    user-select: none;
}

.cmdline {
    outline: none;
    background-color:
    transparent;
    margin: 0;
    width: 100%;
    font: inherit;
    border: none;
    color: inherit;
}