1 files changed, 1 insertions, 0 deletions

diff --git a/devmanual.css b/devmanual.css
index 81e78de..41c6beb 100644
--- a/devmanual.css
+++ b/devmanual.css
@@ -10,6 +10,7 @@ dt {
 dd {
     margin-top: 0.2em;
     margin-bottom: 0.2em;
+    margin-left: 2em;
 }
 
 div.figure, div.figure p {