/* Style sheet for ch09_eg04.html */
  
  body {
     color:#000000;
     background-color:#ffffff;
     font-family:arial, verdana, sans-serif; 
     font-size:12px;}
  
  p {margin-bottom:1em; margin-top:1.5em;}
  
  .codeInText {
    font-family:courier, "courier new", monosapce;
    font-weight:bold;}
  
  .codeForeground {
    font-family:courier, "courier new", monosapce;
    font-weight:bold;
    background-color:#cccccc;
    padding:0.5em;
    margin-bottom:1em; margin-top:1.5em;
    letter-spacing:-0.1em;
    display:block;}
  
  .codeBackground {
    font-family:courier, "courier new", monosapce;
    font-weight:bold;
    background-color:#ffffff;
    padding:0.5em;
    margin-bottom:1em; margin-top:1em;
    letter-spacing:-0.1em;
    display:block;}
  
  .keyStroke {
    font-family:times, "Times New Roman", serif;
    font-style:italic;}
  
  .importantWords {
    font-weight:bold; }
  
  .boxText {
    font-weight:bold;
    background-color:#efefef;
    width:90%;
    padding:1em;
    margin-left:3em; margin-right:3em; margin-bottom:1em; margin-top:1.5em;
    border-style:solid; border-width:1px; border-color:#000000;}
  
  .background {
    font-style:italic;
    width:90%;
    padding:1em;
    margin-left:3em; margin-right:3em; margin-bottom:1em; margin-top:1em;}