Configure custom portal themes to include the search box

The code for including the search box in a theme is located in...

PORTAL_HOME/theme/wp.theme.modules/webapp/installedApps/ThemeModules.ear/ThemeModules.war/themes/html/dynamicSpots/modules/search/search.jsp

To make the search box available for users in the custom theme, do either of the following:

• Copy the contents of the file into your custom theme files.
• Copy the file into the theme and include it directly.

Parent: Administer Portal Search