/*@import "tkhome_print.css" print;*/
@import "publications.css";
@import "menu.css";
@import "verycompactlist.css";
@import "dateinfo.css";
@import "localmenu.css";

/* -------- General page formating ---------- */
/* header */
#title {
	top: 0px;
	text-align: center;
	overflow: hidden;
	height: 13.6ex;
	/* border: green dashed thin;*/
	padding-bottom: 0pt;
	/* width: 90%;*/
}

/* menu */
#menu {
	padding-top: 1em;
	padding-left: 0em;
	margin-left: 0em;
	text-align: center;	
	float: left;
	width: 9.9em;
	/*border: #C0C0C0 dashed thin;*/	
}

/* content */
#content {	
	/*border: green dashed 1pt;*/
	margin-left: 10em;
	text-align: justify;
	padding: 1em 1em; /* top/bottom left/right */	
}

/* footer */
#footer {
	/*border: blue dashed thin;*/
	text-align: center;	
	margin-left: 0pt;
	clear: both;
	float: none;
}

body, html{
	margin: 0em;
	padding: 0em;
	/*background-color: #F0F8FF; */
	background-color: #F5F5F5;
	/*color: #2F4F4F;*/
	color: #003333;
	font-size: 0.95em;
	font-family: Verdana, sans-serif;
}
/* ---------- control elements ------------------ */

.artistic{
	display: none;
}

/* ---------- header elements ------------------- */
img.logoLeft{
	border: 0pt;
	float: left;
	margin: 0.5em;
	z-index: 2;
}

img.logoRight{
	border: 0pt;
	float: right;
	margin: 0.5em;
	z-index: 2;
}

/* header */
h1.header {
	display: none;
	z-index: 1;
}

/* header */
h1.smallHeader {	
	color : #003366;
	text-align: center;	
	margin-top: 2ex;
	/*margin-bottom: 1em;
	padding-left: 2em;*/
	font-size: 1.6em;
}

/* ---------- menu elements ------------------- */

/* all imported */

/* ----------- content elements --------*/


span.announcement{
	font-size: 1.2em;
	padding-left: 2em;
	color: #006699;
}

p.announcement{
	font-size: 1.1em;
	padding-left: 3em;
	color: #003366;	
}

#content p.announcement a{
	color: #339999;	
}

#content p.announcement a:hover, a:active {
	color: #003333;	
}


span.subannouncement{
	font-size: 0.9em;
	padding-left: 1em;
}

.important{
	font-weight: 700
}

.new{
	font-weight: 900;
	color: #000099;	
}

.gallery{
	padding-left: 1.5em;
	padding-right: 1.5em;
	padding-top: 1.5ex;
	padding-bottom: 1.5ex;
	border: none;
}

.noBorder{
	border: none;
}

a.project {
	font-weight: 700
}

.section {
	font-size: 1.25em; 
	text-align: left;
	text-decoration: none;
	color: #003366;
	font-variant: small-caps;
	padding-top: 0.6em;
	padding-bottom: 0.4em;
	display: block;	
	page-break-before: auto;
	page-break-after: avoid;
}

.subsection {
	text-indent : 1em;
	font-size: 1em; 
	text-align: left;
	text-decoration: none;
	color: #003366;
	font-variant: small-caps;
	padding-top: 0.4em;
	padding-bottom: 0.3em;
	display: block;	
	page-break-before: auto;
	page-break-after: avoid;
}

#content img.right{
	border: none;
	padding: 0em 0em 0em 0em;
	margin: 0em 2.5em 0.5em 1.5em;
	float: right;
	/*vertical-align: middle;*/
	clear: none;
}

#content .text{
	padding-top: 0.5em;
	padding-bottom: 0em;
	text-indent : 1em;
	text-align: justify;	
	/*width: 90%;*/
}

#content .textRight{
	padding-top: 0.5em;
	padding-bottom: 0em;
	text-indent : 1em;
	text-align: right;	
	/*width: 90%;*/
}


#content ul{
	/*width: 90%;*/
	margin-left: 0em;
	padding-left: 1em;
	margin-right: 1em;
	list-style-position: inside;
}

#content ul li{
	padding-top: 0.2em;
	padding-bottom: 0.2em;

}

#content a{
	/*color: #000099;*/
	color: #2F4F4F;
	text-decoration: none;
}

#content a:hover, a:active{
	/*font-weight: bolder;*/
	/*text-decoration: underline;*/
	/*color: #0066ff;*/
	color: #000000;
	
}

span.CompanyName{
	font-style: italic;
}

#content a.toTop{
	display: block;
	font-size: 0.9em;
	text-align: right;
	text-decoration: none;
	color: #000033;
	width: 95%;	
	padding-top: 0.4em;
	padding-bottom: 1em;
	/*border: blue dashed 1pt;*/
}

#content  a.toTop:hover, a.toTop:active{
	font-weight: bolder;
	color: #000000;
}

span.exhibition{
	font-style: italic;
}

.emph{
	font-style: italic;
}

/* content changes to publications */
/*
#content ul.Publications a:hover, a:active{
	font-weight: normal;
	text-decoration: underline;
	color: #000066;
}*/


/* ----------- footer elements ---------*/
div.BottomContact {
	display: none;
}

/* -------------------------------------*/
/*             print                    */
/* -------------------------------------*/
@media print {

	#menu {
		display: none;
		/*border: solid red 2pt;*/
	}
	
	#title {
		height: 3.5ex;
		/*border: dotted green 1pt;*/
	}
	
	#content {
		/*border: dashed blue 2pt;*/
		margin-left: 0em;			
	}
	
	#footer {
		/*border: solid yellow 1pt;*/
	}
	
	h1.header {
		display: inline;
		text-align: center;		
		margin-bottom: 1em;
		font-size: 1.2em;
	}
	
	h1.smallHeader{
		display: inline;
		font-size: 1.2em;
		padding-left: 0.3em;
	}
	
	div.BottomContact {
		padding: 1em;
		display: block;		
		text-align: center;
		font-size: 1em;
		/* border: 1px #666666;
		border-style: inset; */		
	}
	
	img.logoRight, img.logoLeft{
		display: none;
	}
	
	p.localMenu{
		display: none;
	}
	
	#content a.toTop{
		display: none;
	}
	
	.bib, .pdf, .ps, .uppaal, .ppt, .html{
		display: none;
	}
}