diff options
Diffstat (limited to 'htdocs/navbar.css')
| -rw-r--r-- | htdocs/navbar.css | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/htdocs/navbar.css b/htdocs/navbar.css index 339e03b..60e8b08 100644 --- a/htdocs/navbar.css +++ b/htdocs/navbar.css @@ -4,7 +4,7 @@ Copyright 2000-2005 W3C (MIT, INRIA, Keio). All Rights Reserved. See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright - $Id: navbar.css,v 1.14 2005-01-25 21:35:49 ot Exp $ + $Id: navbar.css,v 1.15 2005-02-04 16:45:03 link Exp $ */ @@ -39,8 +39,7 @@ /* Jump Bar - results page*/ - -.jumpbar { +#jumpbar { background-color: white; float: right; width: 8em; @@ -55,26 +54,26 @@ font-weight: bold; } -.jumpbar ul { +#jumpbar ul { padding: 0; margin: 0; } -.jumpbar li { +#jumpbar li { list-style-type: none; text-align: right; } -div.jumpbar li a { +div#jumpbar li a { height: 20px; padding-right: 20px; padding-left: 25px; } -div.jumpbar li a:hover { +div#jumpbar li a:hover { text-decoration: underline; } -.jumpbar li a:link, .jumpbar li a:visited { +#jumpbar li a:link, #jumpbar li a:visited { text-decoration: none; text-align: right; display: block; @@ -84,7 +83,7 @@ div.jumpbar li a:hover { border-top: dotted 1px #053188; } -.jumpbar li a#selected:link, .jumpbar li a#selected:visited { +#jumpbar li a#selected:link, #jumpbar li a#selected:visited { text-decoration: underline; background-color: #fff; color: #053188; |