validator/htdocs navbar.css,1.3.2.9,1.3.2.10 base.css,1.26.2.33,1.26.2.34

Update of /sources/public/validator/htdocs
In directory hutz:/tmp/cvs-serv15845

Modified Files:
      Tag: validator-0_6_0-branch
	navbar.css base.css 
Log Message:
previous commit was a mistake - fixing

Index: navbar.css
===================================================================
RCS file: /sources/public/validator/htdocs/navbar.css,v
retrieving revision 1.3.2.9
retrieving revision 1.3.2.10
diff -u -d -r1.3.2.9 -r1.3.2.10
--- navbar.css	26 Apr 2004 00:54:52 -0000	1.3.2.9
+++ navbar.css	26 Apr 2004 01:02:58 -0000	1.3.2.10
@@ -17,6 +17,7 @@
   padding: 0;
   margin: 0;
   height: 1.5em;
+  background-color: #eee;
   border-bottom: solid 1px black;
 }
 
@@ -60,4 +61,110 @@
   border-right: solid 1px #ddd;
 }
 
-#menu, #menu * { background-color: rgb(  0,  79, 147) !important; color: white !important;  }
+
+/* link bar  - all pages*/
+
+#misclinks {
+  float:            right;
+  width: 8em;
+  text-decoration:  none;
+  padding:          1ex;
+  background-color: #eee;
+  border-left:     1px solid black;
+  border-bottom:    1px solid black;
+  margin-top:       -1px; 
+  font-size:        smaller;
+}
+
+#misclinks dt {
+  text-align: center;
+  background: #ddd;
+  color:      #053188;
+  font-variant: small-caps;
+}
+#misclinks dd {
+  text-align: right;
+  margin: 0;
+  padding-bottom: 2ex;
+}
+
+#misclinks ul {margin: 0; padding: 0;}
+#misclinks li {
+  list-style-type: none;
+  text-align: right;
+}
+#misclinks ul li a {
+  display: block;
+}
+
+#misclinks li a:link, #misclinks li a:visited, div.jumpbar li a:link, div.jumpbar li a:visited {
+  text-decoration: none;
+  display: block;
+  padding: 1px 0px;
+  margin: 0;
+  background-color: #eee;
+  color: #053188;
+  font-size: smaller;
+}
+
+#misclinks li a:hover {
+  text-decoration: underline;
+  background-color: #fff;
+  color: #053188;
+}
+
+#misclinks li a#selected:link, div.jumpbar li a#selected:visited {
+  text-decoration: underline;
+}
+
+
+/* Jump Bar  - results page*/
+
+.jumpbar {
+  float:            right;
+  width: 8em;
+  margin-right: -.4em; /* FIXME - find the exact value - */
+  text-align:       left;
+  text-decoration:  none;
+  padding:          1ex;
+  background-color: #eee;
+  border-left:     1px solid black;
+  border-bottom:    1px solid black;
+  margin-top:       -1.3em; 
+  font-size:        smaller;
+}
+
+div.jumpbar ul {
+  padding: 0;
+  margin:  0;
+}
+
+div.jumpbar li {
+  list-style-type: none;
+}
+
+div.jumpbar li a:link, div.jumpbar li a:visited {
+  text-decoration: none;
+  text-align: center;
+  display: block;
+  width: 8em;
+  padding: 2px 0px;
+  margin: 0;
+  background-color: #eee;
+  color: #053188;
+  font-size: smaller;
+  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 {
+  text-decoration: underline;
+  background-color: #fff;
+  color: #053188;
+  border-right: solid 1px #ddd;
+  border-bottom: solid 1px #fff;
+}
+

Index: base.css
===================================================================
RCS file: /sources/public/validator/htdocs/base.css,v
retrieving revision 1.26.2.33
retrieving revision 1.26.2.34
diff -u -d -r1.26.2.33 -r1.26.2.34
--- base.css	26 Apr 2004 00:54:52 -0000	1.26.2.33
+++ base.css	26 Apr 2004 01:02:58 -0000	1.26.2.34
@@ -117,6 +117,8 @@
 }
 
 /* dt a {color: black} */ /* These are usually targets and not links */
+h1 a {color: black} /* These are usually targets and not links */
+h2 a {color: black} /* These are usually targets and not links */
 h3 a {color: black} /* These are usually targets and not links */
 
 img {vertical-align: middle}
@@ -189,6 +191,7 @@
   font-weight: bold;
   font-style: normal;
   text-decoration: none;
+  color: #053188;
 }
 #banner h1 {font-size: 1.3em;
 border-bottom: 1px solid black;}
@@ -206,14 +209,13 @@
   padding: .25em;*/
   padding:0;
   margin: 0;
+  color: #053188;
 }
 
 /* Used for beta releases. */
 h1#title em {
   color: red;
 }
-h1, h2 { color: rgb(  0,  79, 147) !important }
-
 h2 {
   font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
   font-size-adjust: .53;

Received on Sunday, 25 April 2004 21:03:00 UTC