http://www.mediawiki.org/wiki/Special:Code/MediaWiki/70247

Revision: 70247
Author:   hartman
Date:     2010-07-31 22:13:08 +0000 (Sat, 31 Jul 2010)

Log Message:
-----------
Add CSS to fix the indent of the player options ul, which was broken when 
rendered with the |center option.

Modified Paths:
--------------
    trunk/extensions/OggHandler/OggHandler_body.php

Modified: trunk/extensions/OggHandler/OggHandler_body.php
===================================================================
--- trunk/extensions/OggHandler/OggHandler_body.php     2010-07-31 22:10:49 UTC 
(rev 70246)
+++ trunk/extensions/OggHandler/OggHandler_body.php     2010-07-31 22:13:08 UTC 
(rev 70247)
@@ -471,6 +471,10 @@
        font-size: 10pt;
 }
 
+.center .ogg-player-options ul {
+       margin: 0.3em 0px 0px 1.5em;
+}
+
 EOT
 ) );
        }



_______________________________________________
MediaWiki-CVS mailing list
MediaWiki-CVS@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-cvs

Reply via email to