body {
  font-family: "Lato", "Liberation Sans", "Noto Sans", Arial, sans-serif;
}
code {
  font-family: "DejaVu Sans Mono", monospace;
  font-size: 85%;
}