diff options
Diffstat (limited to 'htdocs/docs.css')
| -rw-r--r-- | htdocs/docs.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/htdocs/docs.css b/htdocs/docs.css index 861b854..f8bca67 100644 --- a/htdocs/docs.css +++ b/htdocs/docs.css @@ -4,7 +4,7 @@ Copyright 2003 W3C (MIT, INRIA, Keio). All Rights Reserved. See <http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright> - $Id: docs.css,v 1.4 2005-01-19 08:33:12 ot Exp $ + $Id: docs.css,v 1.5 2005-02-16 03:28:54 ot Exp $ */ /* @@ -26,7 +26,7 @@ margin-right: 1em; /* Set line height to 1.5x to allow for various inline decoration. */ .doc { - line-height: 130%; + line-height: 115%; } /* documentation - table of contents */ |