]> Shamusworld >> Repos - ardour-manual/blobdiff - source/_layouts/bootstrap.html
add unspeakably ugly hack to user agent checker, so that the linux and mac bindings...
[ardour-manual] / source / _layouts / bootstrap.html
index c49167114a9adba937827789b2934cb5e19ed09c..db2c3c90ef150853e5e4173f5507fc59e1b0ec79 100644 (file)
@@ -3,21 +3,20 @@ bootstrap_path: /bootstrap-2.2.2
 page_title: The Ardour Manual
 ---
 
-<!DOCTYPE html>
-
-<html lang="en">
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
+      
     <head>
-        <meta charset="utf-8" />
-
         <title>{{page.page_title}}</title>
 
-        <meta name="viewport" content="width=device-width, initial-scale=1.0">
-        <link href="{{page.bootstrap_path}}/css/bootstrap.min.css" rel="stylesheet">
-        <link href="{{page.bootstrap_path}}/css/bootstrap-responsive.min.css" rel="stylesheet">
+        <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+        <link href="{{page.bootstrap_path}}/css/bootstrap.min.css" rel="stylesheet" />
+        <link href="{{page.bootstrap_path}}/css/bootstrap-responsive.min.css" rel="stylesheet" />
 
-        <link href="/css/app.css" rel="stylesheet">
+        <link href="/css/app.css" rel="stylesheet" />
 
-        <link href='http://fonts.googleapis.com/css?family=Junge' rel='stylesheet' type='text/css'>
+        <link href='http://fonts.googleapis.com/css?family=Junge' rel='stylesheet' type='text/css' />
     </head>
     <body>
 
@@ -45,21 +44,31 @@ page_title: The Ardour Manual
     <div class="container-fluid">
         <div class="row-fluid">
             <div id="tree">
-                <h1 class="title"><a href="/"><img src="/images/logo.png" alt="The Ardour Manual" /></a></h1>
-                {% tree %}
+                <div id="tree-inner">
+                    <h1 class="title"><a href="/"><img src="/images/logo.png" alt="The Ardour Manual" /></a></h1>
+                    {% tree %}
+                </div>
             </div>
             <div class="span12" id="content">
-                <h1 class="title">{{ page.title }}</h1>
-                {{ content }}
+                <div id="search" class="gcse-search">
+                </div>
+                <div id="content-main">
+                    <h1 class="title">{{ page.title }}</h1>
+                    {{ content }}
+                </div>
             </div>
         </div>
     </div>
 
     <script type="text/javascript">
 
-        if (navigator.userAgent.match(/Mac/)) {
+        // I'll go to hell for this
+        var isA = function(regex) { return navigator.userAgent.match(regex) };
+        var isAbout = function(regex) { return document.getElementsByTagName('h1')[1].textContent.match(regex) };
+
+        if ( (isA(/Mac/) || isAbout(/OS X/)) && (!isAbout(/Linux/)) ) {
             var e = document.getElementsByTagName('body')[0];
-            e.className += ' mac';
+            e.className += ' mac';  // class magic for Cmd vs. Ctrl keys.
         }
 
         var tree = document.getElementById('tree'),
@@ -67,18 +76,30 @@ page_title: The Ardour Manual
             name = '/' + document.location.pathname.split('/')[1] + '/',
             offset;
 
-        for (var i = 0; i < anchors.length; i++) { 
+        for (var i = 0; i &lt; anchors.length; i++) { 
             if (anchors[i].getAttribute('name') === name) { 
                 offset = anchors[i].offsetTop;
                 break;
             } 
         }
 
-        if (tree && offset) {
+        if (tree &amp;&amp; offset) {
             tree.scrollTop = offset - 10;
         }
 
     </script>
+
+    <script type="text/javascript">
+        (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);
+        })();
+    </script>
   
     </body>
 </html>