mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-12 08:25:10 +00:00
e8cfa46f87
Use OOUI's PopupWidget to display error tracebacks/details instead of a deprecated jquery.ui dialog. Bug: T319361 Change-Id: Ie7796c853782de9874595674fe250f6702db717e
15 lines
232 B
CSS
15 lines
232 B
CSS
.scribunto-error {
|
|
cursor: pointer;
|
|
}
|
|
|
|
.scribunto-error:hover,
|
|
.scribunto-error:focus {
|
|
text-decoration: underline;
|
|
}
|
|
|
|
/* Make the popup heading more prominent */
|
|
.scribunto-error-label {
|
|
font-size: larger;
|
|
font-weight: bold;
|
|
}
|