H1 { text-align: center}
+code { text-decoration: none; font-weight: normal; font-family: monospace}
A.qindex {}
A.qindexRef {color: fuchsia}
A.el { text-decoration: none; font-weight: bold }
A:hover { text-decoration: none; background-color: #f2f2ff }
A:active {text-decoration: none; color: white; background-color: navy }
DL.el { margin-left: -1cm }
-DIV.fragment { width: 100%; border: none; background-color: #eeeeee }
+DIV.fragment { width: 90%; border: none; background-color: #eeeeee}
DIV.ah { background-color: navy; font-weight: bold; color: #ffffff; margin-bottom: 3px; margin-top: 3px }
TD.md { background-color: #f2f2ff; font-weight: bold; }
TD.mdname { background-color: #f2f2ff; font-weight: bold; font-style: italic }