Wiki CSS change to <pre>

[Paul W. Frields]

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 at gmail.com> 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