diff options
Diffstat (limited to 'htdocs/docs.css')
| -rw-r--r-- | htdocs/docs.css | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/htdocs/docs.css b/htdocs/docs.css index 6d0c2de..215b582 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.2 2004-05-09 15:56:49 link Exp $ + $Id: docs.css,v 1.3 2005-01-04 08:37:53 ot Exp $ */ /* @@ -32,6 +32,10 @@ margin-right: 1em; /* documentation - table of contents */ #toc { font-size: .8em; + border-top: 1px dashed #053188; + border-bottom: 1px dashed #053188; + margin-right: -15px; + margin-left: -15px; } .doc div#toc ul { |