html {
  font-size: 18px;   /* default is 16px; 18–20px is a comfortable bump */
}