From 1e7ce2602e492e8cbe8b466686f2403a24bf6f1f Mon Sep 17 00:00:00 2001
From: lethosor <lethosor@gmail.com>
Date: Sun, 7 Aug 2022 18:18:51 -0400
Subject: [PATCH] Shrink tool/command boxes somewhat

---
 docs/styles/dfhack.css | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/docs/styles/dfhack.css b/docs/styles/dfhack.css
index e24ce1c67..4102e6412 100644
--- a/docs/styles/dfhack.css
+++ b/docs/styles/dfhack.css
@@ -61,7 +61,13 @@ span.pre {
     overflow-wrap: break-word;
 }
 
-.dfhack-tool-summary p {
+div.dfhack-tool-summary {
+    margin: 10px 0;
+    padding: 10px 15px;
+}
+
+div.dfhack-tool-summary p {
     margin-top: 0;
     margin-bottom: 0.5em;
+    line-height: 1em;
 }