body { margin: 0em; padding: 0em; }
h1 { 
   font-family: Tahoma, sans-serif; 
   margin: 0.5em 0em; 
}
h2 { font-family: Tahoma; }

pre { margin-left: 2em; }
div.download { margin-left: 1em; }
div.download p strong { font-variant: small-caps; }
div.head { 
   padding: 0.25em 1.5em; 
   border-bottom: 1px dashed #000; 
}
div.head p { font-variant: small-caps; }
div.body { padding: 1em 1.5em; }
div.head { background-color: #fafbfe; /* #ebf3ff; */ }
span.pyrple { 
   color: #a50abe; 
   font-size: 110%; 
}
span.term { color: #039; }
span.description { 
   color: #039; 
   font-variant: small-caps; 
}