After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 466559 - [CSS] styling <hr />
[CSS] styling <hr />
Status: RESOLVED FIXED
Product: gtk-doc
Classification: Platform
Component: general
1.8
Other Linux
: Normal trivial
: 1.9
Assigned To: gtk-doc maintainers
gtk-doc maintainers
Depends on:
Blocks:
 
 
Reported: 2007-08-14 10:44 UTC by Frederic Peters
Modified: 2007-09-23 14:23 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
styling <hr/> (337 bytes, patch)
2007-08-14 10:44 UTC, Frederic Peters
none Details | Review

Description Frederic Peters 2007-08-14 10:44:01 UTC
<hr /> are not styled and rendered in all their 90ish glory; would it be possible to style them a little bit, like in the attached patch ?  (currently applied on library.gnome.org).
Comment 1 Frederic Peters 2007-08-14 10:44:27 UTC
Created attachment 93637 [details] [review]
styling <hr/>
Comment 2 Stefan Sauer (gstreamer, gtkdoc dev) 2007-08-14 12:44:48 UTC
making the gray and 1 pixel height is okay, but I prefer to keep them 100%.
Comment 3 Frederic Peters 2007-08-14 13:59:43 UTC
Okay for 100% then :)
Comment 4 Stefan Sauer (gstreamer, gtkdoc dev) 2007-08-14 15:02:50 UTC
2007-08-14  Stefan Kost  <ensonic@users.sf.net>

	patch by: Frederic Peters <fpeters@0d.be>

	* style.css:
	  Styling hr tags.