mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools
synced 2024-12-01 03:26:28 +00:00
3af3f3ed8c
For example 'Edit'. Change-Id: I3d3027724cfd69a6719932bb2cb80fa711010fc4
26 lines
399 B
Plaintext
26 lines
399 B
Plaintext
.dt-init-replylink-buttons {
|
|
user-select: none;
|
|
margin-left: 0.25em;
|
|
|
|
&.dt-init-replylink-active {
|
|
visibility: hidden;
|
|
}
|
|
|
|
.dt-init-replylink-open & > a {
|
|
color: #72777d;
|
|
pointer-events: none;
|
|
}
|
|
}
|
|
|
|
.dt-init-highlight {
|
|
background: rgba( 255, 204, 51, 0.5 );
|
|
position: absolute;
|
|
pointer-events: none;
|
|
opacity: 1;
|
|
transition: opacity 500ms;
|
|
}
|
|
|
|
.dt-init-highlight-fade {
|
|
opacity: 0;
|
|
}
|