mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-09-27 12:16:51 +00:00
5812c8babe
These aren't needed for any of our target browsers anymore. Change-Id: I86d1964f163827673c090b67a472254b73e365a4
42 lines
804 B
CSS
42 lines
804 B
CSS
/**
|
|
* VisualEditor user interface Menu styles.
|
|
*
|
|
* @copyright 2011-2012 VisualEditor Team and others; see AUTHORS.txt
|
|
* @license The MIT License (MIT); see LICENSE.txt
|
|
*/
|
|
|
|
.ve-ui-menu {
|
|
display: none;
|
|
position: absolute;
|
|
border: solid 1px #ccc;
|
|
border-radius: 0.25em;
|
|
background-color: #fff;
|
|
-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);
|
|
z-index: 3;
|
|
}
|
|
|
|
.ve-ui-context-position-above .ve-ui-menu {
|
|
bottom: 0;
|
|
}
|
|
|
|
.ve-ui-context-position-below .ve-ui-menu {
|
|
top: 0;
|
|
}
|
|
|
|
.ve-ui-menu-item {
|
|
padding: 0.6em 0.8em;
|
|
cursor: pointer;
|
|
white-space: nowrap;
|
|
}
|
|
|
|
.ve-ui-menu-item:hover {
|
|
background-color: #b3d6f6;
|
|
}
|
|
|
|
.ve-ui-menu-break {
|
|
margin: 0.33em 0;
|
|
border-top: solid 1px #ddd;
|
|
}
|