Reindenting the left summary, lost after upgrading bootstrap

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

diff --git a/source/css/app.css b/source/css/app.css
index 5fcd3300489751d0f4bd695b9aac1ed22f363c76..fd063aedf5814d69c7127b783765d1407a75a791 100644 (file)
--- a/source/css/app.css
+++ b/source/css/app.css
@@ -13,6 +13,16 @@ body {
   line-height: 2ex;
 }
 
+div.clearer {
+  clear:both;
+}
+
+ul.inside li, ol.inside li {
+       left: 1em;
+       position: relative;
+       padding-right: 1em;
+}
+
 #tree {
   background-color: #212A30;
   line-height: 1.8ex;
@@ -35,6 +45,10 @@ body {
   font-weight: normal;
 }
 
+#tree dl {
+  margin-left: 1em;
+}
+
 #tree h1.title a:hover {
   border-bottom: none;
 }
@@ -163,9 +177,17 @@ body {
 #content table th {
   margin: 0;
   padding: .5em;
+}
+
+#content table th {
+  font-weight: bold;
+}
+
+#content table td {
   font-weight: normal;
 }
 
+
 #content table th.sub1 {
   padding-left: 2em;
 }
@@ -309,6 +331,11 @@ kbd {
   text-transform:capitalize;
 }
 
+kbd.def {
+  font-weight:bolder;
+       margin-right:.2em;
+}
+
 kbd.input,
 kbd.cmd,
 kbd.osc {