@font-face {
  font-family: 'BigBlue TerminalPlus';
  src: url('BigBlue_TerminalPlus.eot');
  src: url('BigBlue_TerminalPlus.eot?#iefix') format('embedded-opentype'),
    url('BigBlue_TerminalPlus.woff') format('woff'),
    url('BigBlue_TerminalPlus.ttf') format('truetype');
  font-weight: normal;
  font-style: normal;
}

* {
  font-family: 'BigBlue TerminalPlus';
  color: white;
  font-size: 12px;
}

body {
  background-color: black;
}

#cursor {
  animation: blinker 1s linear infinite;
}

#editor-header {
  background-color: grey;
  margin-bottom: 5px;
}

#editor-footer {
  position: fixed;
  bottom: 12px;
  left: 10px;
}

.host {
  color: lime;
}

.error {
  color: red;
}

.dir {
  color: aqua;
}

@keyframes blinker {
  50% {opacity: 0;}
}