/* Increase the default font size */
html {
    font-size: 13pt;
  }