MediaWiki:Common.css: Unterschied zwischen den Versionen

Aus crazylinux.de
Zur Navigation springen Zur Suche springen
K (ff)
K (toc)
Zeile 3: Zeile 3:
   
   
div.mw-highlight {
div.mw-highlight {
}
}
   
   
Zeile 18: Zeile 15:
line-height: 1.1em;
line-height: 1.1em;
border-radius: 6px 6px 6px 6px;
border-radius: 6px 6px 6px 6px;
}
#toc {
  display:block;
}
}

Version vom 18. November 2017, 02:55 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 }