/*

  Style sheet for the navigation banner at the top of the page.
  It is assumed the banner looks somewhat like this:

  <div class="banner">
    <p>
      <a href="../"><img alt="W3C" src="../Icons/w3c_home"></a>
      <a href="Consortium/Activities">Activities</a>
      <a href="TR/">Tech.&nbsp;Reports</a>
      <a href="Consortium/Translation/">Translations</a>
      <a href="Status">Software</a>
      <a href="Help/siteindex">Site&nbsp;index</a>
      <a href="Consortium/">About</a>
      <a href="Consortium/Contact">Contact</a>
      <a href="http://search.w3.org/Public/">Search</a>
    </p>
  </div>

  I.e., a DIV.banner with a P with a small logo and a couple of
  A elements.

  Copyright © 2000 W3C® (MIT, INRIA, Keio). All Rights Reserved.
  See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright

  Author: Bert Bos <bert@w3.org>
  Created: 26 July 2000
  Version: $Id: banner.css,v 1.10 2002/02/18 13:42:26 bbos Exp $
*/

body div.banner { display: block } /* Overrides 'none' in banner-*.css */

.logo { display: none }		/* No need for two W3C icons */

div.banner {
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  /*  text-align: center;*/
 position: absolute;		/* Fallback if 'fixed' is not supported */
 top: 2em;
 left: 1em;
 right: auto;
 width: 9.8em;
}
div.banner {
  position: fixed;		/* Overrides 'absolute' above */
}

div.banner p {
 margin: 0; 
 padding: 0.3em 0.4em;
 font-family: Arial, sans-serif;
 background:  #d6d6d6; 
 border: thin outset #d6d6d6;
 border-top: 2px groove #999; 
 color: black;
}

span.bancenter {
  text-align: center;
  border-top: none;
}

div.banner form {
 margin: 0; 
 text-align: center;
 font-family: Arial, sans-serif;
 background: #d6d6d6;
 color: black;
 padding: 0.3em 0 1em 0;
 border: thin outset #d6d6d6;
} 

div.banner a, div.banner b { display: block;  margin: .3em 0.3em}
div.banner a:first-child { border-top: none }
div.banner a, div.banner b { border-top: 2px groove #999; }
div.banner em { color: #cfc }

div.banner span.nogroove a, span.nogroove em { border-top: none;   font-size: 80%;}
div.banner span.bancenter a { border-top: none; }

div.banner span { display: block; margin: 0 0.6em; border-top:none }
div.banner span.inactivelink { border-top: 2px groove #999; display: block; margin: 0em 0.3em; color: #00008b; font-style: normal;}
div.banner span.inactivelink em { color: #00008b; }
div.banner span.nogroove span.inactivelink { border-top: none;  color: #00008b; font-size: 80%; }

div.banner address {
  margin-top: 5em;
  font-size: 8pt; 
  font-family: Times, serif;
  font-weight: normal;
  font-style: italic;
  text-align: center;
}


div.banner a:link { text-decoration: none; color: black }
div.banner a:visited { text-decoration: none; color: #525252 }
div.banner a:hover { background: #00008b; color: white }

div.banner address a {
 background: white; 
 color: black;
 border-top: none;
}


div.banner img { height: 24px; float: none; vertical-align: middle }