2019-01-11 06:59:23 -05:00
|
|
|
<!doctype html>
|
|
|
|
|
<html lang="en">
|
|
|
|
|
|
|
|
|
|
<head>
|
2019-01-15 03:59:14 -05:00
|
|
|
<title>The Ardour Manual</title>
|
2019-01-11 06:59:23 -05:00
|
|
|
<meta http-equiv="Content-type" content="text/html; charset=UTF-8">
|
|
|
|
|
<meta name="description" content="The Ardour Manual">
|
|
|
|
|
<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/app.css" rel="stylesheet">
|
2019-01-14 06:31:58 -05:00
|
|
|
|
2019-01-11 06:59:23 -05:00
|
|
|
</head>
|
|
|
|
|
|
|
|
|
|
<body>
|
2019-02-26 05:08:21 -05:00
|
|
|
<div class="container-fluid">
|
|
|
|
|
<div class="row-fluid">
|
|
|
|
|
<div id="tree" class="navbar">
|
2019-02-26 09:47:20 -05:00
|
|
|
<h1><a href="/"><img class="img-responsive" src="/images/logo.png" alt="The Ardour Manual" /></a></h1>
|
2019-01-11 06:59:23 -05:00
|
|
|
|
2019-01-14 06:31:58 -05:00
|
|
|
{% tree %}
|
|
|
|
|
|
2019-02-26 05:43:27 -05:00
|
|
|
</div> <!-- tree -->
|
2019-01-11 06:59:23 -05:00
|
|
|
|
2019-02-26 05:08:21 -05:00
|
|
|
<div class="span12" id="content">
|
2019-01-11 06:59:23 -05:00
|
|
|
|
2019-02-26 06:59:29 -05:00
|
|
|
{{ content }}
|
2019-01-11 06:59:23 -05:00
|
|
|
|
2019-02-26 05:08:21 -05:00
|
|
|
</div> <!-- content -->
|
|
|
|
|
</div> <!-- row-fluid -->
|
|
|
|
|
</div> <!-- container-fluid -->
|
2019-01-11 06:59:23 -05:00
|
|
|
|
|
|
|
|
|
2019-02-26 05:08:21 -05:00
|
|
|
<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) };
|
2019-01-11 06:59:23 -05:00
|
|
|
|
2019-02-26 05:08:21 -05:00
|
|
|
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>
|
2019-01-11 06:59:23 -05:00
|
|
|
|
|
|
|
|
</body>
|
|
|
|
|
</html>
|
