- From: Terje Bless <link@hutz.w3.org>
- Date: Mon, 17 May 2004 06:42:52 +0000
- To: www-validator-cvs@w3.org
Update of /sources/public/validator/htdocs
In directory hutz:/tmp/cvs-serv1674
Modified Files:
Tag: validator-0_6_0-branch
base.css navbar.css results.css
Log Message:
Tweaking the jumpbar and the fieldsets. Related CSS cleanup.
Index: results.css
===================================================================
RCS file: /sources/public/validator/htdocs/results.css,v
retrieving revision 1.13.2.31
retrieving revision 1.13.2.32
diff -u -d -r1.13.2.31 -r1.13.2.32
--- results.css 17 May 2004 04:38:04 -0000 1.13.2.31
+++ results.css 17 May 2004 06:42:49 -0000 1.13.2.32
@@ -8,35 +8,6 @@
font-size: small;
}
-/* The "Jump To" links in result pages. */
-.jumpbar {
- float: left;
- width: 12ex;
- text-align: left;
- text-decoration: none;
- padding: 1ex;
- background-color: #eee;
- border-top: 1px solid #eee;
- border-right: 1px solid black;
- border-bottom: 1px solid black;
- margin-top: -1.3em;
- font-weight: bolder;
- font-size: smaller;
-}
-
-div.jumpbar ul {
- padding: 0;
- margin: 0;
-}
-
-div.jumpbar li {
- list-style-type: none;
-}
-
-p.jumpbar a:hover {
- background: #ccc;
-}
-
/* Error Messages Display */
/*
*/
@@ -107,22 +78,6 @@
}
-fieldset {
- color: black;
- clear: left;
- margin-left: auto;
- margin-right: auto;
- background-color: #eeeeee;
-}
-
-fieldset legend {
- background-color: #eee;
- border-right: 1px solid gray;
- border-bottom: 1px solid gray;
- font-weight: bold;
-}
-
-
/* Style for non-parser warnings. */
/*
*/
Index: base.css
===================================================================
RCS file: /sources/public/validator/htdocs/base.css,v
retrieving revision 1.26.2.39
retrieving revision 1.26.2.40
diff -u -d -r1.26.2.39 -r1.26.2.40
--- base.css 15 May 2004 16:02:28 -0000 1.26.2.39
+++ base.css 17 May 2004 06:42:49 -0000 1.26.2.40
@@ -43,23 +43,23 @@
/* Fieldsets in general */
fieldset {
-/* max-width: 80%; */
+ background: #FCFCFC;
+ border: 1px dotted #053188;
margin-left: 1em;
margin-right: 1em;
}
-/* The front-page fieldsets */
-fieldset.front {
- background: inherit;
- border: 1px dotted #053188;
-}
-
-fieldset.front legend {
+fieldset legend {
color: #053188;
font-variant: small-caps;
padding: .1ex .5ex;
+ border-right: 1px solid gray;
+ border-bottom: 1px solid gray;
+ font-weight: bold;
}
+
+
.intro {
font-style: italic;
text-align: justify;
Index: navbar.css
===================================================================
RCS file: /sources/public/validator/htdocs/navbar.css,v
retrieving revision 1.3.2.10
retrieving revision 1.3.2.11
diff -u -d -r1.3.2.10 -r1.3.2.11
--- navbar.css 26 Apr 2004 01:02:58 -0000 1.3.2.10
+++ navbar.css 17 May 2004 06:42:49 -0000 1.3.2.11
@@ -117,13 +117,12 @@
text-decoration: underline;
}
-
/* Jump Bar - results page*/
.jumpbar {
float: right;
width: 8em;
- margin-right: -.4em; /* FIXME - find the exact value - */
+/* margin-right: -.4em; */ /* FIXME - find the exact value - */
text-align: left;
text-decoration: none;
padding: 1ex;
@@ -132,20 +131,27 @@
border-bottom: 1px solid black;
margin-top: -1.3em;
font-size: smaller;
+ font-weight: bold;
}
-div.jumpbar ul {
+.jumpbar ul {
padding: 0;
margin: 0;
}
-div.jumpbar li {
+.jumpbar li {
list-style-type: none;
+ text-align: right;
}
-div.jumpbar li a:link, div.jumpbar li a:visited {
+div.jumpbar li a:hover {
+ background: #fff;
+ text-decoration: underline;
+}
+
+.jumpbar li a:link, .jumpbar li a:visited {
text-decoration: none;
- text-align: center;
+ text-align: right;
display: block;
width: 8em;
padding: 2px 0px;
@@ -156,11 +162,7 @@
border-top: dotted 1px black;
}
-div.jumpbar li a:hover {
- text-decoration: underline;
-}
-
-div.jumpbar li a#selected:link, div.jumpbar li a#selected:visited {
+.jumpbar li a#selected:link, .jumpbar li a#selected:visited {
text-decoration: underline;
background-color: #fff;
color: #053188;
Received on Monday, 17 May 2004 02:46:18 UTC