body {
  font-family: "Lucida Console", Monaco, monospace;
  font-size: 85%;
}
code {
  font-family: "Lucida Console", Monaco, monospace;
  font-size: 85%;
}