/* syntax highlighting (used by the first combo defined for the CSS plugin) */

a {color: #02178c;
   font-size: 10pt;
   font-family: arial, serif, arial;
   }
.link_html:link { text-decoration: underline;}
.link_html:visited { text-decoration: underline;}
.link_html:hover { text-decoration: underline;}
.link_html:active { text-decoration: underline;}


/* info combo */
.head_1_html   { color: #02178c;
                    font-size: 12pt;
                    font-family: arial, serif, arial;
                    font-weight:bold;}
.head_black_html   { color: #000000;
                    font-size: 12pt;
                    font-family: arial, serif, arial;
                    font-weight:bold;}
.text_1_html   { color: #02178c;
                    font-size: 10pt;
                    font-family: arial, serif, arial;
                    font-weight:normal;}
.text_black_html   { color: #000;
                    font-size: 10pt;
                    font-family: arial, serif, arial;
                    font-weight:normal;}