wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-09-25 11:18:35 +00:00
Code Issues Packages Projects Releases Wiki Activity

Resolved #25724 using evil black magic and unicorn tears.

Browse source
This commit is contained in:
Trevor Parscal 2011-01-10 23:32:52 +00:00
parent 1f17742ba1
commit 47d4852f07
1 changed files with 9 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
modules/jquery.wikiEditor.toolbar.css
View file

@ -177,6 +177,15 @@ body.rtl .wikiEditor-ui-toolbar .tabs span.tab a.current:visited {
background-image: url(images/toolbar/loading-small.gif) !important;
}
/* Toolbar */
/* IGNORED BY IE6
* BEWARE: For unknown reasons, Opera ignores the ".wikiEditor-ui-toolbar" .group .label rule
* except for when this rule is directly before it.
*/
body.rtl .wikiEditor-ui-toolbar .group > .label {
float: right;
margin-left: 8px;
margin-right: 5px;
}
.wikiEditor-ui-toolbar .group .label {
float: left;
border: 0px;
@ -188,12 +197,6 @@ body.rtl .wikiEditor-ui-toolbar .tabs span.tab a.current:visited {
color: #777777;
cursor: default;
}
/* IGNORED BY IE6 */
body.rtl .wikiEditor-ui-toolbar .group > .label {
float: right;
margin-left: 8px;
margin-right: 5px;
}
.wikiEditor-ui-toolbar .group img.tool {
float: left;
border: 0px;