/* Stand: 09.06.12 Francois Prick van Wely*/

BODY { font-family:Verdana, Arial, Helvetica, sans-serif;color: #000000;}
A:link {color: blue;}
a:visited { color:#800080; }
a:active { color:#008000; }
TD {font-family:Verdana, Arial, Helvetica, sans-serif;  font-size:10pt; color: #000000; }

div.sc {font-variant: small-caps;}
h2 img {vertical-align:middle;}
h3.Titel { background-color:#00ff00;}
H2 {border: solid 1px black; border-left: 3px solid black; background-color: #C0C0C0;}
H4 {margin-left: 0em; margin-right: 5em; font-variant: small-caps; margin-bottom: 0.5em;}
A:hover {font-weight: bold}

@media Screen    
{
DIV#mw-js-message {
	BORDER-BOTTOM: #ddd 1px solid; BORDER-LEFT: #ddd 1px solid; PADDING-BOTTOM: 0.5em; BACKGROUND-COLOR: #fcfcfc; MARGIN: 1em 5%; PADDING-LEFT: 2.5%; PADDING-RIGHT: 2.5%; BORDER-TOP: #ddd 1px solid; BORDER-RIGHT: #ddd 1px solid; PADDING-TOP: 0.5em
}
.mw-body A.extiw {
	COLOR: #36b
}
.mw-body A.extiw:active {
	COLOR: #36b
}
.mw-body A.extiw:visited {
	COLOR: #636
}
.mw-body A.extiw:active {
	COLOR: #b63
}
.mw-body A.external {
	COLOR: #36b
}
.mw-body A.external:visited {
	COLOR: #636
}
.mw-body A.external:active {
	COLOR: #b63
}
#siteNotice {
	POSITION: relative; TEXT-ALIGN: center; MARGIN: 0px
}
DIV#content {
	BACKGROUND-IMAGE: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAIAAACQd1PeAAAAGXRFWHRTb2Z0d2FyZQBBZG9iZSBJbWFnZVJlYWR5ccllPAAAABhJREFUeF4FwTEBAAAAgjD7FzESWfjYdgwEoAJ4lTsaxgAAAABJRU5ErkJggg==); PADDING-BOTTOM: 1em; BACKGROUND-COLOR: white; PADDING-LEFT: 1em; PADDING-RIGHT: 1em; BACKGROUND-REPEAT: repeat-y; DIRECTION: ltr; BACKGROUND-POSITION: left top; COLOR: black; MARGIN-LEFT: 10em; PADDING-TOP: 1em
}
UL {
	LIST-STYLE-IMAGE: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAUAAAANCAMAAABW4lS6AAAAGXRFWHRTb2Z0d2FyZQBBZG9iZSBJbWFnZVJlYWR5ccllPAAAAAZQTFRFAFKM////QIUK9QAAAAJ0Uk5T/wDltzBKAAAAGklEQVR42mJgBAEGokgGBjBGBxBxsBqAAAMACHwALd5r8ygAAAAASUVORK5CYII=)
}
PRE {
	LINE-HEIGHT: 1.3em
}
#siteNotice {
	FONT-SIZE: 0.8em
}
DIV#mw-panel {
	POSITION: absolute; WIDTH: 10em; TOP: 160px; PADDING-TOP: 1em; LEFT: 0px
}
DIV#mw-panel DIV.portal {
	PADDING-BOTTOM: 1.5em; DIRECTION: ltr
}
DIV#mw-panel DIV.portal H5 {
	BORDER-BOTTOM: medium none; BORDER-LEFT: medium none; PADDING-BOTTOM: 0.25em; PADDING-LEFT: 1.75em; PADDING-RIGHT: 0.25em; COLOR: #444444; FONT-SIZE: 0.75em; BORDER-TOP: medium none; CURSOR: default; FONT-WEIGHT: normal; BORDER-RIGHT: medium none; PADDING-TOP: 0px
}
DIV#mw-panel DIV.portal DIV.body {
	BACKGROUND-IMAGE: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAIwAAAABCAAAAAAphRnkAAAAGXRFWHRTb2Z0d2FyZQBBZG9iZSBJbWFnZVJlYWR5ccllPAAAAClJREFUeF61yMEJACAQxMCN/Xfr/yIsaAfOJxC2UTPWS6f5gABhUTedBz7fGPSonIP/AAAAAElFTkSuQmCC); MARGIN: 0px 0px 0px 1.25em; BACKGROUND-REPEAT: no-repeat; BACKGROUND-POSITION: left top; PADDING-TOP: 0.5em
}
DIV#mw-panel DIV.portal DIV.body  UL {
	PADDING-BOTTOM: 0px; LIST-STYLE-TYPE: none; text-decoration:none; MARGIN: 0px; PADDING-LEFT: 0px; PADDING-RIGHT: 0px; LIST-STYLE-IMAGE: none; PADDING-TOP: 0px
}
DIV#mw-panel DIV.portal DIV.body UL LI {
	PADDING-BOTTOM: 0.5em; LINE-HEIGHT: 1.12em; text-decoration:none; MARGIN: 0px; PADDING-LEFT: 0px; PADDING-RIGHT: 0px; FONT-SIZE: 0.75em; OVERFLOW: hidden; PADDING-TOP: 0px
}
DIV#mw-panel DIV.portal DIV.body UL LI A {
	COLOR: #0645ad; text-decoration:none
}
DIV#mw-panel DIV.portal DIV.body UL LI A:visited { text-decoration:none;
	COLOR: #0b0080
}
DIV.thumb {
	BORDER-BOTTOM-STYLE: solid; BORDER-BOTTOM-COLOR: white; BORDER-RIGHT-STYLE: solid; BORDER-TOP-COLOR: white; WIDTH: auto; BORDER-TOP-STYLE: solid; MARGIN-BOTTOM: 0.5em; BORDER-RIGHT-COLOR: white; BORDER-LEFT-STYLE: solid; BORDER-LEFT-COLOR: white
}
DIV.thumbinner {
	BORDER-BOTTOM: #ccc 1px solid; TEXT-ALIGN: center; BORDER-LEFT: #ccc 1px solid; PADDING-BOTTOM: 3px !important; BACKGROUND-COLOR: #f9f9f9; PADDING-LEFT: 3px !important; PADDING-RIGHT: 3px !important; FONT-SIZE: 94%; OVERFLOW: hidden; BORDER-TOP: #ccc 1px solid; BORDER-RIGHT: #ccc 1px solid; PADDING-TOP: 3px !important
}
HTML .thumbimage {
	BORDER-BOTTOM: #ccc 1px solid; BORDER-LEFT: #ccc 1px solid; BORDER-TOP: #ccc 1px solid; BORDER-RIGHT: #ccc 1px solid
}
HTML .thumbcaption {
	BORDER-BOTTOM-STYLE: none; TEXT-ALIGN: left; PADDING-BOTTOM: 3px !important; LINE-HEIGHT: 1.4em; BORDER-RIGHT-STYLE: none; PADDING-LEFT: 3px !important; PADDING-RIGHT: 3px !important; BORDER-TOP-STYLE: none; FONT-SIZE: 94%; BORDER-LEFT-STYLE: none; PADDING-TOP: 3px !important
}
DIV.magnify {
	BORDER-BOTTOM-STYLE: none !important; BORDER-RIGHT-STYLE: none !important; BORDER-TOP-STYLE: none !important; BACKGROUND: none transparent scroll repeat 0% 0%; FLOAT: right; BORDER-LEFT-STYLE: none !important
}
DIV.magnify A {
	BORDER-BOTTOM-STYLE: none !important; BORDER-RIGHT-STYLE: none !important; DISPLAY: block; BORDER-TOP-STYLE: none !important; BACKGROUND: none transparent scroll repeat 0% 0%; BORDER-LEFT-STYLE: none !important
}
DIV.magnify IMG {
	BORDER-BOTTOM-STYLE: none !important; BORDER-RIGHT-STYLE: none !important; DISPLAY: block; BORDER-TOP-STYLE: none !important; BACKGROUND: none transparent scroll repeat 0% 0%; BORDER-LEFT-STYLE: none !important
}
DIV.tright {
	BORDER-RIGHT-WIDTH: 0px; FLOAT: right; BORDER-TOP-WIDTH: 0.5em; BORDER-BOTTOM-WIDTH: 0.8em; CLEAR: right; BORDER-LEFT-WIDTH: 1.4em
}
DIV.tleft {
	BORDER-RIGHT-WIDTH: 1.4em; FLOAT: left; BORDER-TOP-WIDTH: 0.5em; BORDER-BOTTOM-WIDTH: 0.8em; CLEAR: left; BORDER-LEFT-WIDTH: 0px; MARGIN-RIGHT: 0.5em
}

}

div.prologue { font-style:Times 20px ;text-align:right;font-size:small;}
div.wichtig { border: solid black; padding: 0.5em;margin-bottom: 0.2em; background-color: #9f9; }
div.author { border: double silver;padding: 0.1em; font-size: 90%;background-color: white}
div.Fussnote {font-size: 80%;}
div.Seitenzahl {text-align:right}
div.txbl {font-style: Arial; font-size: 1;}

.These {background-color: #99CCff;}
.betone {background-color: #C0C0C0;}
.Formel {background-color: #00ff00;}
.gelb {background-color: #ff9 }
.grau {background-color: lightgrey }
.assertion h3 { }

ul {list-style-type: none;}
 .Kommentar { text-align:left; font-size: smaller;background-color: #FFFF00; }
ol.appendix li {list-style-type: upper-alpha;}
a img {border:none}
 extra style rule for numbering and counting assertions in a section.
border: double #555; = silbrig doppelt
div.assertion { margin-left:4em; display:list-item; list-style-type:decimal }
 */