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

More effective use of LESS

Browse source 
Change-Id: I484e762acd44717a953b992ba1dfd76532b72144
This commit is contained in:
Ebrahim Byagowi 2024-08-07 09:26:42 +03:30
parent 7f0c4d2131
commit 51453a0f96
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 {