mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-11-29 18:05:19 +00:00
cc201a42d9
Change-Id: I8fcfac60b34a500e751cf10ca2ae5c26dd35881f
59 lines
1.3 KiB
Plaintext
59 lines
1.3 KiB
Plaintext
// FIXME: Remove .vector-feature-article-tools-disabled after cache expired.
|
|
.client-nojs,
|
|
.vector-feature-article-tools-disabled,
|
|
.vector-feature-page-tools-disabled {
|
|
& .vector-pinnable-header {
|
|
display: none;
|
|
}
|
|
}
|
|
|
|
.vector-pinnable-header {
|
|
padding: @padding-vertical-tabs;
|
|
border-bottom: @border-width-base @border-style-base @colorGray14;
|
|
}
|
|
|
|
.vector-menu-dropdown .vector-pinnable-header {
|
|
// Match dropdown item styles
|
|
// Line height needed for vertically centering pinnable header
|
|
line-height: @height-dropdown-menu-item;
|
|
padding: @padding-dropdown-menu-item;
|
|
}
|
|
|
|
.vector-pinnable-header-label {
|
|
display: inline-block;
|
|
color: @color-base--subtle;
|
|
font-size: unit( 14 / @font-size-browser, rem );
|
|
margin: 0;
|
|
padding: 0;
|
|
border: 0;
|
|
}
|
|
|
|
// Styles for the "move to sidebar/hide" buttons, hidden by default.
|
|
.vector-pinnable-header-toggle-button {
|
|
display: none;
|
|
border: 0;
|
|
padding: 0;
|
|
background-color: transparent;
|
|
color: @color-primary;
|
|
cursor: pointer;
|
|
|
|
&:hover {
|
|
color: @color-primary--hover;
|
|
}
|
|
|
|
&:before {
|
|
content: '@{msg-brackets-start}';
|
|
color: @color-base--subtle;
|
|
}
|
|
|
|
&:after {
|
|
content: '@{msg-brackets-end}';
|
|
color: @color-base--subtle;
|
|
}
|
|
}
|
|
|
|
.vector-pinnable-header-unpinned .vector-pinnable-header-pin-button,
|
|
.vector-pinnable-header-pinned .vector-pinnable-header-unpin-button {
|
|
display: inline-block;
|
|
}
|