about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2006-10-04T17·07+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2006-10-04T17·07+0000
commita3fd53b9eb767c9b9f2c8f3824a1aea1c25544a6 (patch)
tree7b7730e198bd09191b4eeb8ae48b7eb13e7733dc /doc/manual
parent59ef0aaf3fc6707d25f7f4fcabab4f1ceaaef9e1 (diff)
* Style tweak.
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/style.css9
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css
index 6c8137ee38f4..e992a9a85dd9 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -193,16 +193,21 @@ tt, code
     
 }
 
-div.variablelist dd p
+div.variablelist dd p, div.glosslist dd p
 {
     margin-top: 0em;
 }
 
-div.variablelist dd
+div.variablelist dd, div.glosslist dd
 {
     margin-left: 1.5em;
 }
 
+div.glosslist dt
+{
+    font-style: italic;
+}
+
 .default
 {
     font-style: italic;