/* Extra css file for personal jemdoc customizations. */
/* RBH 2011 */
#bare { border: none; } 
#bare td { border: none; } 
span.comment, span.comment > *, span.string, span.string > * {
        color: DarkViolet;
}