futzing with new ideas for general site style

1 files changed, 39 insertions, 111 deletions

diff --git a/htdocs/navbar.css b/htdocs/navbar.css
index 3c952b4..d76d632 100644
--- a/htdocs/navbar.css
+++ b/htdocs/navbar.css
@@ -4,129 +4,55 @@
    Copyright 2000-2004 W3C (MIT, INRIA, Keio). All Rights Reserved.
    See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright
 
-   $Id: navbar.css,v 1.10 2004-09-01 22:00:40 link Exp $
+   $Id: navbar.css,v 1.11 2005-01-04 08:37:53 ot Exp $
 */
 
+
 #menu {
-  list-style-type: none;
-  padding: 0;
-  margin: 0;
-  height: 1.5em;
-  background-color: #eee;
-  border-bottom: solid 1px black;
+        background-color: #053188;
+        background-image:url(images/bg2.gif);
+        width: 780px;
+        margin: 0;
+        padding: 0;
+        margin-left: 72px;
+        padding-top:8px;
+        vertical-align: bottom;
+        font-size: 10px;
+        height: 20px;
+        list-style-type: none;
+        border-left: 1px solid #053188;
+        border-right: 1px solid #053188;
+       
 }
 
 #menu li {
   display: inline;
-  padding: 0;
-  margin: 0;
-}
-
-#menu li a:link, #menu li a:visited {
-  text-decoration: none;
-  text-align: center;
-  float: left;
-  display: block;
-  width: 8em;
-  padding: 2px 0px;
-  margin: 0;
-  background-color: #eee;
-  color: #053188;
-  font-size: smaller;
-  font-variant: small-caps;
-  border-right: solid 1px #bbb;
-  border-bottom: solid 1px black;
-}
-
-#menu li a#selected:link, #menu li a#selected:visited {
-  text-decoration: underline;
-  background-color: #fff;
-  color: #053188;
-}
-
-#menu li a:hover {
-  text-decoration: underline;
-  background-color: #fff;
-  color: #053188;
-}
-
-#menu li a:active {
-  background-color: #fff;
-  color: #053188;
-  border-right: solid 1px #ddd;
 }
 
+#menu li a {
 
-/* 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;
+  height: 20px;
+  padding-right: 20px;
+  padding-left: 25px;
+  color: white;
 }
 
-#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;
-  font-weight:      bold;
+    background-color: white;
+    float:            right;
+    width: 8em;
+    margin-right: -15px; 
+    text-align:       left;
+    text-decoration:  none;
+    padding:          1ex;
+    border-left:     1px solid black;
+    border-bottom:    1px solid black;
+    margin-top:       -15px; 
+    font-size: 10px;
+    font-weight:      bold;
 }
 
 .jumpbar ul {
@@ -139,8 +65,12 @@
   text-align: right;
 }
 
+div.jumpbar li a {
+  height: 20px;
+  padding-right: 20px;
+  padding-left: 25px;
+}
 div.jumpbar li a:hover {
-  background: #fff;
   text-decoration: underline;
 }
 
@@ -151,10 +81,8 @@ div.jumpbar li a:hover {
   width: 8em;
   padding: 2px 0px;
   margin: 0;
-  background-color: #eee;
-  color: #053188;
   font-size: smaller;
-  border-top: dotted 1px black;
+  border-top: dotted 1px #053188;
 }
 
 .jumpbar li a#selected:link, .jumpbar li a#selected:visited {