add unspeakably ugly hack to user agent checker, so that the linux and mac bindings...

diff --git a/source/_layouts/bootstrap.html b/source/_layouts/bootstrap.html
index 6e03156e1371829767d1ad3645926dfda9e40cba..db2c3c90ef150853e5e4173f5507fc59e1b0ec79 100644 (file)
--- a/source/_layouts/bootstrap.html
+++ b/source/_layouts/bootstrap.html
@@ -62,9 +62,13 @@ page_title: The Ardour Manual
 
     <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'),