I'm working with the MAYO theme (http://drupal.org/project/mayo) and it has a nice feature where you can turn on and off a search box in the header through Administrator-Themes-Settings. I'd like to use this search box, but with a different search box (one that searches our library catalog). So, basically, I'm looking for a place to stick the HTML code in the MAYO theme so that that search box becomes my search box. I've looked through the CSS and other files in the theme, but all I see is the layout of the search box, not the actual information for the search box. I'm wondering if this is even possible to do because I'm thinking this theme is using the search that is in Drupal core and so therefore I cannot change the settings through the theme. I suppose I could add a block to the header and then put my search box in that block... I'll keep messing around in there, but if anyone has any advice or has similarly tweaked a theme, please let me know where you made the changes (I do have a basic knowledge of CSS and HTML, but not php).
Thanks!