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