/* $Id: style.css,v 1.2 2004/08/04 14:42:20 john Exp $
 *
 * JW.
 */

pre {
   font-size: 8pt;
}

h1 {
   font-family: sans-serif;
   font-size: 14pt;
}

li {
   font-family: serif;
   font-size: 12pt;
}

code {
   font-size: 10pt;
}

.ckeyword {
   color: blue;
}

.cnumber {
   color: purple;
}

.ccomment {
   color: green;
}