Move the search results page out of "docs" since it now deals with the entire site.

_layouts/landing.html

@@ -23,7 +23,7 @@ layout: base
 		<div class="col-md-10 nofloat center-block">
 			<div class="col-sm-9 text-center nofloat center-block">
 				<h2 class="doc-call-title">Want to learn more?</h2>
-				<p class="doc-call-text"> Get started by learning Istio concepts and doing our bookinfo sample.</p>
+				<p class="doc-call-text"> Get started by learning Istio concepts and doing our BookInfo sample.</p>
 				<a href="{{home}}/docs"><button class="btn btn-grpc waves-effect waves-light btn-doc-call">GET STARTED</button></a>
 			</div>
 		</div>

_layouts/search-results.html

@@ -12,8 +12,6 @@ layout: default
   }
 </style>
 
-{% include doc-top-nav.html %}
-
 <div class="container">
   {{ content }}
 </div>

js/search.js

@@ -1,6 +1,6 @@
 (function ($) {
     function doSearch() {
-        var url = '/docs/search/?q=' + document.getElementsByName('q')[0].value;
+        var url = '/search/?q=' + document.getElementsByName('q')[0].value;
         window.location.assign(url);
     }