body {
   background-color: white;
   font-family: verdana,arial,helvetica;
   font-size: 9pt;
   font-weight: normal;
   margin-left: 25px;
   margin-right: 25px;
  width: 95%;
  margin: auto;
   max-width: 800px;
  color:black;
}

td { color: #000000 }
p { color: #000000; text-align:justify; page-break-inside:avoid; }
h1 { 
  color: #000080;
  font-size: 24px;
  font-weight: bold;
  text-align: center;
}

div.code {
  white-space: pre;
  font: 9pt "courier new",monospace;
  color: black;
  width: 90%;
  margin: auto;
  max-width: 750px;
  border: 4px;
  padding: 10px;
  border-style: ridge;
  background-color: #DCDCDC; 
  page-break-inside:avoid;
}

div.code2 {
  white-space: pre;
  font: 8pt "courier new",monospace;
  color: black;
  width: 100%;
  background-color: white;
  page-break-inside:avoid;
}

div.code3 {
  white-space: pre;
  font: 9pt "courier new",monospace;
  color: black;
  border: 4px;
  padding: 10px;
  border-style: ridge;
  background-color: #DCDCDC; 
  page-break-inside:avoid;
}



div.marker {
  font: 10pt "courier new",monospace;
  font-weight: bold;
  color: black;
  width: 100%;
  background-color: #CCFFFF;
  page-break-inside:avoid;
}


a:link { color: #0000ff }
a:visited { color: #800080 }
a.popupLink {
   background-color: #99FF66;
   text-decoration: none;
}


p.StartExample {
  margin: auto;
  margin-top: 10px;
  margin-bottom: 10px;
  width: 150px;
  height: 15px;
  border: 4px;
  border-style: outset;
  padding: 5px;
  font-size: 12px;
  font-weight: bold;
  text-align: center;
  background-color: gray;
}