/* Also reduce unstyled/inherited browser-default text from 16px to 14px.
   Explicit imported sizes are corrected once by the shared HTML transform. */
html { font-size: 14px; }
