private void copyAttributes(CSSElement element,Vector selectors,HTMLElement addTo){
  if (selectors == null) {
    return;
  }
  for (Enumeration e=selectors.elements(); e.hasMoreElements(); ) {
    CSSElement selector=(CSSElement)e.nextElement();
    addTo.addChild(selector);
    while (selector.getNumChildren() > 0) {
      selector=selector.getCSSChildAt(0);
    }
    element.copyAttributesTo(selector);
  }
}

private void copyAttributes ( CSSElement element , Vector selectors , HTMLElement addTo ) { if ( selectors == null ) { return ; } for ( Enumeration e = selectors . elements ( ) ; e . hasMoreElements ( ) ; ) { CSSElement selector = ( CSSElement ) e . nextElement ( ) ; addTo . addChild ( selector ) ; while ( selector . getNumChildren ( ) > 0 ) { selector = selector . getCSSChildAt ( 0 ) ; } element . copyAttributesTo ( selector ) ; } }
copies all attributes from
