diff options
| author | ot <ot@localhost> | 2005-01-04 08:37:54 +0000 |
|---|---|---|
| committer | ot <ot@localhost> | 2005-01-04 08:37:54 +0000 |
| commit | f1af25f4e4281a531ee9297d3c044172a4f7f6ea (patch) | |
| tree | 426b97335a105b733e2ef629cd08e4eedc2e0dd1 /htdocs/docs.css | |
| parent | 388d08056c761ab78cf778640cc4ab28da3de338 (diff) | |
| download | markup-validator-f1af25f4e4281a531ee9297d3c044172a4f7f6ea.zip markup-validator-f1af25f4e4281a531ee9297d3c044172a4f7f6ea.tar.gz markup-validator-f1af25f4e4281a531ee9297d3c044172a4f7f6ea.tar.bz2 | |
futzing with new ideas for general site style
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 { |