wikimedia/mediawiki-extensions-ReplaceText
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/ReplaceText synced 2024-12-18 01:01:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use LESS instead of CSS

Browse source 
This allows to simplify the syntax.

Change-Id: I086524d94644a698ddbe9b15d816684736c1dc1c
This commit is contained in:
Fomafix 2021-07-03 11:31:18 +00:00
parent 2a6d1866fd
commit bd20365fbe
3 changed files with 61 additions and 59 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -40,7 +40,7 @@
}, },
"ext.ReplaceTextStyles": { "ext.ReplaceTextStyles": {
"styles": [ "styles": [
"ext.ReplaceTextStyles.css" "ext.ReplaceTextStyles.less"
] ]
} }
}, },

58
resources/ext.ReplaceTextStyles.css
View file

@ -1,58 +0,0 @@
.mw-replacetext-invert {
margin-top: 20px;
}
.searchmatch {
font-weight: bold;
}
#mw-searchoptions {
/* Support: Firefox, needs `clear: both` on `fieldset` when zoom level > 100%, see T176499 */
clear: both;
padding: 0.5em 0.75em 0.75em 0.75em;
background-color: #f8f9fa;
margin: -1px 0 0;
border: 1px solid #c8ccd1;
border-radius: 0 0 2px 2px;
}
#mw-searchoptions h4 {
padding: 0;
margin: 0;
float: left;
}
#mw-searchoptions table {
float: left;
margin-right: 3em;
border-collapse: collapse;
}
#mw-searchoptions table td {
padding: 0 1em 0 0;
white-space: nowrap;
}
#mw-searchoptions .divider {
clear: both;
border-bottom: 1px solid #eaecf0;
padding-top: 0.5em;
margin-bottom: 0.5em;
}
#mw-search-togglebox {
float: right;
}
#mw-search-togglebox label {
margin-right: 0.25em;
}
#mw-search-togglebox input {
margin-left: 0.25em;
}
.client-nojs #mw-search-togglebox,
.client-nojs .mw-replacetext-invert {
display: none;
}

60
resources/ext.ReplaceTextStyles.less Normal file
View file

@ -0,0 +1,60 @@
.mw-replacetext-invert {
margin-top: 20px;
}
.searchmatch {
font-weight: bold;
}
#mw-searchoptions {
// Support: Firefox, needs `clear: both` on `fieldset` when zoom level > 100%, see T176499
clear: both;
padding: 0.5em 0.75em 0.75em 0.75em;
background-color: #f8f9fa;
margin: -1px 0 0;
border: 1px solid #c8ccd1;
border-radius: 0 0 2px 2px;
h4 {
padding: 0;
margin: 0;
float: left;
}
table {
float: left;
margin-right: 3em;
border-collapse: collapse;
td {
padding: 0 1em 0 0;
white-space: nowrap;
}
}
.divider {
clear: both;
border-bottom: 1px solid #eaecf0;
padding-top: 0.5em;
margin-bottom: 0.5em;
}
}
#mw-search-togglebox {
float: right;
label {
margin-right: 0.25em;
}
input {
margin-left: 0.25em;
}
}
.client-nojs {
#mw-search-togglebox,
.mw-replacetext-invert {
display: none;
}
}