* Style tweak.

2006-10-04 17:07:52 +00:00 · 2006-10-04 17:07:52 +00:00 · a3fd53b9eb
parent 59ef0aaf3f
commit a3fd53b9eb
1 changed files with 7 additions and 2 deletions
--- 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;