body {
  font-family: Palatino, "Palatino Linotype", "Songti SC", Georgia, "Times New Roman", serif;
}
code {
  font-family: "Lucida Console", Monaco, monospace;
  font-size: 85%;
}