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

MWSaveDialog: Fix styling of border radii

Browse source 
Remove bottom border radii from the <textarea> and apply to
the options bar instead.

Apply different values for Apex and MediaWiki themes.

Change-Id: If727863a87547692ee499d2141c0418658609412
This commit is contained in:
Ed Sanders 2015-10-27 15:28:40 +00:00 committed by Jforrester
parent 59f55fbb9b
commit 926d39d54d
3 changed files with 42 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
extension.json
View file

@ -1000,6 +1000,14 @@
"modules/ve-mw/ui/styles/widgets/ve.ui.MWTocWidget.css",
"modules/ve-mw/ui/styles/tools/ve.ui.MWEducationPopupTool.css"
],
"skinStyles": {
"vector": [
"modules/ve-mw/themes/mediawiki/widgets.css"
],
"monobook": [
"modules/ve-mw/themes/apex/widgets.css"
]
},
"dependencies": [
"ext.visualEditor.core",
"mediawiki.Title",

17
modules/ve-mw/themes/apex/widgets.css Normal file
View file

@ -0,0 +1,17 @@
/*!
* VisualEditor Apex theme widget customizations.
*
* @copyright 2011-2015 VisualEditor Team and others; see http://ve.mit-license.org
*/
/* ve.ui.MWSaveDialog summary */
.ve-ui-mwSaveDialog-summary textarea {
border-bottom-right-radius: 0;
border-bottom-left-radius: 0;
}
.ve-ui-mwSaveDialog-options {
border-bottom-right-radius: 0.25em;
border-bottom-left-radius: 0.25em;
}

17
modules/ve-mw/themes/mediawiki/widgets.css Normal file
View file

@ -0,0 +1,17 @@
/*!
* VisualEditor MediaWiki theme widget customizations.
*
* @copyright 2011-2015 VisualEditor Team and others; see http://ve.mit-license.org
*/
/* ve.ui.MWSaveDialog summary */
.ve-ui-mwSaveDialog-summary textarea {
border-bottom-right-radius: 0;
border-bottom-left-radius: 0;
}
.ve-ui-mwSaveDialog-options {
border-bottom-right-radius: 0.1em;
border-bottom-left-radius: 0.1em;
}