div.header {
	border        : 1px solid #DCDCDC;
	border-bottom : 1px solid #c33; /*#FF9898;*/
	margin-top    : 1.5em;
	background    : #f2f2f0;
}

div.header table {
	border        : 0px none #fff;
}

div.header table td {
	color         : #333;
	padding       : 1px 0 1px 8px;
	border        : 0px none #fff;
	font-family   : Arial,Helvetica,sans-serif;
	font-size     : 1em;
}

div.header table td.textCol {
/*	border-left : 5px solid #8FC3E6; */
	font-weight   : bold;
	color         : #444;
}

div.pre {
	font-family   : "Courier New", Courier, monospace;
	margin        : 0;
	padding       : 1.5em .75em .5em .75em;
	color         : #666;
	font-size     : 1em;
	background    : #FCFCFa;
	color         : #333;
	border        : 1px solid #DFDFDF;
}


span.authorText {
	color           : #006;
	font-weight     : bold;
	background      : #fcfcfc;
}

a.glossery {
	font-weight     : bold;
	color           : #0033a8;
	background      : #f8f8ff;
	text-decoration : none;
	border-bottom   : 1px dotted #00a;
	cursor          : help;
}