mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite
synced 2024-11-24 15:04:02 +00:00
b5a41a62de
Should be a no-op. I checked CodeSearch for other usages but seems safe so far. Bug: T370875 Change-Id: I4969e93308735f06be3e344616341c1284157c19
39 lines
958 B
Plaintext
39 lines
958 B
Plaintext
/*!
|
|
* VisualEditor MediaWiki UserInterface MWReferenceSearchWidget styles.
|
|
*
|
|
* @copyright 2011-2018 VisualEditor Team's Cite sub-team and others; see AUTHORS.txt
|
|
* @license MIT
|
|
*/
|
|
|
|
@import 'mediawiki.skin.variables.less';
|
|
|
|
.ve-ui-mwReferenceSearchWidget {
|
|
// How the footnote marker appears in the text, e.g. [1]
|
|
&-footnote {
|
|
float: left;
|
|
margin-right: 0.75em;
|
|
}
|
|
|
|
// A reference's unique identifier as provided via the name="…" attribute
|
|
&-name {
|
|
opacity: @opacity-medium;
|
|
float: right;
|
|
margin-left: 0.75em;
|
|
margin-bottom: 0.05em;
|
|
// Limit overly long names and push them to the side
|
|
max-width: 40%;
|
|
text-align: right;
|
|
|
|
// Names like ":0" are less meaningful, still useful esp. when switching to wikitext
|
|
&-autogenerated {
|
|
opacity: @opacity-low;
|
|
}
|
|
}
|
|
|
|
// Preview the reference's content with less whitespace, relevant when it contains e.g. tables
|
|
.ve-ui-mwPreviewElement * {
|
|
margin-bottom: 0;
|
|
margin-top: 0;
|
|
}
|
|
}
|