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

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


/* info combo */

.head_1_html   { color: #cc0000;
                    font-size: 10pt;
                    font-family: verdana, serif, arial;
                    font-weight:bold;}

.head_black_html   { color: #000000;
                    font-size: 12pt;
                    font-family: verdana, serif, arial;
                    font-weight:bold;}

.text_1_html   { color: #cc0000;
                    font-size: 10pt;
                    font-family: verdana, serif, arial;
                    font-weight:normal;}

.text_black_html   { color: #000000;
                    font-size: 10pt;
                    font-family: verdana, serif, arial;
                    font-weight:normal;}