/* for the 1st of 3 font size options */
html { font-size: 1.0em; }