/* Like banner.css, but with different color.
 * Use for special pages.
 *
 * Author: Bert Bos <bert@w3.org>
 * Created: 26 July 2000
 * Version: $Id: banner-k.css,v 1.5 2002/01/07 21:21:22 bbos Exp $
 *
 * The 'fixed' in the background is there to work around a bug in
 * Opera 6.0. It should have no visible effect in other browsers.
 *
 */

@import "banner.css"; 

/* Override the colors */

div.banner p { 
	background: #7f7f7f;
	border-color: navy;
}

div.banner a, div.banner em {
	border-top-color: navy;
} 

/* Hide from NS4 (there is a higher-specificity rule in banner.css) */
div.banner {
	display: none;
} 

div.banner a:hover {
	background: white; 
	color: navy;
}