body {
  font-family: monospace;
  font-size: 140%;
}
code {
  font-family: monospace;
  font-size: 120%;
}