From 40881b5b46369e7b8d3ff56cec8405144f1b6db2 Mon Sep 17 00:00:00 2001
From: Ed Ward <edwsaintesprit@hotmail.com>
Date: Tue, 18 Apr 2017 13:36:22 +0200
Subject: [PATCH] Reindenting the left summary, lost after upgrading bootstrap

---
 source/css/app.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/source/css/app.css b/source/css/app.css
index 23e2654..fd063ae 100644
--- 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;
 }