@font-face {
  font-family: 'mplus-1mn-regular';
  src: url('../fonts/mplus-1mn-regular.ttf') format('truetype');
}

@font-face {
  font-family: 'mplus-1mn-bold';
  src: url('../fonts/mplus-1mn-bold.ttf') format('truetype');
}

@font-face {
  font-family: 'mplus-1p-regular';
  src: url('../fonts/mplus-1p-regular.ttf') format('truetype');
}

@font-face {
  font-family: 'mplus-1p-bold';
  src: url('../fonts/mplus-1p-bold.ttf') format('truetype');
}

@font-face {
  font-family: 'Source Code Pro';
  src: url('https://fonts.googleapis.com/css2?family=Source+Code+Pro&display=swap');
}

.mplus {
    font-family: 'mplus-1p-regular'
}

pre {
    font-family: 'mplus-1mn-regular';
}

.user-input {
    color: #2E52F2;
}

.machine-output {
    color: #5D9E28;
}