public void pushStylesheet(Stylesheet s){
  if (m_stylesheets.size() == 0)   m_stylesheetRoot=(StylesheetRoot)s;
  m_stylesheets.push(s);
}

public void pushStylesheet ( Stylesheet s ) { if ( m_stylesheets . size ( ) == 0 ) m_stylesheetRoot = ( StylesheetRoot ) s ; m_stylesheets . push ( s ) ; }
push the current stylesheet being constructed . if no other stylesheets have been pushed onto the stack , assume the argument is a stylesheet root , and also set the stylesheet root member .
