diff options
Diffstat (limited to 'themes/bluemarine/page.tpl.php')
| -rw-r--r-- | themes/bluemarine/page.tpl.php | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/themes/bluemarine/page.tpl.php b/themes/bluemarine/page.tpl.php index 0625a4655..f2d3b19e7 100644 --- a/themes/bluemarine/page.tpl.php +++ b/themes/bluemarine/page.tpl.php @@ -20,12 +20,7 @@ <td id="menu"> <?php if ($secondary_links) { ?><div id="secondary"><?php print theme('links', $secondary_links) ?></div><?php } ?> <?php if ($primary_links) { ?><div id="primary"><?php print theme('links', $primary_links) ?></div><?php } ?> - <?php if ($search_box) { ?><form action="<?php print $search_url ?>" method="post"> - <div id="search"> - <input class="form-text" type="text" size="15" value="" name="edit[keys]" alt="<?php print $search_description ?>" /> - <input class="form-submit" type="submit" value="<?php print $search_button_text ?>" /> - </div> - </form><?php } ?> + <?php print $search_box ?> </td> </tr> <tr> |