/*
Style sheet for the navigation banner at the top of the page.
It is assumed the banner looks somewhat like this:
I.e., a DIV.banner with a P with a small logo and a couple of
A elements.
Copyright c 2003 W3CR (MIT, ERCIM, Keio). All Rights Reserved.
See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright
Author: Bert Bos
Created: 26 July 2000
Version: $Id: banner.css,v 1.14 2003/02/07 14:06:45 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: 2em;
left: auto;
width: 8.5em;
right: 2em;
}
/* 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 }
*/
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;
}
*/