body {
	background-color: #000
}

body.full-screen-terminal .terminal {
  height: 95%;
  margin-left: 1em;
  margin-right: 1em;
}

@keyframes change {
  0%  { color:  #484848; }
  50% { color:  #484848; }
  99% { color: black; }
}

.terminal {
  --size: 1.15;
}

.navbar {
  background:#000;
  border-bottom:2px dashed  #aaa;
}
.nav-link,
.navbar-brand {
  color: #aaa;
  cursor: pointer;
  font-family: courier, monospace;
  margin-left: 1em;
}
.navbar-brand:hover {
  color: #00ffff;
}
.nav-link {
  margin-right: 1em !important;
}
.nav-link:hover {
  color: #00ffff;
}
.navbar-collapse {
  justify-content: flex-end;
}