/* -*-c++-*- */
/* $Id: newlook.css,v 1.1 2000/10/09 23:02:33 edmundd Exp $ */

P { color: white; font-size: 10pt; font-family: sans-serif; }
.hd { color: white; font-size: 10pt; 
 font-family: sans-serif; font-weight: bold; }
.nav { color: white; font-size: 10pt; font-family: Courier,monospace; }
LISTING {color: white; font-size: 8pt; font-family: lucidatypewriter,monospace; }