/* Fig. 4.7: styles.css */
/* External style sheet */
body     { font-size: 16pt; }