jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/344976 )
Change subject: Proper indentation applied to horizontal links in the vector
skin
......................................................................
Proper indentation applied to horizontal links in the vector skin
Bug: T67444
Change-Id: I5dc48995583a0e0bd3d8bee6e698effecc4d3f7f
---
M components/navigation.less
M variables.less
2 files changed, 7 insertions(+), 5 deletions(-)
Approvals:
Krinkle: Looks good to me, but someone else must approve
EddieGP: Looks good to me, but someone else must approve
20after4: Looks good to me, but someone else must approve
jenkins-bot: Verified
Jdlrobson: Looks good to me, approved
diff --git a/components/navigation.less b/components/navigation.less
index b6e99f2..d1ab549 100644
--- a/components/navigation.less
+++ b/components/navigation.less
@@ -91,13 +91,12 @@
direction: ltr;
background-position: top left;
background-repeat: no-repeat;
- .background-image('images/portal-break.png');
h3 {
font-size: @menu-main-heading-font-size;
color: @menu-main-heading-color;
font-weight: normal;
- margin: 0;
+ margin: 0.5em 0 0 0;
padding: @menu-main-heading-padding;
cursor: default;
border: 0;
@@ -106,6 +105,8 @@
div.body {
margin: @menu-main-body-margin;
padding-top: 0;
+ .background-image( 'images/portal-break.png' );
+ background-repeat: no-repeat;
ul {
list-style-type: none;
@@ -139,6 +140,7 @@
display: none;
}
div.body {
+ background-image: none;
margin-left: 0.5em;
}
}
diff --git a/variables.less b/variables.less
old mode 100644
new mode 100755
index 5789065..98f9766
--- a/variables.less
+++ b/variables.less
@@ -25,14 +25,14 @@
@menu-main-font-size: inherit;
@menu-main-heading-font-size: 0.75em;
-@menu-main-heading-padding: 0.25em 0 0.25em 0.25em;
+@menu-main-heading-padding: 0.25em 0 0.25em 0.7em;
@menu-main-heading-color: #4d4d4d;
@menu-main-body-font-size: 0.75em;
@menu-main-body-link-color: #0645ad;
@menu-main-body-link-visited-color: #0b0080;
-@menu-main-body-margin: 0 0 0 1.25em;
-@menu-main-body-padding: 0;
+@menu-main-body-margin: 0 0 0 0.6em;
+@menu-main-body-padding: 0.3em 0 0 0;
@menu-main-logo-left: 0.5em;
--
To view, visit https://gerrit.wikimedia.org/r/344976
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I5dc48995583a0e0bd3d8bee6e698effecc4d3f7f
Gerrit-PatchSet: 6
Gerrit-Project: mediawiki/skins/Vector
Gerrit-Branch: master
Gerrit-Owner: Rammanojpotla <[email protected]>
Gerrit-Reviewer: 20after4 <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: EddieGP <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: Jforrester <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
