[Cp-tools-discuss] gjdoc-0.7.1-pre2

[Julian Scheid]

There's a new prerelease of gjdoc available for download at
ftp://alpha.gnu.org/gnu/classpath/

As always, the latest output for Classpath can be found at 
http://developer.classpath.org/doc/

It brings some minor fixes, tries to address the overlapping navigation 
bar and adds support for simple overriding of CSS styles: you can now 
specify option -addstylesheet and pass a partial stylesheet to it, like 
the one attached.

More information about creating customized CSS sheets will be found in 
the upcoming manual.

Please send your favorite color schemes this way for inclusion in future 
versions.

Thanks,

Julian

/*
 *  Example of overriding gjdoc syntax highlighting. 
 *
 *  Change the color values and feed this file to -addstylesheet.
 */

.comment      { color: #077777; }  /* All comment types */
.tag          { color: #044444; }  /* Javadoc tags in comments */
.keyword      { color: #036B00; }  /* Keywords */
.header.type  { color: #00248F; }  /* Rvalue of package/import */
.type         { color: #0033CC; }  /* Primitive types and class names */
.literal      { color: #009FFF; }  /* All literals */
.variable     { color: #007D48; }  /* Variables */
.member       { color: #032400; }  /* Members */
.line-number  { color: #0AAAAA; }  /* Line number */

.source {

  /* background-color and global settings to be inherited by all
   * styles (e.g. font-size) here 
   */ 
}

/*
 * Fine-grained control example:
 */

[class="c comment"]       { color: #071777; } /* slash star */
[class="javadoc comment"] { color: #074777; } /* slash star star */
[class="line comment"]    { color: #077777; } /* slash slash */

/*
 * See top of Java2Xhtml.java for list of class names.
 *
 * See http://www.w3.org/TR/REC-CSS2/ for CSS2 spec.
 */