What is a bookmarklet? Basically it is a bit of JavaScript which you can store as a bookmark. The ones below prompt the user for a search term and immediately opens a URL to Google with the site restricted to get targetted search results. Simply bookmark any page then edit your bookmarks. Replace the new bookmark you just created with a useful title and the code below for each bookmark. Place them in your Favorites to show them at the top of Safari. You can also put them into a group so you can see them in a drop down list.
Apple Docs
javascript:(function() { var s = prompt("Apple Docs:"); var d = "https://www.google.com/search?q=" + encodeURIComponent(s + " site:developer.apple.com"); window.location = d;})()