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