2 bootstrap_path: /bootstrap-2.2.2
3 page_title: The Ardour Manual
6 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
7 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
8 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
11 <title>{{page.page_title}}</title>
13 <meta name="viewport" content="width=device-width, initial-scale=1.0" />
14 <link href="{{page.bootstrap_path}}/css/bootstrap.min.css" rel="stylesheet" />
15 <link href="{{page.bootstrap_path}}/css/bootstrap-responsive.min.css" rel="stylesheet" />
17 <link href="/css/app.css" rel="stylesheet" />
19 <link href='http://fonts.googleapis.com/css?family=Junge' rel='stylesheet' type='text/css' />
25 <div class="navbar-inner">
26 <div class="container">
28 <a class="btn btn-navbar" data-toggle="collapse" data-target=".nav-collapse">
29 <span class="icon-bar"></span>
30 <span class="icon-bar"></span>
31 <span class="icon-bar"></span>
34 <a class="brand" href="#">The Ardour Manual</a>
36 <div class="nav-collapse collapse">
44 <div class="container-fluid">
45 <div class="row-fluid">
48 <h1 class="title"><a href="/"><img src="/images/logo.png" alt="The Ardour Manual" /></a></h1>
52 <div class="span12" id="content">
53 <div id="search" class="gcse-search">
55 <div id="content-main">
56 <h1 class="title">{{ page.title }}</h1>
63 <script type="text/javascript">
65 // I'll go to hell for this
66 var isA = function(regex) { return navigator.userAgent.match(regex) };
67 var isAbout = function(regex) { return document.getElementsByTagName('h1')[1].textContent.match(regex) };
69 if ( (isA(/Mac/) || isAbout(/OS X/)) && (!isAbout(/Linux/)) ) {
70 var e = document.getElementsByTagName('body')[0];
71 e.className += ' mac'; // class magic for Cmd vs. Ctrl keys.
74 var tree = document.getElementById('tree'),
75 anchors = document.getElementsByTagName('a'),
76 name = '/' + document.location.pathname.split('/')[1] + '/',
79 for (var i = 0; i < anchors.length; i++) {
80 if (anchors[i].getAttribute('name') === name) {
81 offset = anchors[i].offsetTop;
86 if (tree && offset) {
87 tree.scrollTop = offset - 10;
92 <script type="text/javascript">
94 var cx = '011950134405426689607:2lg2y9xgf3a';
95 var gcse = document.createElement('script'); gcse.type = 'text/javascript';
97 gcse.src = (document.location.protocol == 'https:' ? 'https:' : 'http:') +
98 '//www.google.com/cse/cse.js?cx=' + cx;
99 var s = document.getElementsByTagName('script')[0];
100 s.parentNode.insertBefore(gcse, s);