@font-face {
  font-family: 'perfect_dos_vga_437regular';
  src: url('/fonts/perfect_dos_vga_437-webfont.woff2') format('woff2'),
       url('/fonts/perfect_dos_vga_437-webfont.woff') format('woff');
  font-weight: normal;
  font-style: normal;
}

html {
  font-family: 'perfect_dos_vga_437regular';
}

body {
  background: #000;
  margin: 0;
  padding: 0;
  line-height: 0.98;
}

body, .prompt-input {
  font-size: 1.7vw;
  text-rendering: geometricPrecision;
  -moz-osx-font-smoothing: grayscale;
  -webkit-font-smoothing: antialiased;
  font-smoothing: antialiased;
}

@media (max-width: 400px) {
  body, .prompt-input {
    font-size: 3vw;
  }

  .left-padding {
    display: inline-block;
    width: 5vw;
  }
}

@media (max-width: 700px) {
  body, .prompt-input {
    font-size: 2.4vw;
  }

  .left-padding {
    display: inline-block;
    width: 14vw;
  }
}

@media (min-width: 1000px) and (max-height: 650px) {
  body, .prompt-input {
    font-size: 1.4vw;
  }

  .left-padding {
    display: inline-block;
    width: 28vw;
  }
}

.menu-background {
  background: #5ff;
}

.menu-content {
  white-space: pre-wrap;
}

.prompt-background {
  background: #000;
  color: #ebebeb;
}

.prompt-content {
  max-width: 80vw;
  margin: 0 auto;
  padding-bottom: 16px;
}

.text-cyan {
  color: #5ff;
}

.text-pink {
  color: #f5f;
}

.text-green {
  color: #5f5;
}

.text-darkgreen {
  color: #00c000;
}

.text-black {
  color: #000;
}

.text-grey {
  color: #ebebeb;
}

.bg-blue {
  background: #00f;
}

.bg-black {
  background: #000;
}

.game-link {
  cursor: pointer;
}

.prompt-prompt.is-hidden {
  display: none;
}

.prompt-input {
  width: 60vw;
  background: none;
  border: none;
  padding: 0;
  font-family: 'perfect_dos_vga_437regular';
  color: #ebebeb;
  margin-left: 3px;
}

.prompt-input:focus {
  outline: none;
}

.prompt-echo {
  margin-top: 1px;
  margin-bottom: 16px;
}

.prompt-echo-command {
  display: inline-block;
  margin-left: 3px;
}

.font-load-trigger {
  color: #000; /* Some text to trigger the browser to load the font we're using. The same colour as the background, since it should only be displayed before the font has loaded */
}

.is-hidden {
  display: none;
}