mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-27 23:50:05 +00:00
7fe9e2e762
* Use OOUI buttons for the actions. * Make the widget wider to accommodate longer titles in different languages. * Don't show if CM already enabled Change-Id: Ibde461a99929565c15b5e7c5ef3ad88e163fba05
24 lines
341 B
Plaintext
24 lines
341 B
Plaintext
.codemirror-popup {
|
|
text-align: center;
|
|
font-size: 12.8px;
|
|
|
|
.oo-ui-popupWidget-head {
|
|
font-weight: bold;
|
|
float: none;
|
|
display: inline-block;
|
|
|
|
> .oo-ui-labelElement-label {
|
|
font-size: 14px;
|
|
margin-left: 2.5em;
|
|
}
|
|
}
|
|
|
|
.codemirror-popup-color-blue {
|
|
color: #1e90ff;
|
|
}
|
|
|
|
.codemirror-popup-text {
|
|
margin-bottom: 1em;
|
|
}
|
|
}
|