wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-12-01 03:17:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "(bug 40608) Width tweaks for consistency with surrounding elements"

Browse source
This commit is contained in:
Ori.livneh 2012-12-14 07:23:20 +00:00 committed by Gerrit Code Review
parent 83b68347d8 92b0870d69
commit c8fe3ba0bb
1 changed files with 7 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
modules/jquery.wikiEditor.css
View file

@ -9,6 +9,12 @@
width: 100%; width: 100%;
background-color: #E0EEf7; background-color: #E0EEf7;
border: solid silver 1px; border: solid silver 1px;
-moz-box-sizing: border-box;
-webkit-box-sizing: border-box;
box-sizing: border-box;
}
.wikiEditor-ui textarea {
width: 100%;
} }
.wikiEditor-ui textarea:focus { .wikiEditor-ui textarea:focus {
outline: none; outline: none;
@ -109,4 +115,4 @@
background: url(images/toolbar/loading.gif) 0 0 no-repeat; background: url(images/toolbar/loading.gif) 0 0 no-repeat;
text-indent: -9999px; text-indent: -9999px;
margin: 0 auto; margin: 0 auto;
} }