/* CSS Document */

body {
	font-family:Verdana, Arial, Helvetica, sans-serif;
	color: #000000;
	background-color: #ffffff;
	margin: 0px;
}

img {
	border: 0px;
	margin: 0px;
}


#container
{
/*	width: 800px; */
/*	min-width: 800px: */ /* resize to smaller won't harm, but head will stop, too */
/*	max-width: 800px; */
	border: 0px solid #999999;
}

#top {
	display: block;
	height: 100px;
	width: 100%;
	padding: 0px;
	margin: 0px;
	background-color: #ffce8a;
/*	z-index: 3; */
}

#menu {
	display: block; 
	/* need the following two and #top{height:100} to get it right on ie6 */
	position: relative;
	top: -15px;
	min-width: 800px;
/*	width: 800px; */
	width: 100%;
	margin: 0;
 	background-image:  url(../images/menu.gif);
	background-repeat: no-repeat;
	background-color: #8BA9C3;
	/* according to standard this would be the MIN line 
	height of contained line level elements (but isn't) */
	line-height: 19px; 
/*	vertical-align: middle;*/
	font-size: 90%;
	font-weight: bold;
	z-index: 2;
}

#shift_menu_right {
	display: block;
	/*margin-left: 183px;*/
	margin-left: 18px;
	/* otherwise ie5 will go bust on div.min-height */
	width: 620px;
}




/* put pseudo classes of named classes here here 
so they won't get overridden by the general style on 
pseudo-classes of a */
/* we shouldn't really use block level elements here, BUT:
line-height implementations are really buggy in most browsers 
and therefore using inline level links won't give the 
desired results */
#menu a, #menu a:link, #menu a:hover {
	float: left; /* positioning bug */
	margin: 0;
	padding-left: 11px; 
	padding-right: 11px; 
	padding-top: 0.15em;
	padding-bottom: 0.15em;
	min-height: 17px;
	color: #ffffff;
	text-decoration: none;
	background-color: #8BA9C3;
/*	z-index: 1; */
}

#menu a:hover {
	background-color: #024E8E;
}

/*these don't inherit from "#menu a" */
#menu a.here, #menu div.here {
	float: left;
	margin: 0;
	padding-left: 11px; 
	padding-right: 11px;
	padding-top: 0.15em;
	padding-bottom: 0.15em;
	min-height: 17px;
	text-decoration: none;
	background-color: #8BA9C3;
	color: #024E8E; 
}

#menu a.here:hover {
	color: #ffffff;
	background-color: #024E8E;	
}


/* trick to make the menu background resize like the 
contained block-level elements that don't change its height
being floats and therefore outside of the normal flow */
/* this one needs content, 'cos it ain't got a fixed or 
intrinsic height */
div.menu {
/*	width: 1px; */
	padding-top: 0.15em;
	padding-bottom: 0.15em;
	min-height: 17px;
}

/* "position:absolute|relative" fucks up on ie5 */
/*
#menu .min-height {
	position: absolute; 
	position: relative;
	top: 0px;
	right: 0px;
	width: 1px;
	padding-top: 2px;
	padding-bottom: 2px;
}
*/

#three_cols {
/*	position: absolute; */
/*	top: 120px; */
/*	left: 0px; */
	position:relative;
	top: 32px;
/*	min-width: 800px; */ /* fixed layout */
	width: 800px;
	display: block;
	height: 100%;
/*	margin-top: 90px; */
	z-index: 2;
}

/* IE fix */
#three_cols[id] {
	min-width: 640px;
	max-width: 800px; 
	width: auto;
}

#leftnav {
	top: 0px;
	left: 0px;
	float: left;
	height: 700px; 
	margin: 0;
	margin-right: 15px; 
	margin-bottom: 15px;
	padding: 0px;
	white-space: nowrap;
	width: 35ex;
}

#leftnav .nav {
	font-weight:bold;
	font-size: 100%;

}		

#leftnav .subnav {
       text-indent: 8ex;
	font-size: 90%;
}		


