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="/css/app.css" rel="stylesheet">
13 <link href="/css/{{page.style}}.css" rel="stylesheet">
18 <div class="container-fluid"><div class="row-fluid">
19 <div id="tree"><div id="tree-inner">
20 <h1 class="title"><a href="/"><img class="img-responsive" src="/images/logo.png" alt="The Ardour Manual" /></a></h1>
22 <form id="custom-search-form" class="navbar-form" method="post" action="https://duckduckgo.com">
24 <div class="input-group">
25 <input type="text" class="form-control" placeholder="Search …" name="q">
26 <span class="input-group-btn">
27 <button class="btn btn-default" type="submit"><span class="glyphicon glyphicon-search" aria-hidden="true"></span></button>
30 <input type="hidden" name="sites" value="manual.ardour.org"><!-- domain -->
31 <input type="hidden" name="kh" value="1"> <!--HTTPS on/off -->
32 <input type="hidden" name="kl" value="wt-wt"> <!--region wt-wt = no region/worldwide -->
33 <input type="hidden" name="kg" value="p"> <!--get [g] vs post [p] -->
34 <input type="hidden" name="k7" value="w"> <!-- background colour -->
35 <input type="hidden" name="kj" value="#212a30"> <!-- results page header colour -->
36 <input type="hidden" name="kx" value="#59acd4"> <!-- URLs colour -->
37 <input type="hidden" name="k1" value="-1"> <!-- adverts on/off -->
38 <input type="hidden" name="k9" value="#59acd4"> <!-- links colour -->
39 <input type="hidden" name="kaa" value="#2d586c"> <!-- visited links colour -->
40 <input type="hidden" name="kae" value="#cc0000"> <!-- theme [changes result titles] colour -->
41 <input type="hidden" name="ka" value="junge"> <!-- link font -->
42 <input type="hidden" name="kt" value="junge"> <!-- text font -->
48 <div class="span12" id="content">
50 <div id="content-main">
52 <h1 class="title">{{ page.title }}</h1>
62 <script type="text/javascript">
63 // I'll go to hell for this
64 var isA = function(regex) { return navigator.userAgent.match(regex) };
65 var isAbout = function(regex) { return document.getElementsByTagName('h1')[1].textContent.match(regex) };
67 if ( (isA(/Mac/) || isAbout(/OS X/)) && (!isAbout(/Linux/)) ) {
68 var e = document.getElementsByTagName('body')[0];
69 e.className += ' mac'; // class magic for Cmd vs. Ctrl keys.