<style type="text/css">
<!--
 BODY { font-family: sans-serif; padding-left: 0em; }
 BLOCKQUOTE { margin-left:  0em; margin-right:  0em;
              padding-left: 1em; padding-right: 1em;
              padding-bottom: 1ex;
              border-bottom: thin solid black; 
             }

 TH.label:before { content: ""; }
 TH.label { text-align: center; font-size: 125%; font-weight: bold; font-family: sans-serif; }
 TH:before { content: " # "; }
 TH { text-align: left; font-family: monospace; }
 TD { width: 50%; font-family: monospace; }
 TD.note:before { content: "# "; }
 TD.note { padding-left: 4em; padding-right: 4em; font-family: sans-serif; }

DIV.banner { background-color: #6696fe;  
             border-top: thin solid black; border-bottom: thin solid black; 
             margin-left:  0em; margin-right:  0em;
             padding-left: 0em; padding-right: 0em; }
H1.banner { font-family: cursive; border: none; padding-top: 0ex; margin-left: 132px; }
H2.banner { font-family: cursive; padding-bottom: 0em; margin-bottom: 0em; margin-left: 132px;}
IMG.banner { padding-left: 1em; padding-right: 1em; float: left;  padding-top: 1ex; }

DIV.toc    { margin-left:  0em; margin-right:  0em;
             padding-left: 1em; padding-right: 1em; }
H1.toc { font-size: 100%; font-weight: bold; font-family: cursive; 
         border: none; }
h1 { border-top: thin solid black; padding-top: 1ex;
        text-align: left;
        font-family: verdana,arial,helvetica,sans-serif;
        font-weight: normal;
        color: #333399;
        }
h2 { 
        text-align: left;
        font-family: verdana,arial,helvetica,sans-serif;
        font-weight: normal;
        color: #333399;
        }
h3 { 
        text-align: left;
        font-family: verdana,arial,helvetica,sans-serif;
        font-weight: normal;
        color: #333399;
        }

IMG { padding-left: 1em; padding-right: 1em; }

 P { padding-left: 1em; text-indent: 0em; }
 P.abstract { font-size: 80%; }
 P.keywords { text-align: left; font-size: 80%; }
 P.example { border: thin solid black; background-color: #d0d0d0; 
             font-family: monospace; 
             padding-left: 1em; padding-right: 1em;
             padding-top: 1ex; padding-bottom: 1ex; }
 P.reference { margin-left: 1em; text-indent: -1em; }
 P.foot { text-align: right; font-size: 50%; border-top: thin solid black; }
 PRE.example { border: thin solid black; background-color: #d0d0d0; 
             font-family: monospace; 
             padding-left: 1em; padding-right: 1em;
             padding-top: 1ex; padding-bottom: 1ex; }

DT { margin-left: 1em; font-weight: bold; }
DD { margin-left: 3em; }

SAMP { font-family: courier, monospace; font-weight: bold; }
CODE { font-family: courier, monospace; font-weight: bold; }
KBD  { font-family: courier, monospace; font-weight: bold; }

-->
</style>
