/* Like banner.css, but with different color.
 * Use for public Overview and related pages.
 *
 * Author: Bert Bos <bert@w3.org>
 * Created: 26 July 2000
 * Version: $Id: banner-o.css,v 1.1 2001/04/19 08:49:46 god Exp $
 */
@import "banner.css";

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