body, td     { 
        font-size:13px; font-family:Arial, helvetica, sans-serif; }
body {  margin-left: 10px; margin-right: 10px; margin-top: 0px; }


ul.long_list, ol.long_list { padding-top: 10px; }
.long_list li {padding-bottom: 10px; }
.long_list li ul li {padding-bottom: 0px; padding-top: 0px;}


pre  {  font-family: Courier New;
        font-size: 11px;
        margin-top: 0px;
        padding: 3px;
        border: 1px solid #cccccc;   /* border: 2px dashed #cccccc; background-color: #eeeeee; */
        background-color: #FFFFCC;
        font-style: normal;
        width:548px;
      }
pre.viewerDL { margin-top: 10px; }


.spec { color: #003399; }
.emp  { color: #990000;}
.emp2 { color: #660000;}
.tip  { font-style: italic; border: 1px dotted #cccccc; padding: 5px 5px 5px 5px; background-color: #eeeeff;}

h1 {    font-family: verdana, helvetica; font-size: 20px; }
h2 {    font-family: verdana, helvetica;  font-size: 18px; }

h3 {    font-size: 13px; margin-bottom: 0px; }
h4 {    font-size: 12px; margin-bottom: 0px; }


dl {}
dt {    font-weight: bold; color: #aa0000; }
.heading {font-size: 15px; color: #000; border-bottom: 2px #006699 solid; width:100%; padding-top: 5px;}
dd {    padding-bottom: 16px; }


dl ul { padding-left: 10px; margin-left: 10px; padding-top: 10px; }
dl ul li { padding-bottom: 5px; }
dl dl dt { font-style: italic; color: #900;}

dl .summary { color: #000000; font-style: italic;  font-weight: normal;  }