2017-07-12 15:12:40 +00:00
|
|
|
@import 'mediawiki.mixins.less';
|
2018-05-19 18:17:31 +00:00
|
|
|
@import '../../minerva.less/minerva.variables';
|
|
|
|
@import '../../minerva.less/minerva.mixins';
|
2017-07-12 15:12:40 +00:00
|
|
|
|
2018-03-26 17:41:36 +00:00
|
|
|
/**
|
2018-03-28 17:39:58 +00:00
|
|
|
* Note that certain links may not have an href selector.
|
|
|
|
* It is particularly important on wikis for example inside navbox's that these
|
2018-03-26 17:41:36 +00:00
|
|
|
* links can be differentiated from other links. Thus we only apply the linkColor to links with href
|
|
|
|
* attributes.
|
|
|
|
*/
|
2018-03-29 18:43:55 +00:00
|
|
|
/* stylelint-disable no-descending-specificity */
|
2018-09-11 13:13:41 +00:00
|
|
|
a:not( [ href ] ) {
|
2018-03-29 18:43:55 +00:00
|
|
|
color: @colorGray2;
|
2018-12-17 22:20:25 +00:00
|
|
|
|
|
|
|
/* The anchor is functionally a link so show a hand cursor. */
|
|
|
|
cursor: pointer;
|
2018-03-26 17:41:36 +00:00
|
|
|
}
|
|
|
|
|
2017-07-12 15:12:40 +00:00
|
|
|
a {
|
|
|
|
text-decoration: none;
|
2018-03-29 18:43:55 +00:00
|
|
|
color: @linkColor;
|
2017-07-12 15:12:40 +00:00
|
|
|
|
|
|
|
&:visited {
|
2019-01-14 00:43:46 +00:00
|
|
|
color: #6b4ba1;
|
2017-07-12 15:12:40 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
&:active {
|
|
|
|
color: #faa700;
|
|
|
|
}
|
|
|
|
|
|
|
|
&:hover {
|
|
|
|
text-decoration: underline;
|
|
|
|
}
|
|
|
|
|
|
|
|
&.new,
|
|
|
|
&.new:visited,
|
|
|
|
&.new:hover {
|
|
|
|
color: @redLinkColor;
|
|
|
|
// Take care of headings in page lists.
|
|
|
|
> * {
|
|
|
|
color: @redLinkColor;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
&.external {
|
2018-06-14 16:51:50 +00:00
|
|
|
// background-image is specified by ResourceLoader.
|
2018-06-21 18:18:20 +00:00
|
|
|
// Force the image size to be 10px.
|
2019-04-03 02:16:46 +00:00
|
|
|
background-size: 10px;
|
2017-07-12 15:12:40 +00:00
|
|
|
background-repeat: no-repeat;
|
|
|
|
background-position: center right;
|
|
|
|
padding-right: 13px;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Generic class name needed
|
2017-12-13 00:48:04 +00:00
|
|
|
.return-link {
|
2017-07-12 15:12:40 +00:00
|
|
|
display: block;
|
2019-07-31 17:59:52 +00:00
|
|
|
font-size: @font-size-minerva-small;
|
2017-07-12 15:12:40 +00:00
|
|
|
margin-top: 1.5em;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Plainlinks - this can be used to switch
|
|
|
|
* off special external link styling */
|
|
|
|
.plainlinks a {
|
|
|
|
background: none !important;
|
|
|
|
padding: 0 !important;
|
|
|
|
}
|