mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-26 23:31:02 +00:00
87 lines
1.6 KiB
CSS
87 lines
1.6 KiB
CSS
.es-inspector {
|
|
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.75em;
|
|
padding-top: 2.5em;
|
|
min-width: 15em;
|
|
z-index: 3;
|
|
}
|
|
|
|
.es-inspector-button {
|
|
position: absolute;
|
|
top: 0.25em;
|
|
width: 2em;
|
|
height: 2em;
|
|
background-position: center center;
|
|
background-repeat: no-repeat;
|
|
cursor: pointer;
|
|
-moz-opacity: 0.75;
|
|
filter:alpha(opacity=75);
|
|
opacity: 0.75;
|
|
}
|
|
|
|
.es-inspector-button:hover {
|
|
-moz-opacity: 1;
|
|
filter:alpha(opacity=100);
|
|
opacity: 1;
|
|
}
|
|
|
|
.es-inspector-button.es-inspector-button-disabled,
|
|
.es-inspector-button.es-inspector-button-disabled:hover {
|
|
-moz-opacity: 0.25;
|
|
filter:alpha(opacity=25);
|
|
opacity: 0.25;
|
|
}
|
|
.es-inspector-closeButton {
|
|
right: 0.25em;
|
|
background-image: url(images/close.png);
|
|
}
|
|
|
|
.es-inspector-acceptButton {
|
|
right: 2.25em;
|
|
background-image: url(images/accept.png);
|
|
}
|
|
|
|
.es-inspector-clearButton {
|
|
right: 4.25em;
|
|
background-image: url(images/clear.png);
|
|
}
|
|
|
|
.es-inspector form {
|
|
margin: 0;
|
|
padding: 0.75em 0 0 0;
|
|
border-top: solid 1px #dddddd;
|
|
white-space: nowrap;
|
|
}
|
|
|
|
.es-inspector form input {
|
|
display: inline-block;
|
|
width: 14em;
|
|
font-size: 1em;
|
|
padding: 0.25em;
|
|
}
|
|
|
|
.es-inspector form label {
|
|
display: inline-block;
|
|
width: 6em;
|
|
}
|
|
|
|
.es-inspector-title {
|
|
position: absolute;
|
|
top: 0;
|
|
left: 0.75em;
|
|
height: 2.5em;
|
|
line-height: 2.5em;
|
|
font-weight: bold;
|
|
color: #666666;
|
|
}
|