clear built-in margin on dl tag

diff --git a/src/css/doc.css b/src/css/doc.css
index b0f13c1..12d1c46 100644 (file)
--- a/src/css/doc.css
+++ b/src/css/doc.css
@@ -99,7 +99,8 @@
   visibility: visible;
 }
 
-.doc p {
+.doc p,
+.doc dl {
   margin: 0;
 }