/* idxhtm.css is used for the generated HTML index file */
/* DO NOT MODIFY THIS FILE; it is replaced at every product update! */

ul#indextop,
ul#indextop ul,
ul#indextop li {
 list-style-type: none;
 padding: 0;
 margin-left: 12pt;
}

