2022-10-19 20:43:40 +00:00
|
|
|
.vector-pinnable-header {
|
2022-12-19 16:27:54 +00:00
|
|
|
.vector-feature-page-tools-enabled & {
|
|
|
|
.mixin-vector-dropdown-menu-item();
|
|
|
|
// Override display: flex applied by .mixin-vector-dropdown-menu-item()
|
|
|
|
display: block;
|
|
|
|
}
|
2022-10-19 20:43:40 +00:00
|
|
|
}
|
|
|
|
|
2022-12-20 22:58:44 +00:00
|
|
|
// FIXME: Remove .sidebar-toc after I5b9228380f5c4674ef424d33127a5cb4010822da is in prod for 5 days
|
2022-12-19 16:27:54 +00:00
|
|
|
.vector-page-tools,
|
2022-12-20 22:58:44 +00:00
|
|
|
.sidebar-toc,
|
|
|
|
.vector-toc {
|
2022-12-22 23:10:29 +00:00
|
|
|
.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;
|
2022-12-19 16:27:54 +00:00
|
|
|
}
|
2022-10-19 20:43:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
.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;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2022-11-21 20:46:04 +00:00
|
|
|
.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;
|
|
|
|
}
|
2022-10-19 20:43:40 +00:00
|
|
|
}
|