@font-face {
  font-family: "Noto Color Emoji";
  src: url("/fonts/notocoloremoji.woff2") format("woff2"),
    url("/fonts/notocoloremoji.woff") format("woff");
  font-weight: normal;
  font-style: normal;
}

@font-face {
  font-family: "JetBrains Mono";
  src: url("/fonts/jetbrains.woff2") format("woff2"),
    url("/fonts/jetbrains.woff") format("woff");
  font-weight: 400;
  font-style: normal;
}

body {
  font-family: "JetBrains Mono", Courier, monospace;
}

pre {
  font-family: "JetBrains Mono", Courier, monospace;
  margin: 0 auto;
  line-height: 1.5;
}

h1 {
  line-height: 0;
}

hr {
  border: 0;
  border-top: 1px solid black;
}

input[type="file"] {
  color: rgba(0, 0, 0, 0); /* Makes the text transparent */
  width: 90px;
}

.emoji {
  font-family: "Noto Color Emoji", "JetBrains Mono", Courier, monospace;
}

.nav {
  margin-bottom: 4px;
}

.nav a {
  color: black;
}

.you {
  color: #ff0000;
}

.you-text {
  font-family: Arial, Helvetica, sans-serif;
  color: #ff0000;
}

.them {
  color: #0000ff;
}

.them-text {
  font-family: Arial, Helvetica, sans-serif;
  color: #0000ff;
}