Reindenting the left summary, lost after upgrading bootstrap

diff --git a/source/css/app.css b/source/css/app.css
index 23e265499f94e4d9bb420287155b378eb6eaa692..fd063aedf5814d69c7127b783765d1407a75a791 100644 (file)
--- a/source/css/app.css
+++ b/source/css/app.css
@@ -45,6 +45,10 @@ ul.inside li, ol.inside li {
   font-weight: normal;
 }
 
+#tree dl {
+  margin-left: 1em;
+}
+
 #tree h1.title a:hover {
   border-bottom: none;
 }