From 7fbcdc75a9d26baf3ed56fc6bb53aaecd0cb4181 Mon Sep 17 00:00:00 2001
From: Sean Jensen-Grey <seanj@xyke.com>
Date: Sat, 1 Nov 2014 20:43:02 -0700
Subject: [PATCH 1/2] add populated search box to docs 404 page

reference https://github.com/rust-lang/rust/issues/18498
---
 src/doc/not_found.md | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/src/doc/not_found.md b/src/doc/not_found.md
index f49772f29a1..e80d0d83abf 100644
--- a/src/doc/not_found.md
+++ b/src/doc/not_found.md
@@ -11,9 +11,33 @@ Looks like you've taken a wrong turn.
 
 Some things that might be helpful to you though:
 
+## Search
+* <form action="https://duckduckgo.com/">
+    <input type="text" id="code.search" name="q" size="80"></input>
+    <input type="submit" value="Search DuckDuckGo">
+</form>
+
 ## Reference
 * [The Rust official site](http://rust-lang.org)
 * [The Rust reference](http://doc.rust-lang.org/reference.html) (* [PDF](http://doc.rust-lang.org/reference.pdf))
 
 ## Docs
 * [The standard library](http://doc.rust-lang.org/std/)
+
+<script>
+function populate_search_box() {
+
+    var last = document.URL.split("/").pop();
+    var tokens = last.split(".");
+    var op = [];
+    for (var i=0; i < tokens.length; i++) {
+        if (tokens[i].indexOf("#") == -1) 
+            op.push(tokens[i]);
+    }
+
+    var search = document.getElementById('code.search');
+    search.value = op.join(' ') + " site:doc.rust-lang.org";
+}
+populate_search_box();
+</script>
+

From eca7ab508d0ee0e154c263c2a20b661190400d80 Mon Sep 17 00:00:00 2001
From: Sean Jensen-Grey <seanj@xyke.com>
Date: Sun, 2 Nov 2014 08:06:32 -0800
Subject: [PATCH 2/2] cleaned up ids, added direct rust doc search

Search functionality uses both duckduckgo for site wide doc search
and the rust specific documentation search @

http://doc.rust-lang.org/core/?search=unwrap_or_else
---
 src/doc/not_found.md | 34 +++++++++++++++++++++++++++-------
 1 file changed, 27 insertions(+), 7 deletions(-)

diff --git a/src/doc/not_found.md b/src/doc/not_found.md
index e80d0d83abf..bd4d9591097 100644
--- a/src/doc/not_found.md
+++ b/src/doc/not_found.md
@@ -13,9 +13,10 @@ Some things that might be helpful to you though:
 
 ## Search
 * <form action="https://duckduckgo.com/">
-    <input type="text" id="code.search" name="q" size="80"></input>
+    <input type="text" id="site-search" name="q" size="80"></input>
     <input type="submit" value="Search DuckDuckGo">
 </form>
+* Rust doc search: <span id="core-search"></span>
 
 ## Reference
 * [The Rust official site](http://rust-lang.org)
@@ -25,19 +26,38 @@ Some things that might be helpful to you though:
 * [The standard library](http://doc.rust-lang.org/std/)
 
 <script>
-function populate_search_box() {
-
+function get_url_fragments() {
     var last = document.URL.split("/").pop();
     var tokens = last.split(".");
     var op = [];
     for (var i=0; i < tokens.length; i++) {
-        if (tokens[i].indexOf("#") == -1) 
-            op.push(tokens[i]);
+        var t = tokens[i];
+        if (t == 'html' || t.indexOf("#") != -1) {
+            // no html or anchors
+        } else {
+            op.push(t);
+        }
     }
+    return op;
+}
 
-    var search = document.getElementById('code.search');
+function populate_site_search() {
+    var op = get_url_fragments();
+
+    var search = document.getElementById('site-search');
     search.value = op.join(' ') + " site:doc.rust-lang.org";
 }
-populate_search_box();
+
+function populate_rust_search() {
+    var op = get_url_fragments();
+    var lt = op.pop();
+
+    // #18540, use a single token
+
+    var search = document.getElementById('core-search');
+    search.innerHTML = "<a href=\"http://doc.rust-lang.org/core/?search=" + lt + "\">" + lt + "</a>";
+}
+populate_site_search();
+populate_rust_search();
 </script>