/* neu, rpe 2003-06-02 */
h1, h2, h3, h4, p, ul, li, td { }
span.kwic { font-family: "Courier", monospace; }
span.tiny { font-size: 8pt; margin-top: 0.0pt; margin-bottom: 0.0pt; }
dl.KLfooter { line-height: 1.5em; margin: 0 0 1em 0; }
dt.KLfooter { font-style: italic; margin: 0 0 0 0; } /* LTR */
dd.KLfooter { margin: 0 0 0 1em; } /* LTR */
div.faq { font-style: italic; font-weight: bold; font-size: 14pt; }
div.hint { }
caption.corpname { text-align: left; }
p.back { text-align: right; }
p.li-marg { margin-top: 12pt; margin-bottom: 6pt; }
p.lit { text-indent: -1cm; margin-left: 1cm; margin-top: 0; margin-bottom: 6pt; }
.Dank { font-size: 10pt; }


/* added: Keibel 2010-02-15 */
ul { margin: 0 0 0 1em; }
a:visited  { color: #D28700; }

hr.KLfooter {
	color: #fff;
	background:transparent;
	margin: 0 0 0.5em 0;
	padding: 0 0 0.5em 0;
	border:0;
	border-bottom: 2px #eee solid;
}


dl.KL-ehem { line-height: 1.5em; margin: 0 0 1em 0; }
dt.KL-ehem { font-weight: normal; }
dd.KL-ehem { margin: 0 0 0.7em 1em; }


a.derekoURL, span.derekoURL {
	font-family: monospace;
	font-size: 8pt;
	white-space: nowrap;
}


/* style classes for DeReKo Bibliography  */
h4.dereko-bib { margin-top:18pt; }
p.dereko-bib { margin-left:40pt; text-indent:-40pt; }



/* commented: Keibel 2010-02-15 (unwanted interaction with new global stylesheets) */

/* body { font-family: "MS Verdana", "Helvetica", "MS Arial", sans-serif; }  */



/* aus alter Kollokationsanfragemaske */
/*
:link  { font-family:Helvetica,Arial,Times; color:#000000; text-decoration:none; }
:visited  { font-family:Helvetica,Arial,Times; color:#000000; text-decoration:none; }
:active  { font-family:Helvetica,Arial,Times; color:#000000; text-decoration:none; }
#runTimeInfoElementId:hover  { font-family:Helvetica,Arial,Times; font-weight:bold; color:#000000; text-decoration:none; }
#runTimeInfoElementId:focus  { font-family:Helvetica,Arial,Times; font-weight:bold; color:#000000; text-decoration:none; }
*/

/* changing the IDS default link colors # belica 20060420 */
/*
#content a         { color: #3333FF; }
#content a:visited { color: #D28700; }
#content a:hover   { color: #7777FF; }
*/