mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-12-01 18:57:04 +00:00
128a01bd35
Follow-up: I5b9228380f5c4674ef424d33127a5cb4010822da Change-Id: I2a1167278c5ece9c0540cff9b5c06fcf185bc64d
63 lines
1.4 KiB
Plaintext
63 lines
1.4 KiB
Plaintext
.vector-pinnable-header {
|
|
.vector-feature-page-tools-enabled & {
|
|
.mixin-vector-dropdown-menu-item();
|
|
// Override display: flex applied by .mixin-vector-dropdown-menu-item()
|
|
display: block;
|
|
}
|
|
}
|
|
|
|
.vector-pinnable-header[ hidden ] {
|
|
display: none;
|
|
}
|
|
|
|
.vector-page-tools,
|
|
.vector-toc {
|
|
.vector-feature-page-tools-enabled .vector-pinned-container & .vector-pinnable-header {
|
|
// Match styles with tabs in page toolbar to ensure TOC and Page Tools pinnable headers
|
|
// align with page toolbar border
|
|
padding: @padding-vertical-tabs;
|
|
margin-bottom: -1px;
|
|
}
|
|
}
|
|
|
|
.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;
|
|
}
|
|
}
|
|
|
|
.client-js {
|
|
// Pinnable behavior is only enabled when JS is on
|
|
.vector-pinnable-header-unpinned .vector-pinnable-header-pin-button,
|
|
.vector-pinnable-header-pinned .vector-pinnable-header-unpin-button {
|
|
display: inline-block;
|
|
}
|
|
}
|