div.NavHeader {
	display: block;
	line-height: 20px;
	padding-left: 20px; 
	padding-right: 20px;
	padding-top: 0.15em;
	padding-bottom: 0.15em;
	/*font-size: 11pt;
	font-size: 120%;*/
	font-weight: bold;
	color: #FFFFFF;
	background-image: url(../images/right_corner.gif);
	background-position: right top; 
	background-repeat: no-repeat;
	background-color: #034e8f; 
}

div.NavContent {
	text-indent: 20pt; 
	background-color: #E6E6E6;
	height: 800px;
}

#leftnav div.here {
	font-weight:bold;
	display: block;
	padding-right: 20px;
	line-height: 25px;
/*	font-size: 11px; */
	font-size: 100%;
/*	color: #000000; */
/*	color: #8BA9C3; */
	color: #808080;
	text-decoration: none;
}

#leftnav div.subhere {
       text-indent: 8ex;
	display: block;
	padding-right: 20px;
	line-height: 25px;
/*	font-size: 11px; */
	font-size: 90%;
/*	color: #000000; */
/*	color: #8BA9C3; */
	color: #808080;
	text-decoration: none;
}

#leftnav a {
	display: block;
	padding-right: 20px;
	line-height: 25px;
	font-size: 11px; 
	font-size: 100%;
	color: #000000;
	text-decoration: none;
}

#leftnav a:hover {
	background-color: #8BA9C3;
}


#rightnav a {
	display: block;
	padding-right: 20px;
	line-height: 25px;
/*	font-size: 11px; */
	font-size: 120%;
/*	color: #000000;
	text-decoration: none;*/
}



#rightnav {
	margin: 0;
	margin-top: 5px;
	margin-left: 15px;
	margin-bottom: 15px;
	padding-right: 20px;
/*	background-color: #E6E6E6; *//*test only*/
}

#rightnav .nav {
	/*font-weight:bold;*/
}		

div.tHeader {
	margin: 0;
	padding-left: 20px;
	padding-top: .15em;
	padding-bottom: .15em;
	line-height: 20px;
	font-size: 11pt;
	font-size: 110%;
	font-weight: bold;
	color: #FFFFFF;
/*	background-image: url(../images/head_teaser.jpg);*/
	background-image: url(../images/left_corner.gif);
	background-position: top left;
	background-repeat: no-repeat;
	background-color: #034e8f; 
}

div.tContent {
	margin: 0px;
	padding-left: 20px;
	padding-right: 15px;
	padding-top: 10px;
	background-color: #A8BFD2;
	padding-bottom: 15px;
/*	min-height: 140px;*/
	font-size: 8pt;
	font-size: 80%;
}

#rightnav div.min-height {
	height: 18px;
}

#rightnav div.min-height[class] {
	height: auto;
}

#rightnav[class] {
	min-height: 420px;
	height: auto;
	width: auto;
}


#leftnav p, #rightnav p { margin: 5px 5px 5px 10px; }

#content
{
	padding-right: 15px;
	padding-left: 15px;
	padding-bottom: 20px;
	font-size: 11pt;
}

a:link { 
	text-decoration:underline; 
	color: #006699; } 
	
a:hover { 
	text-decoration:none; 
	color: #666666; 
}
	
#content h2 {
	margin: 0 0 .5em 0;
	color: #024E8E;
	font-size: 15pt;
	font-size: 150%;
}


#footer
{		
	display: block;
	font-size: 8pt;
	font-size: 80%;
	clear: both;
	margin: 0;
	padding: .5em;
	color: #333;
	background-color: #ffffff;
	text-align: center;
}

/* these are not meant to be displayed in graphical user agents */
.text-only {
	display:none;
}

.plainlist {
	/* although no list marker displayed, list is indented -> fix that*/
	position: relative;
	left: -3.2em;
	list-style: none; 
/*	line-height: 150%;*/
}


#get_acro {

	display: block;
	position: absolute;
	bottom: 0px;
	left: 0px;
	margin: 1cm 1cm 1cm 1cm;
}

.screenshot {	
	border: 1px solid black;
	margin: 40px 0px 40px 20px;
}

ol li {
	list-style: none;
	/* although no list marker displayed, list is indented -> fix that*/
	position: relative;
	left: -3em;
}


.internal_nav {
	padding-top: .5em;
	padding-bottom: .5em;
	
}

.nowrap {
	white-space: nowrap;
}