@font-face {
    font-family: 'VCR OSD Mono';
    src: url('/fonts/VCROSDMono.woff2') format('woff2'),
        url('/fonts/VCROSDMono.woff') format('woff');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
}

a {
  color: yellow;
}

body {
  background-color: #33254d;
  color: white;
  font-family: 'VCR OSD Mono', monospace !important;
}

.navbar {
  overflow: hidden;
  background-color: #563c87;
  position: fixed;
  top: 0;
  left: 0;
  width: 100%;
  padding: 4px;
  font-size: x-large;
}

.navbar > a:link { text-decoration: none; }
.navbar > a {
  margin: 0px 8px;
}