function theme_primary_menu_links($menu = NULL) {
  $output = '';

  $pid = variable_get('menu_primary_menu', 0);
  return theme('nice_menu_links', $pid, $menu);
}

function theme_nice_menu_links($pid, $menu = NULL) {
  $output = '';

  if ($menu_tree = theme('nice_menu_tree', $pid, $menu)) {
    if ($menu_tree['content']) {
      $output .= '<ul class="nice-menu nice-menu-down" id="nice-menu-primary">' . $menu_tree['content'] .'</ul>';
    }
  }

  return $output;
}