diff --git a/documentation/ref-manual/ref-style.css b/documentation/ref-manual/ref-style.css
index ef0654f01c..8ea8dac730 100644
--- a/documentation/ref-manual/ref-style.css
+++ b/documentation/ref-manual/ref-style.css
@@ -255,7 +255,7 @@ div.variablelist dl {
 
 .glossary dd p,
 .variablelist dd p {
-  margin-top: -1.3em;
+  margin-top: 0em;
   margin-bottom: 1em;
 }