diff options
| -rw-r--r-- | documentation/ref-manual/ref-style.css | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/documentation/ref-manual/ref-style.css b/documentation/ref-manual/ref-style.css index f660a96859..a54083fc8a 100644 --- a/documentation/ref-manual/ref-style.css +++ b/documentation/ref-manual/ref-style.css | |||
| @@ -211,7 +211,7 @@ div.variablelist dl { | |||
| 211 | 211 | ||
| 212 | .glossary dl dd, | 212 | .glossary dl dd, |
| 213 | .variablelist dl dd { | 213 | .variablelist dl dd { |
| 214 | margin-top: -3.5em; | 214 | margin-top: 0em; |
| 215 | margin-left: 15.5em; | 215 | margin-left: 15.5em; |
| 216 | margin-bottom: 2em; | 216 | margin-bottom: 2em; |
| 217 | } | 217 | } |
| @@ -222,6 +222,10 @@ div.variablelist dl { | |||
| 222 | margin-bottom: 1em; | 222 | margin-bottom: 1em; |
| 223 | } | 223 | } |
| 224 | 224 | ||
| 225 | .glossdeffirst { | ||
| 226 | text-indent: -70px; | ||
| 227 | } | ||
| 228 | |||
| 225 | div.calloutlist table td { | 229 | div.calloutlist table td { |
| 226 | padding: 0em 0em 0em 0em; | 230 | padding: 0em 0em 0em 0em; |
| 227 | margin: 0em 0em 0em 0em; | 231 | margin: 0em 0em 0em 0em; |
