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

Removed more IE6 stuff.

Browse source
This commit is contained in:
Trevor Parscal 2011-01-11 23:44:53 +00:00
parent 81bb906c99
commit 1ed22372ab
1 changed files with 0 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -89,9 +89,6 @@
float: left;
line-height: 26px;
}
html.ie-6 .wikiEditor-ui-toolbar .tabs span.tab {
display: inline-block;
}
.wikiEditor-ui-toolbar .tabs span.tab a,
.wikiEditor-ui-toolbar .tabs span.tab a:visited {
display: inline-block;
@ -172,9 +169,6 @@ html.ie-6 .wikiEditor-ui-toolbar .tabs span.tab {
border: solid 1px silver;
background-color: #ffffff;
}
html.ie-6 .wikiEditor-ui-toolbar .group .tool-select .options {
margin-top: 0;
}
.wikiEditor-ui-toolbar .group .tool-select .options .option {
display: block;
padding: 0.5em;