@font-face {   
  font-family: "Roboto Mono";   
  src: url(./RobotoMono-Regular.ttf) format('truetype'); 
}

@font-face {   
  font-family: "Roboto";   
  src: url(./Roboto-Regular.ttf) format('truetype'); 
}

body {
  background-color: #1F1F1F;
}

div.l {
  font-family: "Roboto Mono", monospace;
  font-optical-sizing: auto;
  font-weight: 400;
  font-style: normal;
  font-size: 12pt;
  white-space: nowrap;
}

span.w {
  color: white;
}

span.d {
  font-family: "Roboto";
  color: #6A9955;
}

span.b {
  font-family: "Roboto Mono";
  color: #D4D4D4;
}

span.o {
  color: #d4d4d4;
}

span.n, a:link, a:active {
  color: #4FC1FF;
}

span.k, a:visited {
  color: #d7ba7d;
}

span.s {
  color: #ce9178;
}

span.l {
  color: #b5cea8;
}

span.u {
  color: pink;
}

span.t {
  color: #4EC9B0;
  font-weight: 700;
}