MediaWiki:Common.css: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
(nix) |
K (ff) |
||
| Zeile 1: | Zeile 1: | ||
/* CSS in dieser MediaWiki-Systemnachricht wird auf die GeSHi-Syntaxhervorhebung angewendet */ | |||
/* Reinstating borders */ | |||
div.mw-geshi { | |||
padding: 5px; | |||
border: 1px dashed #2f6fab; | |||
color: black; | |||
background-color: #f9f9f9; | |||
line-height: 1.1em; | |||
border-radius: 6px 6px 6px 6px; | |||
} | |||
/* Fix so <source> tags, and .css and .js pages, get normal text size | |||
also in some versions of Firefox, Safari, Konqueror, Chrome etc. */ | |||
div.mw-geshi div,pre { | |||
font-family: monospace, "Courier New" !important; | |||
} | |||
Version vom 17. November 2017, 23:26 Uhr
1 /* CSS in dieser MediaWiki-Systemnachricht wird auf die GeSHi-Syntaxhervorhebung angewendet */
2 /* Reinstating borders */
3
4 div.mw-geshi {
5 padding: 5px;
6 border: 1px dashed #2f6fab;
7 color: black;
8 background-color: #f9f9f9;
9 line-height: 1.1em;
10 border-radius: 6px 6px 6px 6px;
11
12
13 }
14
15 /* Fix so <source> tags, and .css and .js pages, get normal text size
16 also in some versions of Firefox, Safari, Konqueror, Chrome etc. */
17 div.mw-geshi div,pre {
18 font-family: monospace, "Courier New" !important;
19 }