mediawiki-extensions-Visual.../modules/ve-mw/themes/mediawiki/widgets.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;
}
MWSaveDialog: Fix styling of border radii 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 2015-10-27 15:28:40 +00:00			`/*!`
			`* VisualEditor MediaWiki theme widget customizations.`
			`*`
build: Bump file copyright notices for 2017 Change-Id: I3c20809e71cc0da58123e1b5f29c4f3aac945496 2017-01-03 16:58:33 +00:00			`* @copyright 2011-2017 VisualEditor Team and others; see http://ve.mit-license.org`
MWSaveDialog: Fix styling of border radii 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 2015-10-27 15:28:40 +00:00			`*/`

			`/* 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;`
			`}`