Re: CSS for Help Docs

[Bill Haneman <bill haneman sun com>]

Calum Benson wrote:
> 
> Alex Larsson wrote:
> 
> > Calum Benson wrote:
> >
> > > In other words, I guess, it sounds like we need an option in Yelp that
> > > lets the user choose which stylesheet to use to display GNOME help
> > > docs-- default, high contrast, low contrast, big print etc.
> >
> > Yeah. Sounds good.

I agree that this sounds like the 'right' solution.  It had occurred to
me
how ironic this thread was (talking about a specific CSS stylesheet,
e.g.
without being able to re-style or cascade) ;-)

It's not clear how this would/could be integrated with the GTK+
themes, but perhaps just some GConf settings for HTML CSS would
suffice.

-Bill

> > I'm unsure of the current CSS state in GtkHTML2, but barring any
> > unimplemented stuff this should be possible. The problem is that the code
> > is somewhat distributed. The html generation code for man pages and info
> > pages are in libgnome, and needs to be updated to use CSS. I have no
> > idea how  docbook stuff is done with respect to stylesheets, but i doubt
> > it's hard to fix. And then we may need some code in yelp to select between
> > alternate stylesheets in the html pages.
> 
> Sounds cool, it would be great if we could get something like this into
> Yelp before the UI freeze  :)
> 
> Cheeri,
> Calum.
> 
> --
> CALUM BENSON, Usability Engineer       Sun Microsystems Ireland
> mailto:calum benson ireland sun com    Desktop Engineering Group
> http://www.sun.ie                      +353 1 819 9771
> 
> Any opinions are personal and not necessarily those of Sun Microsystems