CODE {
            color: #666666;
          }
/*   DT.definition EM { font-weight: bold; font-style: normal; } */

     DT.definition { 
                   background: #eee;
                   color: black;
                   padding: 0.2em 1em 0.2em 0.7em;
                   margin-left: 0.2em;
border: 1px solid #bbc;
                   font-family: "Andale Mono", monospace;
                   /* font-size: 1.2em; */
                   
                 }
     DD {
                   margin-top: 0.8em;
                   margin-bottom: 0.8em;
     }
     DIV.subsection {
                    border-top: 1px solid #448;
                    padding-left: 1em;
     }
         DIV.section {
                 margin-bottom: 1.5em;
         }
         a:link {
                 color: #336;
         }
         a:visited { color: #666; }
         a:active  { color: #966; }
         a:hover   { color: #669; }
         body { margin: 0; padding: 0; background: #fff; color: #000; font: 9pt "Lucida Grande", "Verdana", sans-serif; }
         H2 {
                 background: #336;
                 color: #fff;
                 padding-top: 0.5em;
                 padding-bottom: 0.5em;
                 padding-left: 16px;
                 margin: 0 0 1em 0;
        }
        LI {
                list-style: none;
        }
        TT {
                font-family: "Andale Mono", monospace;
                /* font-size: 1.2em; */
        }
        H3 {
                color: #113;
                margin-bottom: 0.5em;
        }
     DIV#eggheader {
         text-align: center;
                 float: right;
                 margin-right: 2em;
     }
     DIV#header IMG {
            /* display: block; margin-left: auto; margin-right: auto;  */
            /* float: right; */
            border: none;  /* firefox */
     }
     DIV#footer {
                background: #bbd;
                padding: 0.7em ;
                border-top: 1px solid #cce;
     }
     DIV#footer hr {
                display: none;
     }
     DIV#footer a {
                float: left;
     }
     DIV#revision-history {
         float: right;
     }
     
     DIV#body {
                 margin: 1em 1em 1em 16px;
         }

     DIV#examples PRE {
       background: #eef;
       padding: 0.1em;
       border: 1px solid #aac;
     }
     PRE#license, DIV#examples PRE {
       padding: 0.5em;
     }
     DIV#examples PRE {
       /* font-size: 85%; */
     }
     PRE { font-family: "Andale Mono", monospace; }
     TABLE {
       background: #eef;
       padding: 0.2em;
       border: 1px solid #aac;
       width: 100%;
     }
     TABLE.symbol-table TD.symbol {
          width: 15em;
          font-family: "Andale Mono", monospace;
          /* font-size: 1.2em; */
     }
     TH {
       border-bottom: 1px solid black;
     }