Igal site

The script is in site_head in case it's decided to add the searchbox to other pages; no change will be required re the script. Right now the searchbox appears in docs pages only, and the CSE is set to search latest/docs only.

The styling on the searchbox is done via some styling in doc_page to override the styling from goog. Also there's inline styling on the searchbox div. These could move into a CSS file eventually, they just need to override the goog css.

Someday probably should tweak the padding above and below the searchbox, seems to have a little too much whitespace ....