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 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">
- <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>
<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/)) {
- var e = document.getElementsByTagName('body')[0];
- e.className += ' mac';
- }
-
- var tree = document.getElementById('tree'),
- anchors = document.getElementsByTagName('a'),
- name = '/' + document.location.pathname.split('/')[1] + '/',
- offset;
+ // 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) };
- for (var i = 0; i < anchors.length; i++) {
- if (anchors[i].getAttribute('name') === name) {
- offset = anchors[i].offsetTop;
- break;
- }
+ if ( (isA(/Mac/) || isAbout(/OS X/)) && (!isAbout(/Linux/)) ) {
+ var e = document.getElementsByTagName('body')[0];
+ e.className += ' mac'; // class magic for Cmd vs. Ctrl keys.
}
- if (tree && 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>
projects / ardour-manual / blobdiff