tree 87ffe355c526d551ed32d73bb2590c8410e43652
parent 573f8bad2d22cf8d4df4dd2bea8d71773c34136a
author Yuxuan 'fishy' Wang <fishywang@google.com> 1447115565 -0800
committer Yuxuan 'fishy' Wang <fishywang@google.com> 1448432079 -0800

Merge doc and change searches.

This CL puts a dropdown in the SearchPanel, to choose from changes
search (default) or documentation search.

I mostly copied the css for the search button to the dropdown, with
some minor changes.

If docs are not available (e.g. built without docs), the whole dropdown
will be gone and it should be the same as before.

Screenshot: https://i.imgur.com/Qyg2VZg.png

Change-Id: I04e15327f43fc9c8002cba364b44d77f52075234