2019-08-08 20:01:03 +00:00
|
|
|
@import '../../minerva.less/minerva.variables.less';
|
2022-05-16 16:55:54 +00:00
|
|
|
@import 'mediawiki.mixins.less';
|
2019-08-01 20:35:10 +00:00
|
|
|
|
2019-11-26 05:02:40 +00:00
|
|
|
// stylelint-disable no-descending-specificity, selector-max-id
|
2019-08-01 20:35:10 +00:00
|
|
|
|
|
|
|
@menuLinkLineHeight: 24px;
|
|
|
|
|
|
|
|
// .menu
|
|
|
|
#mw-mf-page-left {
|
|
|
|
ul {
|
|
|
|
&:first-child {
|
|
|
|
li:first-child {
|
|
|
|
border-top: 0;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
li {
|
2020-06-12 04:23:50 +00:00
|
|
|
background-color: @background-color-base;
|
2019-08-01 20:35:10 +00:00
|
|
|
position: relative; // ensure the logout link in beta can be position absolute
|
2023-04-09 13:49:29 +00:00
|
|
|
border-top: @border-width-base @border-style-base #eaecf0;
|
2019-08-01 20:35:10 +00:00
|
|
|
// offset the border for the icon by 1px
|
2023-04-09 13:49:29 +00:00
|
|
|
margin-top: -@border-width-base;
|
2019-08-01 20:35:10 +00:00
|
|
|
|
|
|
|
&:first-child {
|
|
|
|
border-top: 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
a {
|
2023-04-09 13:49:29 +00:00
|
|
|
color: @color-subtle;
|
2021-08-11 00:13:09 +00:00
|
|
|
// Overrides .mw-ui-icon `display: inline-block` so that the text is
|
|
|
|
// vertically centered. It also avoids whitespace issues.
|
|
|
|
display: flex;
|
|
|
|
align-items: center;
|
|
|
|
// Overrides .mw-ui-icon `line-height: 0` property so that the text is
|
|
|
|
// visible.
|
|
|
|
line-height: inherit;
|
2019-08-05 20:41:12 +00:00
|
|
|
max-width: 100%;
|
2019-08-30 17:23:55 +00:00
|
|
|
padding: @menuLinkLineHeight / 2 10px @menuLinkLineHeight / 2 15px;
|
2019-08-01 20:35:10 +00:00
|
|
|
|
|
|
|
&:hover {
|
2023-04-09 13:49:29 +00:00
|
|
|
box-shadow: inset 4px 0 0 0 @box-shadow-color-progressive--focus;
|
2019-08-01 20:35:10 +00:00
|
|
|
text-decoration: none;
|
|
|
|
}
|
|
|
|
|
2019-08-30 17:23:55 +00:00
|
|
|
span {
|
2021-08-11 00:13:09 +00:00
|
|
|
// Overflow text is ellipsized in one line.
|
|
|
|
.text-overflow( @visible: false );
|
2019-08-30 17:23:55 +00:00
|
|
|
font-size: @font-size-minerva-small;
|
2019-08-01 20:35:10 +00:00
|
|
|
font-weight: bold;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2019-11-26 05:02:40 +00:00
|
|
|
// stylelint-enable no-descending-specificity, selector-max-id
|