body {
  font-family: "Dejavu Sans", Arial, sans-serif;
  font-size: 1rem;
}

code {
  font-family: monospace;
  font-size: 0.9rem;
}