body {
  font-family: sans-serif;
}
code {
  font-family: monospace;
  font-size: 85%;
}

code.has-jax {
  -webkit-font-smoothing: antialiased;
  background: inherit !important;
  border: none !important;
  font-size: 100%;
}