/*

  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.13 2002/09/27 13:50:19 bbos Exp $
*/

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

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

div.banner {
  margin: 0;
  font-size: 90% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: absolute;		/* Fallback if 'fixed' is not supported */
  top: 7em;
  left: auto;
  width: 8.5em;
  right: 2em;
  z-index: 1;
}
/* WinIE6 gets confused by 'fixed', so hide it.
   Selector trick courtesy of Johannes Koch, see
   http://pixels.pixelpark.com/~koch/hide_css_from_browsers/
*/
div.endmatter>div.banner {
  position: fixed;		/* Overrides 'absolute' above */
}
div.banner p {
  margin: 0; 
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
  /*background: #999;		 Override according to type of page */
  border: thin outset #999;	/* Override this color together with bg */
  color: white;
}

/*
div.banner a { display: block; margin: 0 0.5em }
div.banner a + a { border-top: 2px groove #999 }
*/

/* I turned these off for kgs
div.banner a, div.banner em { display: block; margin: 0 0.5em }
div.banner a, div.banner em { border-top: 2px groove #999 }
div.banner a:first-child { border-top: none }
div.banner em { color: #CFC }

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

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

/*
div.banner p:after {
  content: "Navigate";
  font-weight: normal;
  display: block;
  width: 6em;
  margin-bottom: -1.6em;
  margin-top: 0.2em;
  margin-right: auto;
  margin-left: auto;
  background: #FF6;
  color: #037;
  border: thin solid #005A9C;
  text-align: center;
  padding: 0.15em;
}
*/


/* This if for the catalog image at the top of the page */

div.catalog {
	width:240;
	height:48;
	float:left;
}

.dov{
  margin: 0;
  line-height: 1.1;
  text-align: center;
  /*position: float;		*/
  top: 1px;
  left: auto;
  width: 100%;
  right: auto;
  float: right;
}

/*.formtext{
  font-family: Arial, sans-serif;
  color: black;
  font-size: 7pt;
}
*/

.formtext { font-family: Arial, Helvetica, sans-serif; font-size: 10px; color: #000000; font-weight: normal; }
.formtextlink { font-family: Arial, Helvetica, sans-serif; font-size: 10px; font-weight: bold; }
.link { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #0071BE; text-decoration: underline;}
div.banner a:hover.link { font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #E0134C; text-decoration: none; background: #FFe35a;}