body {
   background-color: white;
   /*font-family: verdana,arial,helvetica;*/
   font-family: Georgia, "Times New Roman", Times, serif;
   font-size: 11pt;
   font-weight: normal;
   margin-left: 25px;
   margin-right: 25px;
  width: 35em;
  margin: auto;
  color:black;
  line-height: 20px;
}

input, textarea {
font-family:Georgia,"Times New Roman",Times,serif;
}
td { color: #000000 }
p { color: #000000; text-align:justify; page-break-inside:avoid; }
p + p {
text-indent:1.5em;
}
h1 { 
  color: #000080;
  font-size: 24px;
  font-weight: normal;
  text-align: center;
  font-family:Georgia,Times New Roman,Times,serif;
}
h1 a ,
h1 a:visited { 
  color: #000080;
  text-decoration: none;
}
h4 {
    margin:0;
    margin-top: 10px;
}

div.code
{
  white-space: pre;
  font: 9pt "courier new",monospace;
  color: black;
  width: 90%;
  margin: auto;
  max-width: 600px;
  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 { 
  color: #000080;
  /*color: #d64b4b;*/
   /*text-decoration: none;*/
}
a:hover {
    text-decoration: none;
}
a.popupLink {
   background-color: #99FF66;
}


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;
}
ul.head {
   margin:0; 
   padding:0;
   padding-bottom: 10px;
   text-align: center;
   font-size: 18px;
  font-family:Georgia,Times New Roman,Times,serif;
}
ul.head a{
    text-decoration: none;
}
ul.head li {
    margin:0;
    list-style: none;
    display: inline;
    padding: 10px;
}

ul li {
    margin-bottom: 10px;
text-align:justify; page-break-inside:avoid;
}
div.center {
    color: #ccc;
    text-align: center;
}
div.meta {
    color: #888888;
}