tweaking the CSS (GCSE, HiDPI)

[ardour-manual] / page-template.txt

diff --git a/page-template.txt b/page-template.txt
index 005e05de255ab2e085e2373b1cd5ca02d9488b20..f9dc51c111bd00b939fef88b02619cfb440dc636 100644 (file)
--- a/page-template.txt
+++ b/page-template.txt
@@ -25,7 +25,9 @@
 {% tree %}
        </div></div>
        <div class="span12" id="content">
-               <div id="search" class="gcse-search"></div>
+               <div id="search">
+                       <gcse:search></gcse:search>
+               </div>
     {% breadcrumbs %}
                <div id="content-main">
                <h1 class="title">{{ page.title }}</h1>
@@ -51,12 +53,12 @@ if ( (isA(/Mac/) || isAbout(/OS X/)) && (!isAbout(/Linux/)) ) {
 (function()
 {
        var cx = '011950134405426689607:2lg2y9xgf3a';
-       var gcse = document.createElement('script'); gcse.type = 'text/javascript';
-       gcse.async = true;
-       gcse.src = (document.location.protocol == 'https:' ? 'https:' : 'http:') +
-               '//www.google.com/cse/cse.js?cx=' + cx;
-       var s = document.getElementsByTagName('script')[0];
-       s.parentNode.insertBefore(gcse, s);
+  var gcse = document.createElement('script');
+  gcse.type = 'text/javascript';
+  gcse.async = true;
+  gcse.src = 'https://cse.google.com/cse.js?cx=' + cx;
+  var s = document.getElementsByTagName('script')[0];
+  s.parentNode.insertBefore(gcse, s);
 })();
 </script>