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.
On Tue, Apr 20, 2010 at 9:18 AM, Paul W. Frields stickster@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.
-- 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@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/websites
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.
Sijis
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@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! :-)
On Tue, Apr 20, 2010 at 6:16 PM, Paul W. Frields stickster@gmail.com 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@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 -- websites mailing list websites@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/websites
Changes added to mediawiki main.css file in fedora-web and in puppet repos.
On Tue, Apr 20, 2010 at 10:29:39PM -0500, Sijis Aviles wrote:
On Tue, Apr 20, 2010 at 6:16 PM, Paul W. Frields stickster@gmail.com 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@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! :-)
Changes added to mediawiki main.css file in fedora-web and in puppet repos.
It's made the wiki *way* more readable on pages like this one:
https://fedoraproject.org/wiki/How_to_fix_bugs_on_the_Fedora_Project_website
Thanks!
On Wed, Apr 21, 2010 at 09:22:31AM -0400, Paul W. Frields wrote:
It's made the wiki *way* more readable on pages like this one:
https://fedoraproject.org/wiki/How_to_fix_bugs_on_the_Fedora_Project_website
Clever to use <ol> for the list, hadn't thought of that to get around the way <pre> breaks the wiki "# list" mechanism.
- Karsten