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 @@
472
472
font-size: 10pt;
473
473
}
474
474
475
+.center .ogg-player-options ul {
476
+ margin: 0.3em 0px 0px 1.5em;
477
+}
478
+
475
479
EOT
476
480
) );
477
481
}
Status & tagging log
22:07, 3 December 2010
Reedy
(
talk
|
contribs
)
changed the
status
of r70247
[
removed:
new
added:
deferred]