manual/page-template.html
Paul Davis 3c8eb2beab exclude www.manual.ardour.org from DDG search results
Our SSL cert for manual.ardour.org does not currently cover www.manual.ardour.org
and anyway, such results ought to be redundant
2022-12-10 14:01:22 -07:00

83 lines
3.0 KiB
HTML

<!doctype html>
<html lang="en">
<head>
<title>{{page.page_title}}</title>
<meta http-equiv="Content-type" content="text/html; charset=UTF-8">
<meta name="description" content="{{page.page_title}}">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link href="{{page.bootstrap_path}}/css/bootstrap.min.css" rel="stylesheet">
<link href="/css/common.css" rel="stylesheet">
<link href="/css/screen.css" rel="stylesheet">
{% if page.style %}
<link href="/css/{{page.style}}.css" rel="stylesheet">
{% endif %}
</head>
<body>
<div class="container-fluid">
<div class="row-fluid">
<div id="tree">
<h1><a href="/"><img class="img-responsive" src="/images/logo.png" alt="The Ardour Manual" /></a></h1>
<form id="custom-search-form" class="navbar-form" method="post" action="https://duckduckgo.com">
<div class="input-group">
<input type="text" class="form-control" placeholder="Search &hellip;" name="q">
<span class="input-group-btn">
<button class="btn btn-default" type="submit"><span class="glyphicon glyphicon-search" aria-hidden="true"></span></button>
{{page.page_pdflink}}
</span>
</div>
<input type="hidden" name="sites" value="manual.ardour.org -site:www.manual.ardour.org"><!-- domain -->
<input type="hidden" name="kh" value="1"> <!--HTTPS on/off -->
<input type="hidden" name="kl" value="wt-wt"> <!--region wt-wt = no region/worldwide -->
<input type="hidden" name="kg" value="p"> <!--get [g] vs post [p] -->
<input type="hidden" name="k7" value="w"> <!-- background colour -->
<input type="hidden" name="kj" value="#212a30"> <!-- results page header colour -->
<input type="hidden" name="kx" value="#59acd4"> <!-- URLs colour -->
<input type="hidden" name="k1" value="-1"> <!-- adverts on/off -->
<input type="hidden" name="k9" value="#59acd4"> <!-- links colour -->
<input type="hidden" name="kaa" value="#2d586c"> <!-- visited links colour -->
<input type="hidden" name="kae" value="#cc0000"> <!-- theme [changes result titles] colour -->
<input type="hidden" name="ka" value="junge"> <!-- link font -->
<input type="hidden" name="kt" value="junge"> <!-- text font -->
</form>
{% tree %}
</div> <!-- tree -->
<div class="span12" id="content">
{% breadcrumbs %}
{% githubedit %}
<h1 class="title">{{ page.title }}</h1>
{{ content }}
<div class="clear"></div>
{% prevnext %}
</div> <!-- content -->
</div> <!-- row-fluid -->
</div> <!-- container-fluid -->
<script type="text/javascript">
// 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) };
if ( (isA(/Mac/) || isAbout(/OS X/)) && (!isAbout(/Linux/)) ) {
var e = document.getElementsByTagName('body')[0];
e.className += ' mac'; // class magic for Cmd vs. Ctrl keys.
}
</script>
</body>
</html>