diff --git a/doc/html/boostbook.css b/doc/html/boostbook.css
index e1f7f9f9f5..89a522d922 100644
--- a/doc/html/boostbook.css
+++ b/doc/html/boostbook.css
@@ -266,6 +266,8 @@
Variable Lists
=============================================================================*/
+ /* Make the terms in definition lists bold */
+ div.variablelist dl dt,
span.term
{
font-weight: bold;
@@ -278,26 +280,28 @@
vertical-align: top;
padding: 0em 2em 0em 0em;
font-size: 10pt;
- }
-
- div.variablelist table tbody tr td p
- {
margin: 0em 0em 0.5em 0em;
+ line-height: 1;
}
- /* Make the terms in definition lists bold */
div.variablelist dl dt
{
- font-weight: bold;
- font-size: 10pt;
+ margin-bottom: 0.2em;
}
div.variablelist dl dd
{
- margin: 1em 0em 1em 2em;
+ margin: 0em 0em 0.5em 2em;
font-size: 10pt;
}
+ div.variablelist table tbody tr td p,
+ div.variablelist dl dd p
+ {
+ margin: 0em 0em 0.5em 0em;
+ line-height: 1;
+ }
+
/*=============================================================================
Misc
=============================================================================*/