diff options
| -rw-r--r-- | documentation/ref-manual/ref-style.css | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |