1 files changed, 7 insertions, 0 deletions
diff --git a/web/pandoc.css b/web/pandoc.css
index fc0e042be..04a4aeb14 100644
--- a/web/pandoc.css
+++ b/web/pandoc.css
@@ -56,6 +56,13 @@ h1.title {
         border: none;
 }
 
+dt code {
+        font-weight: bold;
+}
+dd p {
+        margin-top: 0;
+}
+
 #footer {
         padding-top: 1em;
         font-size: 70%;