5 <title>{{page.page_title}}</title>
6 <meta http-equiv="Content-type" content="text/html; charset=UTF-8">
7 <meta name="description" content="{{page.page_title}}">
8 <meta name="viewport" content="width=device-width, initial-scale=1.0">
10 <link href="{{page.bootstrap_path}}/css/bootstrap.min.css" rel="stylesheet">
11 <link href="/css/common.css" rel="stylesheet">
12 <link href="/css/screen.css" rel="stylesheet">
14 <link href="/css/{{page.style}}.css" rel="stylesheet">
19 <div class="container-fluid">
20 <div class="row-fluid">
23 <h1><a href="/"><img class="img-responsive" src="/images/logo.png" alt="The Ardour Manual" /></a></h1>
25 <form id="custom-search-form" class="navbar-form" method="post" action="https://duckduckgo.com">
26 <div class="input-group">
27 <input type="text" class="form-control" placeholder="Search …" name="q">
28 <span class="input-group-btn">
29 <button class="btn btn-default" type="submit"><span class="glyphicon glyphicon-search" aria-hidden="true"></span></button>
30 <button class="btn btn-default" type="button" onclick="window.location.href='/manual.pdf'"><span class="glyphicon glyphicon-book" aria-hidden="true"></span></button>
33 <input type="hidden" name="sites" value="manual.ardour.org"><!-- domain -->
34 <input type="hidden" name="kh" value="1"> <!--HTTPS on/off -->
35 <input type="hidden" name="kl" value="wt-wt"> <!--region wt-wt = no region/worldwide -->
36 <input type="hidden" name="kg" value="p"> <!--get [g] vs post [p] -->
37 <input type="hidden" name="k7" value="w"> <!-- background colour -->
38 <input type="hidden" name="kj" value="#212a30"> <!-- results page header colour -->
39 <input type="hidden" name="kx" value="#59acd4"> <!-- URLs colour -->
40 <input type="hidden" name="k1" value="-1"> <!-- adverts on/off -->
41 <input type="hidden" name="k9" value="#59acd4"> <!-- links colour -->
42 <input type="hidden" name="kaa" value="#2d586c"> <!-- visited links colour -->
43 <input type="hidden" name="kae" value="#cc0000"> <!-- theme [changes result titles] colour -->
44 <input type="hidden" name="ka" value="junge"> <!-- link font -->
45 <input type="hidden" name="kt" value="junge"> <!-- text font -->
52 <div class="span12" id="content">
57 <h1 class="title">{{ page.title }}</h1>
61 <div class="clear"></div>
65 </div> <!-- content -->
66 </div> <!-- row-fluid -->
67 </div> <!-- container-fluid -->
70 <script type="text/javascript">
71 // I'll go to hell for this
72 var isA = function(regex) { return navigator.userAgent.match(regex) };
73 var isAbout = function(regex) { return document.getElementsByTagName('h1')[1].textContent.match(regex) };
75 if ( (isA(/Mac/) || isAbout(/OS X/)) && (!isAbout(/Linux/)) ) {
76 var e = document.getElementsByTagName('body')[0];
77 e.className += ' mac'; // class magic for Cmd vs. Ctrl keys.