wikimedia/mediawiki-extensions-AbuseFilter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/AbuseFilter.git synced 2024-09-23 10:18:22 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "More effective use of LESS"

Browse source
This commit is contained in:
jenkins-bot 2024-08-07 07:52:09 +00:00 committed by Gerrit Code Review
parent 20d8e1f7e5 51453a0f96
commit 72e2f2d598
1 changed files with 12 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
modules/ext.abuseFilter.less
View file

@ -8,21 +8,21 @@ table.mw-abuselog-details {
border-collapse: collapse;
width: 100%;
table-layout: fixed;
}
table.mw-abuselog-details th,
table.mw-abuselog-details td {
border: @border-base;
padding: 0.2em;
}
th,
td {
border: @border-base;
padding: 0.2em;
}
table.mw-abuselog-details th {
background: @background-color-interactive;
text-align: center;
}
th {
background: @background-color-interactive;
text-align: center;
}
table.mw-abuselog-details caption {
font-weight: bold;
caption {
font-weight: bold;
}
}
.mw-abusefilter-log-hidden-entry {