Have a "google on site" widget

[dotta]

To ease search in the website (or maybe just in the doc?) it would be nice to have a "google on site" widget.

[heathermiller]

There's a google on site. It's the search bar. What do you mean by widget?

[dotta]

I mean as part of the website. But it may not fit with the website's design, that's why I thought it may be ok to have it only in the doc.

By widget, I mean something like the "Search" box in GitHub, i.e., just to facilitate retrieving of information that comes from the scala-ide.org domain.