body {
	background-color: #000022;
/*	border: 1px solid white; */
	color: #FFFFFF;
	font-family: Helvetica, sans-serif; 
	margin: 0px;
	margin-left: auto;
	margin-right: auto;
	max-width: 990px;
	padding: 5px;
}

div {
	background-color: #000044;
	border: 1px solid black;
	padding: 10px;
}

div.title {
	margin-top: 5px;
	margin-bottom: 10px;
	margin-left: auto;
	margin-right: auto;
	max-width: 800px;
	padding-left: 48px;
}

div.menue {
	padding-top: 30px;
	padding-bottom: 30px;
}

div.content {
	background-color: #000066;
	padding-left: 20px;
	padding-right: 20px;
	text-align: justify;
	min-height: 400px;
}

div.bottom {
	margin-top: 10px;
	margin-bottom: 5px;
}

a {
	color:#9999FF;
	text-decoration: none;
}

a:focus, a:hover {
	color: #FF6600;
}

a.menue{
	background-color: #000066;
	border: 1px solid black;
	color: #FFFFFF;
	display: block;
	font-weight: bold;
	text-decoration: none;
	margin-top: 5px;
	margin-bottom: 5px;
	padding: 2px;
	padding-left: 5px;
	padding-right: 5px;
}

a.menue:focus, a.menue:hover {
	color: #FFFFFF;
	background-color: #FF6600;
}

a.label {
	color:#FFFFFF;
}

table {
/*	border: 1px solid red;*/
	border-spacing: 0px;
	width: 100%;
}

td {
/*	border: 1px dashed red; */
	padding: 0px;
}

td.gap {
	vertical-align:top;
	padding-bottom: 10px;
}

h3.next {
	margin-top: 30px;
}

li.gap {
	margin-top: 15px;
}

img {
	border: 0px solid white;
}

sup, sub {
	line-height: 0;
	font-size: 80%;
}

/* Create tooltips: */

span.tip {
	color:#FFCC66;
	text-decoration: none;
}

span.tip:hover {
	cursor: help;
	position: relative;
}

span.tip span {
	display: none;
}

span.tip:hover span {
	display: block;
	position: absolute;
	top: 20px; 
	left: -150px;
	/* formatting only styles */
	padding: 5px; 
	background: #FFEE99;
	color: #000044;
	border: 1px solid #000000;
/*	opacity: 0.95; /*only valid in CCS level 3!*/
	width: 300px; 
	z-index: 100;
	/* end formatting */
}

/* Now special formats for the table of IDL programmes: */

table.idl {
	text-align:left;
	width: auto;
}

th.idl {
	padding:5px;
	background-color:#333333;
}

th.desc {
	background-color:#333333;
}

td.dash {
	text-align:center;
	vertical-align:top;
}

td.idl {
	vertical-align:top;
}