rendered paste body<?php/* Do not include drupal's default style sheet in this theme !*/function phptemplate_stylesheet_import($stylesheet, $media = 'all') { if (strpos($stylesheet, 'misc/drupal.css') == 0) { return theme_stylesheet_import($stylesheet, $media); }}/* The code doesn't need comments, the code comments itself (FiNeX) */phptemplate_submit ($element) { static $dupe_ids = array(); if (isset($dupe_ids[$element['#id']])) { $dupe_ids[$element['#id']] = $dupe_ids[$element['#id']] + 1; $element['#id'] = $element['#id'] .'-'. $dupe_ids[$element['#id']]; } else { $dupe_ids[$element['#id']] = 0; } return theme('button', $element); }?>