mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 00:55:00 +00:00
7bf15b4377
Switch sandbox demo to use new ui modules Update VisualEditor.php to use ve2 modules SpecialPageSandbox working Change-Id: I8261d6bf6ceb6ae7b7bfa5f61aec6a0121906765
31 lines
638 B
CSS
31 lines
638 B
CSS
.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;
|
|
}
|