mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-17 03:18:48 +00:00
e722c1726f
New changes: 5eb7294 Find and replace 123a6ad Find and replace tool 557f70f Go backwards through find and replace results on shift enter 4a4ed81 Allow language widget to filter on available languages Local changes to adjust. Change-Id: I15e14d6d3c7ee60e465baf3a4df7572851cbca3e
13 lines
261 B
CSS
13 lines
261 B
CSS
/*!
|
|
* VisualEditor UserInterface MediaWiki CommandHelpDialog styles.
|
|
*
|
|
* @copyright 2011-2014 VisualEditor Team and others; see http://ve.mit-license.org
|
|
*/
|
|
|
|
.ve-ui-commandHelpDialog-container {
|
|
/*
|
|
* See ve.ui.CommandHelpDialog.css
|
|
*/
|
|
height: 39em;
|
|
}
|