r70247 MediaWiki - Code Review archive

Repository:MediaWiki
Revision:r70246‎ | r70247 | r70248 >
Date:22:13, 31 July 2010
Author:hartman
Status:deferred
Tags:
Comment:
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) (history)

Diff [purge]

Index: trunk/extensions/OggHandler/OggHandler_body.php
@@ -471,6 +471,10 @@
472472 font-size: 10pt;
473473 }
474474
 475+.center .ogg-player-options ul {
 476+ margin: 0.3em 0px 0px 1.5em;
 477+}
 478+
475479 EOT
476480 ) );
477481 }

Status & tagging log