5 <title>{{page.page_title}}</title>
6 <meta http-equiv="Content-type" content="text/html; charset=UTF-8">
7 <meta name="description" content="The Ardour Manual">
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="{{page.bootstrap_path}}/css/bootstrap-responsive.min.css" rel="stylesheet">
12 <link href="/css/app.css" rel="stylesheet">
14 <link href="/css/{{page.style}}.css" rel="stylesheet">
19 <div class="container-fluid"><div class="row-fluid">
20 <div id="tree"><div id="tree-inner">
21 <h1 class="title"><a href="/"><img src="/images/logo.png" alt="The Ardour Manual" /></a></h1>
23 <form id="custom-search-form" class="form-search form-horizontal pull-right" method="post" action="https://duckduckgo.com">
24 <div class="input-append">
25 <input type="text" class="search-query" name="q" placeholder="Search …">
26 <button type="submit" class="btn"><i class="icon-search"></i></button>
28 <input type="hidden" name="sites" value="manual.ardour.org"><!-- domain -->
29 <input type="hidden" name="kh" value="1"> <!--HTTPS on/off -->
30 <input type="hidden" name="kl" value="wt-wt"> <!--region wt-wt = no region/worldwide -->
31 <input type="hidden" name="kg" value="p"> <!--get [g] vs post [p] -->
32 <input type="hidden" name="k7" value="w"> <!-- background colour -->
33 <input type="hidden" name="kj" value="#212a30"> <!-- results page header colour -->
34 <input type="hidden" name="kx" value="#59acd4"> <!-- URLs colour -->
35 <input type="hidden" name="k1" value="-1"> <!-- adverts on/off -->
36 <input type="hidden" name="k9" value="#59acd4"> <!-- links colour -->
37 <input type="hidden" name="kaa" value="#2d586c"> <!-- visited links colour -->
38 <input type="hidden" name="kae" value="#cc0000"> <!-- theme [changes result titles] colour -->
39 <input type="hidden" name="ka" value="junge"> <!-- link font -->
40 <input type="hidden" name="kt" value="junge"> <!-- text font -->
46 <div class="span12" id="content">
48 <div id="content-main">
49 <h1 class="title">{{ page.title }}</h1>
58 <script type="text/javascript">
59 // I'll go to hell for this
60 var isA = function(regex) { return navigator.userAgent.match(regex) };
61 var isAbout = function(regex) { return document.getElementsByTagName('h1')[1].textContent.match(regex) };
63 if ( (isA(/Mac/) || isAbout(/OS X/)) && (!isAbout(/Linux/)) ) {
64 var e = document.getElementsByTagName('body')[0];
65 e.className += ' mac'; // class magic for Cmd vs. Ctrl keys.