/*
 
  A HUGE thank to Bert.Bos@w3.org for this ! -- jls --


  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="/semir"><img alt="Semir" src="/semir/Icones/semir2.gif"></a>
    <a  href="lien1.html" alt="lien1">lien1</a>
    <a  href="lien2.html" alt="lien2">lien2</a>
    <a  href="lien3.html" alt="lien3">lien3</a>
    <a  href="lien4.html" alt="lien4">lien4</a>
    <a  href="lien5.html" alt="lien5">lien5</a>
    <em>Séparator:</em>
    <a  href="lien6.html" alt="lien6">lien6</a>
  </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.6 2002/09/13 15:57:34 root Exp $
*/

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

div.banner {
  margin: 0;
  font-size: 100% /*smaller*/;
  font-family: Arial, sans-serif;
  font-weight: bold;
  line-height: 1.8;
  text-align: left;
  position: absolute;		/* Fallback if 'fixed' is not supported */
  top: 130px;
  bottom: auto;
  left: 3px;
  right: auto;
  width: 214px;
  background: #0A5F89;
}
div.banner {
  position: fixed;		/* Overrides 'absolute' above */
}

div.banner p, div.banner a, div.banner em {
  font-family: Arial, sans-serif;
}

div.banner p {
  margin: 0; 
  padding: 0 0;
  color: white;
  border-top: none;
}

div.banner a:first-child { border-top: none }
div.banner a, div.banner em { display: block; margin: 0; padding: 0 4px }
div.banner a, div.banner em { border-top: none }

div.banner em { color: white }
div.banner em:hover { color: white }
div.banner a:link    { text-decoration: none; color: #FFFFCC }
div.banner a:visited { text-decoration: none; color: #CCCCCC }
div.banner a:hover   { background: white; color: #0A5F89 }


div.banner p {
  background: #0A5F89;
  border: 1px #0A5F89;
}