From c6b355e2678ef8e6cea9ef0c7b60de9dcf6f9759 Mon Sep 17 00:00:00 2001
From: Mark Harrah <dmharrah@gmail.com>
Date: Mon, 15 Oct 2012 12:42:28 -0400
Subject: [PATCH] search bar and link Home to scala-sbt.org when targeting the
 website

---
 src/sphinx/_sphinx/themes/sbt/layout.html     | 13 +++++++++++++
 src/sphinx/_sphinx/themes/sbt/static/docs.css | 17 ++++++++++++++++-
 src/sphinx/conf.py                            | 15 +++++++++++++++
 3 files changed, 44 insertions(+), 1 deletion(-)

diff --git a/src/sphinx/_sphinx/themes/sbt/layout.html b/src/sphinx/_sphinx/themes/sbt/layout.html
index 9d0d42290..083307619 100644
--- a/src/sphinx/_sphinx/themes/sbt/layout.html
+++ b/src/sphinx/_sphinx/themes/sbt/layout.html
@@ -22,7 +22,11 @@
     <div class="navbar-inner">
       <div class="container">
         <ul class="nav">
+          {%- if home_site is sameas True %}
+          <li><a href="http://www.scala-sbt.org/">Home</a></li>
+          {%- else %}
           <li><a href="{{ pathto('home') }}">Home</a></li>
+          {%- endif %}
           <li><a href="{{ pathto('index') }}">Documentation</a></li>
           <li><a href="{{ pathto('Getting-Started/Setup') }}">Download</a></li>
           <li><a href="http://groups.google.com/group/simple-build-tool">Mailing List</a></li>
@@ -35,6 +39,15 @@
   <div class="main">
     <div class="container">
       <div class="page-title">{{ title }}</div>
+      {%- if site_search_base %}
+      <div class="search-box">
+        <form method="get" action="http://www.google.com/search" id="search">
+          <input type="search" placeholder="Search {{release}} on Google" name="q" results="10" size="29" id="search-input">
+          <input type="hidden"  name="sitesearch" value="{{site_search_base}}/"> 
+          <input type="submit" id="submit-search">
+        </form>
+      </div>
+      {%- endif %}
     </div>
     <div class="main-container">
       <div class="container">
diff --git a/src/sphinx/_sphinx/themes/sbt/static/docs.css b/src/sphinx/_sphinx/themes/sbt/static/docs.css
index 1dfea41fc..053c3ba26 100644
--- a/src/sphinx/_sphinx/themes/sbt/static/docs.css
+++ b/src/sphinx/_sphinx/themes/sbt/static/docs.css
@@ -192,4 +192,19 @@ a.headerlink:hover {
 
 div.doc-howto-summary h3 {
     color: rgb(13, 36, 40);
-}
\ No newline at end of file
+}
+
+.search-box {
+    float: right;
+    margin-bottom: -15px;
+    margin-top: -15px;
+}
+form#search {
+    margin: 0px;
+}
+input#submit-search {
+    display: none;
+}
+input#search-input {
+    margin: 0px;
+}
diff --git a/src/sphinx/conf.py b/src/sphinx/conf.py
index b6123f56e..ab92190e8 100644
--- a/src/sphinx/conf.py
+++ b/src/sphinx/conf.py
@@ -31,6 +31,21 @@ html_show_sphinx = False
 htmlhelp_basename = 'sbtdoc'
 html_use_smartypants = False
 
+# if true:
+#  the Home link is to scala-sbt.org
+# if false:
+#  the Home link is to home.html for the current documentation version
+# TODO: pass this as an argument to sphinx
+home_site = True
+
+# Passed to Google as site:<site_search_base>
+# If empty, no search box is included
+# TODO: pass this as an argument to sphinx, use actual version instead of release 
+site_search_base = 'http://www.scala-sbt.org/release/docs'
+
+# passes variables to the template
+html_context = {'home_site': home_site, 'site_search_base': site_search_base}
+
 # Issues role
 
 issuetracker = 'github'