On 2012-12-18 19:30, Henrique Camargo <henrique henriquecamargo com> wrote:
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.
It is in the gnome-web-www repository: http://git.gnome.org/browse/gnome-web-www/tree/theme/css/text.cssHowever, that is the text styling for gnome.org as a whole, so I suspect that something specifically for developer.gnome.org would be more appropriate. I attached a patch to do just that:
https://bugzilla.gnome.org/show_bug.cgi?id=690452#c1 Thanks for filing the bug! -- http://amigadave.com/
Attachment:
pgpmh0TY8sZi6.pgp
Description: PGP signature