mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi
synced 2024-11-28 00:01:10 +00:00
3abd668325
The CSS already has this modifier prefixed with -webkit-, -ms- and -moz-, some browsers now support this without any prefix (according to caniuse.com: Chrome 54+, Opera 41+). Change-Id: Icd67250c26bec61be0fb101f1db077ee13ccf6b7
64 lines
1.6 KiB
CSS
64 lines
1.6 KiB
CSS
.mw-highlight {
|
|
/* All supported programming languages are written left-to-right */
|
|
/* @noflip */
|
|
direction: ltr;
|
|
unicode-bidi: embed;
|
|
}
|
|
|
|
.mw-highlight pre {
|
|
/* Use a more commonly found tab size of 4 (e.g. as used in CodeEditor)
|
|
instead of the browser-default value of 8 */
|
|
-moz-tab-size: 4;
|
|
-o-tab-size: 4;
|
|
tab-size: 4;
|
|
}
|
|
|
|
/* Avoid displaying double borders for nested 'code' elements.
|
|
Before we started using the 'code' tag for inline code snippets,
|
|
<code><syntaxhighlight enclose=none ...>...</syntaxhighlight></code>
|
|
was a common pattern. Continue supporting it in existing content. */
|
|
code code.mw-highlight {
|
|
background-color: transparent;
|
|
border: 0;
|
|
padding: 0;
|
|
}
|
|
|
|
/* The nested pre already has a background. T126010 */
|
|
div.mw-hightlight {
|
|
background-color: inherit;
|
|
}
|
|
|
|
/*
|
|
* Don't show a red border around syntax errors. This behavior may be useful
|
|
* in code editors, but it is not useful in a wiki environment, especially
|
|
* given the longstanding habit of using an existing, mostly-compatible lexer
|
|
* to highlight a language for which no lexer exists.
|
|
*/
|
|
.mw-highlight .err {
|
|
border: 0;
|
|
}
|
|
|
|
/* Highlight background of whole lines, not just text in them */
|
|
.mw-highlight .hll {
|
|
display: block;
|
|
}
|
|
|
|
/* Make line numbers non copyable */
|
|
.mw-highlight .lineno {
|
|
-moz-user-select: none;
|
|
-webkit-user-select: none;
|
|
-ms-user-select: none;
|
|
user-select: none;
|
|
}
|
|
|
|
/* To interact better with the 'display: block' above, doesn't affect other uses */
|
|
/* @noflip */
|
|
.mw-highlight.mw-content-ltr .lineno {
|
|
float: left;
|
|
}
|
|
|
|
/* @noflip */
|
|
.mw-highlight.mw-content-rtl .lineno {
|
|
float: right;
|
|
}
|