body{
   background: white;
   color: black;
}
h1{font-size: 1.5em;
   font-family: arial;
   color: black;
   border-style: solid;
   border-color: gray;
   border-width: 0 0 6 20;
   padding: 0.2em;}
h2{font-size: 1.5em;
   font-family: arial;
   color: black;
   background: #ddffdd;
   //border-style: solid;
   //border-color: lightgreen;
   //border-width: 0 0 0 25;
   //text-indent: 0.5em;
}
strong{
   font: bold;
   color: red;
}
pre{
   background: Lavender;
   margin-left: 1em;
   padding: 0.3em;
}
blockquote{
   background: Lavender;
   margin-left: 1em;
   padding: 0.3em;
}
a:hover{
   background-color: #ddddff;
}
p.navigate{
   background: lightgray;
   text-align: right;
}
p.updated{
   text-align: right;
}
div.centering{
  text-align: center;
}
table.toc{
   background: lightgray;
}
