wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-24 10:58:20 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Fix highlighter styles: match sig/timestamps border sizes"

Browse source
This commit is contained in:
jenkins-bot 2020-07-15 15:29:33 +00:00 committed by Gerrit Code Review
parent 3a79aa25d6 3ef4c30e63
commit 01ce5afaa9
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
modules/highlighter.css
View file

@ -3,17 +3,16 @@
.detected-timestamp {
border: 2px solid forestgreen;
padding: 1px;
border-radius: 6px;
margin: -3px;
margin: -2px;
}
.detected-signature {
border: 3px solid blue;
border: 2px solid blue;
border-bottom-left-radius: 6px;
border-top-left-radius: 6px;
border-right: 0;
margin: -3px;
margin: -2px;
margin-right: 0;
}