Reindenting the left summary, lost after upgrading bootstrap

2017-04-18 13:36:22 +02:00 · 2017-04-18 13:36:22 +02:00 · 40881b5b46
commit 40881b5b46
parent 484ec91eec
1 changed files with 4 additions and 0 deletions
--- 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;
 }