mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-11-27 23:50:05 +00:00
0ca61108d1
This is to stop it looking so much like a link that can be clicked on. Bug: T174219 Change-Id: Icdae8ddf32aa0c08fe0d708eb289bafe53f9b589
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-label span {
|
|
color: #457d39;
|
|
}
|
|
|
|
.codemirror-popup-text {
|
|
margin-bottom: 1em;
|
|
}
|
|
}
|