On Wed, Nov 28, 2012 at 12:52 PM, David King <amigadave@xxxxxxxxxxxxx> wrote: > It is possible to view the GTK+ documentation with the same CSS (which is > the default gtk-doc style, I think) by installing the relevant documentation > package locally and then either using Devhelp (a really useful tool, by the > way) or opening the files with a browser. They should be located at: > > /usr/share/gtk-doc/html/gtk3 > > where gtk3 can be replaced with any other package for which you have > documentation. Thanks for the pointers. I don't know why, but I'm inclined to use the online documentation. > To improve the developer.gnome.org CSS, I would suggest filing a bug: > > https://bugzilla.gnome.org/enter_bug.cgi?product=website > > against the developer.gnome.org component. It should be quite easy to fix. > The CSS files can be found in the library-web module: > > http://git.gnome.org/browse/library-web/tree/data/skin > > Please post back on the list when you file the bug, and I (or one of the > library-web maintainers) can look into it. I've submitted the bug report. Sorry for the delay. The URL for the bug is https://bugzilla.gnome.org/show_bug.cgi?id=690452 I wanted to provide a patch, but looking at the stylesheets that are included in the documentation page, I came to the conclusion that text.css was the best file to add the rule but I couldn't find it at the git repository that you suggested. Looking for the repository that had the file, I found this one https://github.com/vdepizzol/gnome-grass maybe is it the place to place the new rule? Well, if you need anything I'll be glad to help. Best Regards, -- Henrique Camargo Email: henrique@xxxxxxxxxxxxxxxxxxx Phone: +55 41 99152915 _______________________________________________ gtk-list mailing list gtk-list@xxxxxxxxx https://mail.gnome.org/mailman/listinfo/gtk-list
