/* $Id: styles.css,v 1.13 2006/09/27 08:21:18 boehm Exp $ */
/* Stylesheet fuer AspectJ-Beispiele */

body {
	background-color:#ffffff;
	font-family : Arial, Helvetica, sans-serif;
	font-size : 12px;
	font-style : normal;
}

#navigation {
	position: absolute;
	position: absolute;
	top: 100px; /*bottom:10px;*/ left: 10px;
	width: 142px;
	min-height:80%;
	margin-left: 0px; margin-right: 1px;
	padding-top:10px; padding-bottom:8px;
	color:darkgray;
	background-color: rgb(244,244,244);
	border-style: solid;
	border-top-width: 0x; border-left-width: 0x;
	border-bottom-width: 2px; border-right-width: 2px;
	border-bottom-color: darkgray;
	border-right-color: darkgray; 
	border-left-color: rgb(244,244,244);
	border-top-color: rgb(244,244,244);
}

#main {
	position: absolute;
	top:120px;
	left:160px;	/* right:180px; */
	margin:20px;
}

#head {
	height: 72px;
	top: 0px; right: 0px;
	/*background: url("../../../../img/logo.gif") no-repeat;*/
	background: url("../images/alogo.jpg") no-repeat;
	background-color: rgb(0,0,153);
	font-family: sans-serif;
}

/* IE ignoriert die background-color und malt nach #head in blau */
/* ok, dann malen wir halt hiermit wieder in wei�               */
#ie_hack {
	background-color:white;
    position: absolute;
	top:89px;
	right:9px;
	margin:0px;
	padding:0px;
	height:40px;
	width:100%;
}

#headline_bg {
	color: lightgrey;
    position: absolute;
	top:90px;
	left:183px;
}

#headline_fg {
	color: darkblue;
    position: absolute;
	top:88px;
	left:180px;
}

#navigation a:link {
	color: dimgray;
	text-decoration: none;
}

#navigation a:visited {
	color: dimgray;
	text-decoration: none;
}

#navigation a:hover {
	background-color: darkgray;
	color: white;
}

#head p {
	padding-top:40px;
	padding-bottom:0px;
	margin-right:16px;
	text-align:right;
	color:#ced0cc;
	line-height:0px;
	font-size: medium;
}

#head a {
	color:#ced0cc;
	text-decoration:none;
	font-weight:bold;
	letter-spacing: 0.2em;
}

#head hr {
	padding-top:0px;
	height:1px;
	background-color:#ced0cc;
	border-width:0px;
	margin-left:180px;
}

.console {
	color: darkblue;
	background-color: lightyellow;
	font-family: monospace;
	font-weight: bold;
	list-style-type: square;
	list-style-position: inside;
	border-style: groove;
	padding-left: 0px;
	margin-left: 0px;
}

.console pre {
	font-style: italic;
	font-weight: normal;
}

.listing {
	background-color:rgb(244,244,244);
	font-family:monospace;
	font-size : 10px;
	padding-left:0em;
}

.imgbook { 
	margin-left: 20px;
}

.imgbook a:hover {
	background-color: dimgray;
}
		


/* class for external content (e.g. google) */

.normal table,tr,th,td {
	background-color: white;
	border-color: white;
	border-style: solid;
	border-width: 0x;
	border-spacing: 0px;
	padding: 0px;
}

.normal td {
	background-color:white;
}


/* special tags */

h1 {
	font-size:20pt;
}

#main h1 {
	color: darkblue;
}

h2 {
	background:lightgrey;
}
	
table,tr {
	background-color: rgb(244,244,244);
	font-family : Arial, Helvetica, sans-serif;
	font-size : 12px;
	font-style : normal;
	vertical-align: top;
		border-style: solid;
	border-top-width: 0x; border-left-width: 0x;
	border-bottom-width: 2px; border-right-width: 2px;
	border-bottom-color: darkgray;
	border-right-color: darkgray; 
	border-left-color: rgb(244,244,244);
	border-top-color: rgb(244,244,244);
	border-spacing: 2px;
	padding: 5px;
}

td {
	background-color: rgb(244,244,244);
	border-style: solid;
	border-width: 0px;
	border-color: white;
}
th {
	background-color: lightgrey;
	border-color: lightgrey;
}
	
	.darkblue	{
		background-color: #000099;
		color: #ffffff;
	}
	.whitebg	{
		background-color: #ffffff;
	}
	.greyback {
		background-color: #cccccc;
	}
	.activemenu {
		color: #999999;
	}
	.activemainmenu {
		color: #cccccc;
		font-style: bold;
	}
	.header1 {
		font-size: 14px;
	}
	.header2 {
		font-size: 12px;
	}
	.header3 {
		font-size: 18px;
		color: #000099;
		font-weight: bold;
	}
	.copyright {
		color: #000099;
		font-size: 11px;
	}



	a:link { color:#000099; text-decoration:underline }
	a:visited { color:#000099; text-decoration:underline }
	a:hover { color:#000099; text-decoration:underline }
	a:active { color:#000099; text-decoration:none }
	a.toplink:link { font-weight:bold; color:#000099; text-decoration:none }
	a.toplink:visited { font-weight:bold; color:#000099; text-decoration:none }
	a.toplink:hover { font-weight:bold; color:#000099; text-decoration:underline }
	a.toplink:active { font-weight:bold; color:#000099; text-decoration:none }
	a.sublink:link { color:#000099; text-decoration:none }
	a.sublink:visited { color:#000099; text-decoration:none }
	a.sublink:hover { color:#000099; text-decoration:underline }
	a.sublink:active { color:#000099; text-decoration:none }
	a.sitemap:link { color:#000000; text-decoration:none }
	a.sitemap:visited { color:#000000; text-decoration:none }
	a.sitemap:hover { color:#000000; text-decoration:none }
	a.sitemap:active { color:#000000; text-decoration:none }
	a.teaser:link { color:#000000; text-decoration:none }
	a.teaser:visited { color:#000000; text-decoration:none }
	a.teaser:hover { color:#000000; text-decoration:none }
	a.teaser:active { color:#000000; text-decoration:none }