/* Sets the font size for readers who choose a smaller font size. See also   default.css and bigger.css. Line-heights and vertical margins are automatically calculated from this. The percentage is of 16px (0.75 * 16px = 12px). */
   
body { font-size: 75%; }

/* additional style changes for smaller text */