body {
  padding: 5px 10px 20px;
  /* font: 14px "Lucida Grande", Helvetica, Arial, sans-serif; */
  font-size: 12pt;
  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, Oxygen, Ubuntu, Cantarell, 'Open Sans', 'Helvetica Neue', sans-serif;
}

a {
  color: #00B7FF;
}