<div class="container-fluid">
<div class="row-fluid">
<div id="tree">
- <h1 class="title"><a href="/"><img src="/images/logo.png" alt="The Ardour Manual" /></a></h1>
- {% tree %}
+ <div id="tree-inner">
+ <h1 class="title"><a href="/"><img src="/images/logo.png" alt="The Ardour Manual" /></a></h1>
+ {% tree %}
+ </div>
</div>
<div class="span12" id="content">
- <h1 class="title">{{ page.title }}</h1>
- {{ content }}
+ <div id="search">
+ <gcse:search></gcse:search>
+ </div>
+ <div id="content-main">
+ <h1 class="title">{{ page.title }}</h1>
+ {{ content }}
+ </div>
</div>
</div>
</div>
}
</script>
+
+ <script>
+ (function() {
+ var cx = '011950134405426689607:2lg2y9xgf3a';
+ var gcse = document.createElement('script'); gcse.type = 'text/javascript';
+ gcse.async = true;
+ gcse.src = (document.location.protocol == 'https:' ? 'https:' : 'http:') +
+ '//www.google.com/cse/cse.js?cx=' + cx;
+ var s = document.getElementsByTagName('script')[0];
+ s.parentNode.insertBefore(gcse, s);
+ })();
+ </script>
</body>
</html>
#tree {
- padding: 20px;
- padding-bottom: 80px;
+
background-color: #eee;
height: 100%;
overflow: scroll;
width: 300px;
}
+#tree-inner {
+ padding: 15px 20px 30px 30px;
+}
+
#tree h1.title {
font-size: 28px;
margin-bottom: 20px;
}
+#search {
+ height: 70px;
+}
+
#content {
- padding: 70px 30px 30px 360px;
+ padding: 10px 30px 30px 350px;
margin-left: 0;
}
+#content-main {
+ padding-top: 10px;
+ padding-left: 10px;
+}
+
#content p,
#content li,
#content dt,
+#gs_tti0 {
+
+ padding-top: 2px;
+ padding-bottom: 0;
+
+}
+