body {

  font-family: "Times New Roman", "Palatino Linotype", "Book Antiqua", Palatino, serif;

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