mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-15 11:58:44 +00:00
Remove unneeded portal background properties.
Have been in since before Idfc38503d8397ffe where 'portal-break.png' was still applied on `div.portal` and not ever after on `.portal .body`. Change-Id: Icbaed3f9d41a46a0f5d17266c29703024ffc1412
This commit is contained in:
parent
7227e50b0a
commit
0175a2be2e
|
@ -78,8 +78,6 @@
|
|||
margin: 0 0.6em 0 0.7em;
|
||||
padding: 0.25em 0;
|
||||
direction: ltr;
|
||||
background-position: top left;
|
||||
background-repeat: no-repeat;
|
||||
|
||||
h3 {
|
||||
color: @color-nav-subtle;
|
||||
|
|
Loading…
Reference in a new issue