W3C home > Mailing lists > Public > www-validator-cvs@w3.org > May 2004

validator/htdocs base.css,1.26.2.39,1.26.2.40 navbar.css,1.3.2.10,1.3.2.11 results.css,1.13.2.31,1.13.2.32

From: Terje Bless <link@hutz.w3.org>
Date: Mon, 17 May 2004 06:42:52 +0000
To: www-validator-cvs@w3.org
Message-Id: <20040517064252.8299548EA@hutz.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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:02:06 UTC