wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-30 11:06:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove unnecessary, overqualified element parts of class selectors

Browse source 
Those combinations origin from a time when these were seen as faster
to be rendered (at least dating back to 2011). Not only is this
reason no longer true, it also holds us back to start using semantic
HTML5 sectioning elements like `nav` for `.portal`.

Bug: T248137
Change-Id: I72b180d1c8bc1b029c147483590e2fc44dd29a86
This commit is contained in:
Volker E 2020-03-23 22:19:12 -07:00
parent ca6821743a
commit 7feedb1fd2
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
modules/ext.categoryTree.styles.css
View file

@ -28,13 +28,13 @@
margin-left: 0.25em;
}
#mw-panel div.portal div.body .CategoryTreeTag {
#mw-panel .portal .body .CategoryTreeTag {
margin: 0;
font-size: 0.75em;
line-height: 1.125em;
}
#mw-panel div.portal div.body .CategoryTreeItem {
#mw-panel .portal .body .CategoryTreeItem {
padding: 0.25em 0;
}