#navigation {padding: 3px 0; margin: 0;
  border-bottom: 1px solid #778;
  font: bold 10px sans-serif; clear: left}
#navigation li {list-style: none; margin: 0;
  display: inline; line-height: 250%}
#navigation li a {padding: 3px 0.5em; margin-left: 3px;
  border: 1px solid #778; border-bottom: none;
  background: #DDE;
  text-decoration: none;}
#navigation li a:link {color: #448; }
#navigation li a:visited {color: #667; }
#navigation li a:hover {color: #000; background: #AAE;
  border-color: #227;}

#Contents {
   background: #e6f3f5;
   color: #000;
   padding: 0.1% 1em 1em 1.5em;
   border: 1px solid #8db5d3;
}

h2, h3, h4 { font-weight: bold }

@media print {
   h2 { page-break-after: avoid }
   ul, ol, li, p { page-break-inside: avoid }
  .newsection { page-break-before: always }
  .noprint { display: none }
   }

.hide { display: none }

/* From technology.html */

#stackdiag { text-align: center }