@font-face {
  font-family: 'sansmono';
  src: url('DejaVuSansMono.woff2') format('woff2');
  font-weight: normal;
  font-style: monospace;
} 

@font-face {
  font-family: 'sansmono';
  src: url('DejaVuSansMono-Bold.woff2') format('woff2');
  font-weight: bold;
  font-style: monospace;
} 

body {
  background-color: #000000; 
}

a {
  color: #FFFFFF;
}

.command{
  font-family: sansmono;
  color: #FFFFFF;
  font-size: 14px;
  padding-bottom: 0px;
  margin-bottom: 0px;
}

.stdout{
  font-family: sansmono;
  color: #FFFFFF;
  font-size: 16px;
  padding-top: 0px;
  margin-top: 0px;
}

.eighty{
  max-width: 80ch;
}

.host{
  color: #55FF55;
  font-weight: bold;
  font-family: sansmono;
}

.folder{
  color: #5555FF;
  font-weight: bold;
  font-family: sansmono;
}

.folderlink{
  text-decoration: underline;
  color: #5555FF;
  font-weight: bold;
  font-family: sansmono;
}

.blink{
  animation-name: blink;
  animation-duration: 2s;
  animation-iteration-count: infinite;
}

@keyframes blink {
  0%   {color: white;}
  49%  {color: white;}
  50%  {color: transparent;}
  99%  {color: transparent;}
  100% {color: white;}
}