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

Merge "Allow a resizeable toolbar index"

Browse source
This commit is contained in:
jenkins-bot 2015-02-05 12:44:02 +00:00 committed by Gerrit Code Review
parent 78bdeffcc6 da5c8abe9e
commit de5f3932b9
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -211,6 +211,7 @@
width: 20%;
height: 125px;
overflow: auto;
resize: horizontal;
}
.wikiEditor-ui-toolbar .booklet .index div {
padding: 4px;
@ -224,8 +225,6 @@
cursor: default;
}
.wikiEditor-ui-toolbar .booklet .pages {
float: right;
width: 80%;
height: 125px;
overflow: auto;
background-color: #FAFAFA;