Merge "styles: Use default `border-width` and `border-style` vars"

This commit is contained in:
jenkins-bot 2022-07-19 16:46:31 +00:00 committed by Gerrit Code Review
commit 1ebf8c148d
5 changed files with 11 additions and 10 deletions

View File

@ -56,8 +56,9 @@
cursor: pointer;
&:hover {
// FIXME: Those need a color to be set in order to not show user choice in certain OS.
border-bottom: @border-width-base @border-style-base;
text-decoration: none;
border-bottom: 1px solid;
}
}
}
@ -71,7 +72,7 @@
.selected {
a {
border-bottom: 1px solid;
border-bottom: @border-width-base @border-style-base;
}
a,

View File

@ -159,7 +159,7 @@ body:not( .vector-toc-enabled ) .mw-sidebar {
@media ( min-width: ( @max-width-workspace-container + ( 2 * @padding-horizontal-page-container ) ) ) {
.mw-sidebar {
background: @background-color-page-container;
border-right: 1px solid @border-color-sidebar;
border-right: @border-width-base @border-style-base @border-color-sidebar;
}
}

View File

@ -15,7 +15,7 @@
margin: 0 auto;
background: @background-color-base;
background-color: #fffffff7;
border-bottom: 1px solid @colorGray14;
border-bottom: @border-width-base @border-style-base @colorGray14;
// FIXME: Should this adapt to different thresholds? Ask Alex!
padding: 6px 8px 6px 10px;
justify-content: space-between;
@ -70,7 +70,7 @@
// Components
//
&-context-bar {
border-left: 1px solid #c8c8c8;
border-left: @border-width-base @border-style-base #c8c8c8;
margin: 0 15px;
padding-left: 30px;
white-space: nowrap;

View File

@ -133,7 +133,7 @@
}
.vector-menu-content-item-login {
border-bottom: 1px solid @border-color-base;
border-bottom: @border-width-base @border-style-base @border-color-base;
}
.vector-user-menu-anon-editor {
@ -157,7 +157,7 @@
}
.vector-menu-content-item-logout {
border-top: 1px solid @border-color-base;
border-top: @border-width-base @border-style-base @border-color-base;
}
#pt-tmpuserpage {

View File

@ -102,7 +102,7 @@ body {
// The total of margin-top and height should be 16px. Since we're using relative units 1em=14px
// We need to set both height and margin so that the margin is not ignored.
margin-top: 1em;
border-bottom: solid 2px transparent;
border-bottom: 2px @border-style-base transparent;
}
.mw-header {
@ -333,8 +333,8 @@ body {
// Responsive overrides.
@media ( min-width: @min-width-page-container--padded ) {
.mw-page-container {
border-left: 1px solid @border-color-sidebar;
border-right: 1px solid @border-color-sidebar;
border-left: @border-width-base @border-style-base @border-color-sidebar;
border-right: @border-width-base @border-style-base @border-color-sidebar;
}
}