/* Style sheet for ch07_eg01.html (i.e. WPch7.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; }