body {
  font-family: "Open Sans", Arial, Helvetica, sans-serif;
}

.header {
  font-family: "Lora", Georgia, "Times New Roman", Times, serif;
}

.navbar {
  min-height: 3.5rem;
}

.font-mono {
  font-family: "Noto Sans Mono";
}

.cursor-zoom {
  cursor: zoom-in;
}

.cursor-zoom-out {
  cursor: zoom-out;
}