body {
  font-family: Arial,sans-serif, Georgia, Serif;
  font-size: 13px;
}
code {
  font-family: monospace;
  font-size: 100%;
}