mirror of
https://gerrit.wikimedia.org/r/mediawiki/skins/Vector.git
synced 2024-12-03 03:37:24 +00:00
3aaf8666cd
This removes CSS selectors associated with the Page tools feature flag, i.e. `vector-feature-page-tools-disabled` as well as `vector-feature-page-tools-enabled` by removing the 'disabled' styles and integrating the 'enabled' styles into the default page tools code. Bug: T332090 Change-Id: I382e12ca7ce741a3071582ffa84da03c2ba9e343
51 lines
1.2 KiB
Plaintext
51 lines
1.2 KiB
Plaintext
@import '../../common/variables.less';
|
|
@import 'mediawiki.mixins.less';
|
|
|
|
.vector-legacy-sidebar .vector-menu-portal {
|
|
margin: 0 @margin-end-portal 0 @margin-start-portal;
|
|
padding: 0.25em 0;
|
|
direction: ltr;
|
|
|
|
.vector-menu-heading {
|
|
display: block;
|
|
color: @color-base--subtle;
|
|
margin: 0.5em 0 0 ( @margin-start-nav-main-body / @font-size-nav-main-heading );
|
|
border: 0;
|
|
padding: 0.25em 0;
|
|
font-size: @font-size-nav-main-heading;
|
|
font-weight: normal;
|
|
cursor: default;
|
|
background-image: linear-gradient( to right, @border-color-portal-heading-transparent 0, @border-color-portal-heading 33%, @border-color-portal-heading 66%, @border-color-portal-heading-transparent 100% ); // Standard (Firefox 16+, IE 10+, Safari 6.1+, Chrome 26+)
|
|
background-position: center bottom;
|
|
background-repeat: no-repeat;
|
|
background-size: 100% @border-width-base;
|
|
}
|
|
|
|
.vector-menu-content {
|
|
margin-left: @margin-start-portal-body;
|
|
padding-top: 0;
|
|
|
|
ul {
|
|
list-style: none;
|
|
margin: 0;
|
|
padding-top: 0.3em;
|
|
}
|
|
|
|
li {
|
|
margin: 0;
|
|
padding: 0.25em 0;
|
|
font-size: @font-size-nav-main-body;
|
|
line-height: @line-height-nav;
|
|
word-wrap: break-word;
|
|
|
|
a {
|
|
color: @color-link;
|
|
|
|
&:visited {
|
|
color: @color-link--visited;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
}
|