Make display of search results consistent with color scheme

The default design of Javadoc API documentation uses an orange color (RGB #F8981D) to represent highlighted or selected elements such as the currently displayed section, tab, or an active link. Search result do not conform to this color scheme, they use a gray highlight that comes with the jquery UI library. Using the same orange highlight for search result would improve the user experience of Javadoc API documentation.