mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 00:55:00 +00:00
c7221988a1
New changes: 26085a853 Make author list a ListPopupTool c4ea53eef Update OOjs to v2.1.0 8c94697f3 Update OOjs UI to v0.22.0 cdebc4817 Follow-up 8c94697f: Actually commit the icon changes I had locally 8be817396 Update OOjs UI to v0.22.1 Local changes for author list popup Change-Id: I36bcaf122528a4a12882aaff3b33ef936082a391
23 lines
529 B
CSS
23 lines
529 B
CSS
/*!
|
|
* VisualEditor MediaWiki theme widget customizations.
|
|
*
|
|
* @copyright 2011-2017 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;
|
|
}
|
|
|
|
.ve-ui-mwTransclusionDialog-addParameterFieldset .ve-ui-mwParameterSearchWidget {
|
|
border-radius: 0.1em;
|
|
border: 1px solid #a2a9b1;
|
|
}
|