/* Style sheet for ch07_eg01.html */

body {
   color:#000000;
   background-color:#ffffff;
   font-family:arial, verdana, sans-serif; }

h1 {font-size:18pt;}

p {font-size:12pt;}

table {
   background-color:#efefef;
   border-style:solid;
   border-width:1px;
   border-color:#999999;}

th {
   background-color:#cccccc;
   font-weight:bold;
   padding:5px;}

td {padding:5px;}

td.code {
   font-family:courier, courier-new, serif;
   font-weight:bold;}