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