mediawiki-extensions-VisualEditor/modules/ve/ui/styles/ve.ui.Menu.css

/**
 * VisualEditor user interface Menu styles.
 *
 * @copyright 2011-2012 VisualEditor Team and others; see AUTHORS.txt
 * @license The MIT License (MIT); see LICENSE.txt
 */

.es-menuView {
	display: none;
	position: absolute;
	border: solid 1px #cccccc;
	-webkit-border-radius: 0.25em;
	-moz-border-radius: 0.25em;
	-o-border-radius: 0.25em;
	border-radius: 0.25em;
	background-color: rgba(255,255,255,0.95);
	-webkit-box-shadow: 0 0.25em 1em 0 rgba(0,0,0,0.25);
	-moz-box-shadow: 0 0.25em 1em 0 rgba(0,0,0,0.25);
	box-shadow: 0 0.25em 1em 0 rgba(0,0,0,0.25);
	padding: 0.33em 0;
	z-index: 3;
}

.es-menuView-item {
	padding: 0.33em 1em;
	cursor: pointer;
	white-space: nowrap;
}

.es-menuView-item:hover {
	background-color: #b3d6f6;
}

.es-menuView-break {
	margin: 0.33em 0;
	border-top: solid 1px #dddddd;
}