/* 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.2 2004/05/23 20:26:40 katz Exp $
 *
 * The 'fixed' in the background is there to work around a bug in
 * Opera 6.0 (disappearing background when the page is scrolled). It
 * should have no visible effect in other browsers.
 *
 */
@import "banner.css";

/* Override the colors */
/* the old way, using an image:
div.banner>p { background: url(semi1x1.png) transparent fixed;
   border-color: #025c7f; }
*/
/* -moz-opacity makes this code invalid css and opacity is not supported yet 
   -moz-opacity might choke cpu usage... */
div.banner>p { background-color:#889; border-color:#025c7f;
               opacity:0.8; -moz-opacity:0.8; }
/* filter:alpha(opacity=80);  -> nonstandard IE thing, removed to validate. */

div.banner a, div.banner em { border-top-color:#025c7f; }

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

div.banner>p a:hover { background: white; color: black; }