minor tidying of css

[ardour-manual] / source / css / app.css

diff --git a/source/css/app.css b/source/css/app.css
index 747ecbe335419431ec2c0b72e5d318c7bd12a6bd..f78a6c2d0541e75d771356440ec3d211cc1e3073 100644 (file)
--- a/source/css/app.css
+++ b/source/css/app.css
@@ -1,6 +1,4 @@
 #tree {
-    padding: 20px; 
-    padding-bottom: 80px;
   background-color: #eee;
   height: 100%;
   overflow: scroll;
@@ -11,6 +9,10 @@
   width: 300px;
 }
 
+#tree-inner {
+  padding: 15px 20px 30px 30px;  
+}
+
 #tree h1.title {
   font-size: 28px;
   margin-bottom: 20px;
@@ -18,11 +20,11 @@
 }
 
 #tree h1.title a:hover {
-    border-bottom: none;
+  border-bottom: none;
 }
 
 #tree a {
- font-size: 14px; 
+  font-size: 14px; 
   line-height: 28px;
 }
 
@@ -35,23 +37,32 @@
 #tree .child,
 #tree .parent *,
 #tree .child * {
-    display: inherit; 
-    color: inherit;
+  display: inherit; 
+  color: inherit;
 }
 
 #tree dd.child-1,
 #tree .child-2,
 #tree .child-3,
 #tree .child-4 {
- display: none; 
+  display: none; 
 }
 
 
+#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,
@@ -311,6 +322,13 @@
 
 
 
+#gs_tti0 {
+
+  padding-top: 2px;
+  padding-bottom: 0;
+
+}
+