@CHARSET "ISO-8859-1";

/*
	Copyright 2009 Wormek
	Author: Dr. S.E. Schleutermann
	URL: www.wormek.com

	Color scheme.
	Base color hue = 225 (of 360 color wheel).
	
	We use the analogous scheme and the complimentary color.
	
	Primary colors with saturation=100% and brightness=40%
	
	main	rgb(0,24,103)	full blue
	below	rgb(0,76,103)	full blue-acqua tone
	above	rgb(26,0,103)	full blue-violet tone
	compl	rgb(103,78,0)	full ocre tone
	
	First level highlights at saturation=40% and brightness=60%
	main	rgb(91,105,153)
	below	rgb(91,136,153)
	above	rgb(107,91,153)
	compl	rgb(153,138,91)
	
	Backgrounds at various saturatinos and brightnesses
	
	background colors with Sat=10% Brightness=80% (too dark for background, hover ok)
	main	rgb(182,187,203)
	compl	rgb(203,198,182)
	
	background colors with Sat=5% Brightness =90% (too dark for background, hover ok)
	main	rgb(217,220,228)
	compl	rgb(228,225,217)
	
	These are good background colors:
	background colors with Sat=5% Brightness=100% (light)
	main	rgb(243,245,255)
	compl 	rgb(255,252,243)
	
	H1 = above (blue-violet)
	H2 = below (blue-acqua)
	H3 = main (full blue)
	
	menu in complimentary colors, selected menu with above highlight
	
	hyperlinks: link below, hover compl, visited main.
*/

/* Default font, font-size, background and foreground color */
body
{
	font-family: Arial, Helvetica, Verdana, sans-serif;
	font-size: 1em;
	background-color: rgb(255,252,243);
}

