MediaWiki:Common.css: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
(highlighting) |
K (err) |
||
(10 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
/ | /* CSS in dieser MediaWiki-Systemnachricht wird auf die GeSHi-Syntaxhervorhebung angewendet */ | ||
/* | /* Reinstating borders */ | ||
. | div.mw-highlight { | ||
} | |||
/* 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-highlight div,pre { | ||
. | 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; | |||
} | |||
#toc { | |||
display:block; | |||
} | } | ||
/* to see the category links at the bottom of the page */ | |||
#catlinks {display:block; border-radius: 6px;} | |||
} |
Aktuelle Version vom 14. Dezember 2017, 23:58 Uhr
1 /* CSS in dieser MediaWiki-Systemnachricht wird auf die GeSHi-Syntaxhervorhebung angewendet */
2 /* Reinstating borders */
3
4 div.mw-highlight {
5 }
6
7 /* Fix so <source> tags, and .css and .js pages, get normal text size
8 also in some versions of Firefox, Safari, Konqueror, Chrome etc. */
9 div.mw-highlight div,pre {
10 font-family: monospace, "Courier New" !important;
11 padding: 5px;
12 border: 1px dashed #2f6fab;
13 color: black;
14 background-color: #f9f9f9;
15 line-height: 1.1em;
16 border-radius: 6px 6px 6px 6px;
17 }
18
19
20 #toc {
21 display:block;
22 }
23
24 /* to see the category links at the bottom of the page */
25 #catlinks {display:block; border-radius: 6px;}