On Tue, Apr 20, 2010 at 6:16 PM, Paul W. Frields <stickster@xxxxxxxxx> wrote: > On Tue, Apr 20, 2010 at 10:02:56AM -0500, Sijis Aviles wrote: >> On Tue, Apr 20, 2010 at 9:18 AM, Paul W. Frields <stickster@xxxxxxxxx> wrote: >> > Where is the wiki's fedora.css maintained? I have a suggested change: >> > >> > pre { >> > /* whatever is in here already */ >> > margin-top: 0.5ex; >> > margin-bottom: 1.5ex; >> > } >> > >> > This would help the code boxes in the wiki breathe a little, >> > especially where they're surrounded by a list, as often happens. >> >> Doing a quick check, the majority is in the fedora-web repo, in >> fedoraproject.org/mediawiki/fedora/main.css file. it also pulls from >> fedoraproject.org/static/css/fedora.css file. > > Given that it affects so many people, and I'm a relative CSS beginner, > I'd like to see someone else test and make this change if possible! > :-) > > -- > Paul W. Frields http://paul.frields.org/ > gpg fingerprint: 3DA6 A0AC 6D58 FEC4 0233 5906 ACDB C937 BD11 3717 > http://redhat.com/ - - - - http://pfrields.fedorapeople.org/ > Where open source multiplies: http://opensource.com > -- > websites mailing list > websites@xxxxxxxxxxxxxxxxxxxxxxx > https://admin.fedoraproject.org/mailman/listinfo/websites > Changes added to mediawiki main.css file in fedora-web and in puppet repos. -- websites mailing list websites@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/websites