/* Style sheet for ch08_eg23.html */

body {
   color:#000000;
   background-color:#ffffff;}

p {font-size:12pt;}

p.invisible {visibility:hidden;}