merge with master

[ardour-manual] / source / _layouts / bootstrap.html
diff --git a/source/_layouts/bootstrap.html b/source/_layouts/bootstrap.html

index db2c3c90ef150853e5e4173f5507fc59e1b0ec79..b491ae11509ed2706e48d5c9295cc9a84f7973f5 100644 (file)
--- a/source/_layouts/bootstrap.html
+++ b/source/_layouts/bootstrap.html
@@ -9,6 +9,7 @@ page_title: The Ardour Manual
        
      <head>
          <title>{{page.page_title}}</title>
+        <meta http-equiv="Content-type" content="text/html; charset=UTF-8" />
  
          <meta name="viewport" content="width=device-width, initial-scale=1.0" />
          <link href="{{page.bootstrap_path}}/css/bootstrap.min.css" rel="stylesheet" />
@@ -61,6 +62,7 @@ page_title: The Ardour Manual
      </div>
  
      <script type="text/javascript">
+    //<![CDATA[
  
          // I'll go to hell for this
          var isA = function(regex) { return navigator.userAgent.match(regex) };
@@ -70,23 +72,7 @@ page_title: The Ardour Manual
              var e = document.getElementsByTagName('body')[0];
              e.className += ' mac';  // class magic for Cmd vs. Ctrl keys.
          }
-
-        var tree = document.getElementById('tree'),
-            anchors = document.getElementsByTagName('a'),
-            name = '/' + document.location.pathname.split('/')[1] + '/',
-            offset;
-
-        for (var i = 0; i &lt; anchors.length; i++) { 
-            if (anchors[i].getAttribute('name') === name) { 
-                offset = anchors[i].offsetTop;
-                break;
-            } 
-        }
-
-        if (tree &amp;&amp; offset) {
-            tree.scrollTop = offset - 10;
-        }
-
+    //]]>
      </script>
  
      <script type="text/javascript">