/* Default font, color, font-size for h1 to h6 */
h1 {font-size: 1.2em; color: rgb(26,0,103);}
h2 {font-size: 1.1em; color: rgb(0,76,103);}
h3 {font-size: 1em; color: rgb(0,24,103);}
h4 {font-size: 1em; color: #000000; }
h5 {font-size: 1em; color: #000000; }
h6 {font-size: 1em; color: #000000; }

/* Default font, color, font-size for hyperlinks on regular background */
a {font-weight: normal; font-style: normal; text-decoration: none; color: rgb(0,76,103);}
a:link {font-weight: normal; font-style: normal; text-decoration: none; color: rgb(0,76,103);}
a:visited {font-weight: normal; font-style: normal; text-decoration: none; color: rgb(0,24,103);}
a:hover {font-weight: normal; font-style: normal; text-decoration: none; color: rgb(103,78,0);}

/* structure of style classes:
	pagelayout
		header
			table with logo, headerAddress, headerTitle
		menu with ul, li, a for menu items
		content with text flow (h1, p, img, etc.)
		footer
*/

/* Wrapper with dimensions, margins, paddings, default text alignment */
/* width: 902px; */
#pagelayout
{
	width: 62em;
	margin-top: 0.1em;
	margin-right: auto;
	margin-bottom: 10px;
	margin-left: auto;
	padding-left: 1em;
	text-align: left;	
}

/* width: 882px; */
#header
{
	float: left;
	background-color: rgb(243,245,255);
	color: rgb(26,0,103);
	width: 60em;
	height: 8em;
	padding-top: 0.2em;
	padding-bottom: 0em;
	padding-left: 10px;
	padding-right: 10px;
	margin-left:0px;
	margin-right:0px;
	margin-top: 0px;
	margin-bottom: 0px;
}

#headerAddress
{
	font-size: 0.8em;
	font-weight: normal;
	white-space: nowrap;
	text-align:left;
}

#headerTitle
{
	font-size: 1.2em;
	font-weight: bold;
	white-space: nowrap;
	vertical-align:bottom;
}
#headerAddress td
{
	padding: 0.1em 2.5em 0em 0em;
}

/* menu bar floating on the left edge of the page */
/* margin left was 1em */
#menu
{
	float: left;
	list-style: none;
	margin-top: 1em;
	margin-bottom: 1em;
	margin-right: 1em;
}

#menu ul
{
	list-style: none;
	margin-top: 0px;
	margin-left: 0px;
	margin-bottom: 0px;
	margin-right: 0px;
	padding: 0px;
}

/* old border bottom = background */
/* border-bottom: 1px solid rgb(255,252,243); */
/* new border bottom = previous ul li a background */
#menu li
{
	text-align: left;
	padding-left: 0px;
	padding-top: 0px;
	padding-bottom: 0px;
	border-bottom: 1px solid rgb(153,138,91);
	margin-left: 0px;
}

/* old background = background-color:rgb(153,138,91); */
/* this is a light ocre tone useful for the background */
/* new background = regular background */
/* old color = rgb(255,252,243); = regular background */
/* new color = not set so use the existing link color */
#menu ul li a
{
	display: block;
	text-align: left;
	background-color:rgb(255,252,243);
	line-height: 1.1em;
	font-weight:normal;
	font-size: 0.9em;
	text-decoration:none;
	width:9em;
	margin-right:0px;
	padding-top:10px;
	padding-bottom:10px;
	padding-left: 10px;
}

/* old hover background = rgb(103,78,0) */
/* which is the dark ocre tone */
/* new hover background = lighter ocre tone = previous menu background */
/* hover ok: rgb(153,138,91);  together with background color for text: color:rgb(255,252,243);*/
#menu li a:hover
{
	background-color: rgb(228,225,217);
	text-decoration:none;
	background-image:  url();
	background-repeat:no-repeat;
	background-position:left center;
}


/* background-color:rgb(217,220,228); */
#menu ul li .selected
{
	color: rgb(26,0,103);
	background-color:rgb(243,245,255);
	background-repeat:no-repeat;
	background-position:left center;
	text-decoration:none;
}

#menu ul li a.selected:hover
{
	color: rgb(255,252,243);
	background-color:rgb(91,105,153);
	background-repeat:no-repeat;
	background-position:left center;
	text-decoration:none;
}



/* main content */
/* width: 700px; */
#content
{
	float: left;
	background-color: transparent;
	width: 55em;
	margin-top: 1em;
	margin-bottom: 1em;
	margin-left: 1em; 
	margin-right: 1em;
	font-size: 0.9em;
}

/* width: 650px; */
#content h1
{
	display:block;
	font-size: 1.3em;
	text-align: left;
	font-weight: bold;
	padding: 0px;
	margin-top: 16px;
	margin-bottom: 20px;
	
}

/* width: 630px; */
/* font-weight: bold; */
#content h2
{
	display: block;
	font-size: 1.2em;
	font-weight: normal;
	text-align: left;
	margin-top: 20px;
	margin-bottom: 0px;
	padding-left: 1em;
}

/* width: 630px; */
/* font-weight: bold; */
#content h3
{
	display: block;
	font-size: 1.1em;
	font-weight: normal;
	text-align: left;
	margin-top: 20px;
	margin-bottom: 0px;
	padding-left: 1em;
}

#content p
{
	font-size: 1em;
	text-align:justify;
	padding-left: 2em;
	margin-top: 5px;
	margin-bottom: 0px;
}

#content p a
{
	font-weight: bold;
}

#content ul
{
	padding-left: 2em;
	margin-left: 1em;
	margin-top: 5px;
	margin-bottom: 0px;
}

#content ul li
{
	font-size: 0.8em;
}

#content ul li a
{
	font-weight: bold;
}

#prodtable
{
	font-size: 0.8em;
	margin-left: 2em;
	width: 45em;
}

#prodtable tr
{
	vertical-align: top;
}
#prodtable tr td
{
	padding-top: 0.5em;
}

#prodtable tr td a
{
	font-weight: bold;;
}

#prodref
{
	width: 9em;
}


.floatimgleft 
{
	float:left;
	margin-right:10px;
	margin-top:7px;
	margin-bottom:5px;
	margin-left:0px;
	text-align:center;
	font-weight:bold;
	font-style:normal;
}

.floatimgright
{
	float:right;
	margin-right:10px;
	margin-top:7px;
	margin-bottom:5px;
	margin-left:1em;
	text-align:center;
	font-weight:bold;
	font-style:normal;
	clear: both;
}

/* width: 200px; */
.floatboxright
{
	float:right;
	width: 18em;
	margin-right: 10px;
	margin-left:15px;
	margin-top:7px;
	margin-bottom:5px;
	padding-left: 5px;
	padding-right: 15px;
	padding-bottom: 10px;
	font-size: 0.8em;
	border: 2px solid rgb(0,24,103);
}

.subscript
{
font-size:xx-small; 
vertical-align:bottom;
font-style:normal;
padding-left: 10px;
}


#reftable
{
	margin-top: 1em; 
	margin-left: 1em;
	margin-bottom: 2em;
}


#reftable tbody tr
{
	vertical-align: top;
	padding: 2px;
	margin-bottom: 20px;
	padding-top: 15px;
}

#publist li
{
	margin-bottom: 5px;
	text-align: justify;
}



#footer
{
	float: left;
	background-color: rgb(243,245,255);
	width: 60em;
	text-align: center;
	clear: both;
	color: rgb(26,0,103);
	padding-top: 2px;
	padding-bottom: 2px;
	padding-left: 10px;
	padding-right: 10px;
	margin-left:auto;
	margin-right:auto;
	margin-top: 0px;
	margin-bottom: 0px;
}

#footer p
{
	font-size: 0.7em;
}

/* TODO: footer has a different background so we use a different color for the hover */