<!--

.example
  { background-color: #E0E0E0; color: #000000;
  }
.example strong
  { background-color: #C0C0C0;
  }
p.example
  { text-indent:0; text-align:left; line-height: 100%;
    margin-left: 2em; padding: 1em;
    background-color: #E0E0E0; color: #000000;  
  }
.html 
  { color: #000080; background: none;
  }
.html strong
  { color: #000080; background-color: #C0C0C0;
  }
.css 
  { color: #800000; background: none
  }
.css strong
  { color: #800000; background-color: #C0C0C0;
  }
.javascript 
  { color: #008000; background: none
  }
.javascript strong
  { color: #008000; background-color: #C0C0C0;
  }


-->