From a0d0a708821c442fc3f56135e77f244065b2ef66 Mon Sep 17 00:00:00 2001 From: Chris Houseknecht Date: Mon, 6 Jan 2014 22:55:19 +0000 Subject: [PATCH] Modified docsite layout to use Google custom search. --- docsite/_themes/srtd/layout.html | 27 ++++++++++++++- docsite/_themes/srtd/searchbox.html | 52 ++++++++++++++++++++++++++++- 2 files changed, 77 insertions(+), 2 deletions(-) diff --git a/docsite/_themes/srtd/layout.html b/docsite/_themes/srtd/layout.html index 6c922d0db31..94d3ac0590e 100644 --- a/docsite/_themes/srtd/layout.html +++ b/docsite/_themes/srtd/layout.html @@ -38,6 +38,7 @@ var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga {# CSS #} + {# JS #} {% if not embedded %} @@ -101,6 +102,27 @@ var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga + + @@ -114,7 +136,7 @@ var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga {% include "searchbox.html" %} -
+