Hinweis: Leere nach dem Veröffentlichen den Browser-Cache, um die Änderungen sehen zu können.

  • Firefox/Safari: Umschalttaste drücken und gleichzeitig Aktualisieren anklicken oder entweder Strg+F5 oder Strg+R (⌘+R auf dem Mac) drücken
  • Google Chrome: Umschalttaste+Strg+R (⌘+Umschalttaste+R auf dem Mac) drücken
  • Internet Explorer/Edge: Strg+F5 drücken oder Strg drücken und gleichzeitig Aktualisieren anklicken
  • Opera: Strg+F5
/*<pre><nowiki>*/
/* Logo abschalten */
#p-logo { display: none }
/* Navi nach oben */
#column-one { padding-top: 0; }
/* Ausschalten der andern Sprachen*/
/* #p-lang { display: none } */
#quickba { position:absolute; top:0px; z-index:10; width: 14em; display:none;}

#f-poweredbyico { display: none }
#f-copyrightico { display: none }
#hauptseite-willkommen { display: none }

@media screen {
body[class*="_Definition_"] #content,
body[class$="_Definition"] #content {
	background-color:lightsteelblue;
	padding-top:1.5em;
}
body[class*="_Definition_"] h1.firstHeading,
body[class$="_Definition"] h1.firstHeading {
	display:inline;
	margin:1em 0.5em 0 0.5em; padding:0.25em 0.5em 0.3em 0.5em;
	background-color:navy;
	color:white;
	border-bottom:1px solid navy;
}
body[class*="_Definition_"] #bodyContent,
body[class$="_Definition"] #bodyContent {
	margin-top:0.5em;
	border:1px solid navy;
}
body[class*="_Definition_"] #catlinks,
body[class$="_Definition"] #catlinks {
	background-color:transparent;
	border:none;
}
body[class*="_Definition_"] #bodyContent #Artikelinhalt,
body[class$="_Definition"] #bodyContent #Artikelinhalt {
	background-color:white;
	margin:0 1em 0 1em; padding:0.25em 0.5em 0.25em 0.5em; 
	border:1px solid orange;
	border-left:1em solid orange;
	border-right:1em solid orange;
	font-size:larger;
	line-height:200%;
}
body[class*="_Definition_"] #bodyContent #Artikelinhalt em,
body[class$="_Definition"] #bodyContent #Artikelinhalt em{
	margin:0;padding:0.25em;
	background-color:yellow;
}
}
/******************************************************/
/* CSS für Syntaxhighlighting                         */
/******************************************************/
span.ClassName  { color:navy; }
span.CommandBlock  { color:red; }
span.Comment  {color:seagreen; }
span.Control  {color:blue; }
span.FieldName  { color:navy; }
span.MethodName  { color:navy; }
span.Modifier { color:blue; }
span.Parameter  { color:brown; }
span.Parenthesis  { color:red; }
span.PrimitiveType { color:blue; }

/******************************************************/
/* Unterüberschriften grau gepunktet unterstreichen   */
/******************************************************/
h3, h4, h5, h6 { border-bottom: 1px dotted #aaa !important; }

/******************************************************/
/* Zeilennummerierung für span-Tags der Klasse "code" */
/******************************************************/
span.code {counter-increment: line-num}
pre {counter-reset: line-num}
span.code:before {content: counter(line-num, decimal-leading-zero) ": "}

/******************************************************/
/* Annotationen                                       */
/******************************************************/
.annotation { font-size:1.0em !important; }

/******************************************************/
/* Hover-Linkdarstellung                              */
/******************************************************/
a:hover { color: navy;  background-color: lightsteelblue !important; }


@media print {
h1.firstHeading { font-size:120%; text-align:center; line-height:120%;}
span.subpages { display:none; }
.printfooter,
.kursnavigation,
.f-list
{
    display: none;
}
.mw-headline a.external{display:none;}
#siteSub,
#contentSub,
#footer,
#catlinks
{
        display: none;
}
/* Ausgehend von einer Seiteneinstellung
   des Browsers von
     linker Rand: 0 cm
     rechter Rand: 0 cm
     oberer Rand: 1 cm
     unterer Rand: 1 cm
   wird der Druckbereich weiter definiert:
*/
body {
  font: 12pt/14.4pt serif; 
  margin:0 4cm 0 2.5cm;
  padding:0; padding-right:0.5cm;
  border-right:thin dotted black;
}
h2 {font: 120% bold;}
.definition {page-break-inside: avoid;}
.definition h2,
.factproof h2
 {font-weight:bold;background-color:black;color:white;}
.definition-content,
.fact-content
 {page-break-inside: avoid;border:thin solid silver;padding:0.25cm;}
}

/*</nowiki></pre>*/