Merge "styles: Rename `border-tabs` to `border-bottom-tabs`"

This commit is contained in:
jenkins-bot 2022-07-19 16:45:17 +00:00 committed by Gerrit Code Review
commit 9f7f292a6f
2 changed files with 2 additions and 2 deletions

View File

@ -79,7 +79,7 @@
@padding-top-content: 0.5em;
@padding-horizontal-content: 0.5em;
@padding-blockquote: 8px 32px;
@border-tabs: 1px @border-style-base #eaecf0;
@border-bottom-tabs: @border-width-base @border-style-base #eaecf0;
// Navigation
@background-color-secondary: #f6f6f6;

View File

@ -4,7 +4,7 @@
.vector-article-toolbar .mw-article-toolbar-container {
display: flex;
border-bottom: @border-tabs;
border-bottom: @border-bottom-tabs;
a {
// The hover effect is on `li` elements.