h2.header {
  font-family: Arial,Helvetica,sans-serif;
  font-weight: bold; 
  color:#000080;
  font-size: 1.2em;
  margin-top : 0px; 
  margin-bottom : 0px;
}

h3.header {
  font-family: Arial,Helvetica,sans-serif;	
  font-weight: bold; 
  color:#000080;
  font-size: 1.0em;
  margin-top : 0px; 
  margin-bottom : 0px;
}

h1, h2, h3, h4, h5 {
  text-align: left }


.leftarea   { background-color:#C8D3DD; }
.rightarea  { background-color:#374797; }
.topmenu    { background-color:#5D7B9B; }
.footer     { background-color:#E6E9EE; }

.navigation { 
   font-family:Arial,Helvetica,sans-serif; 
	background-color:#E6E9EE; 
	position: relative;
	font-size: 0.8em; 
	font-weight: bold; 
	text-decoration : none;	
   padding-left : 5px; 
	color:BLACK;
}

a.navigation {	
	position: relative;
	font-size: 1em;
   padding-left : 0px; 
   padding-right : 0px; 
}

a.navigation:link {				
   font-family:Arial,Helvetica,sans-serif; 
	color:BLACK;
}

a.navigation:hover {
	color:BLACK;
	text-decoration : underline;
}

a.navigation:active {
	color:BLACK;
}

a.navigation:visited {
	color:BLACK;
}

a.navigation:visited:hover {
	color:BLACK;
	text-decoration: underline;
}

.mainmenu   { 
   font-family:Arial,Helvetica,sans-serif; 
	background-color:#476E9C; 
	color:WHITE;
}

a.mainmenu {	
   font-family:Arial,Helvetica,sans-serif; 
	position: relative;
	height: 8px; 
	font-size: 0.8em;
	font-weight: bold; 
	text-decoration : none;	
   padding-left : 5px;
	color : #FFFFFF;		
}

a.mainmenu:link {				
   font-family:Arial,Helvetica,sans-serif; 
	color : #FFFFFF;		
}

a.mainmenu:hover {
	background-color:#476E9C; 
	color:WHITE;
	text-decoration : underline;
}

a.mainmenu:active {
	background-color:#476E9C; 
	color:WHITE;
}

a.mainmenu:visited {
	background-color:#476E9C; 
	color:WHITE;
}

a.mainmenu:visited:hover {
	background-color:#476E9C; 
	color:WHITE;
	text-decoration: underline;
}

a {	
	text-decoration : underline;	
	color : #000080;		
}

a:link {				
	text-decoration : underline;	
	color : #000080;		
}

a:hover {
	color : #0000FF;		
	text-decoration : underline;
}

a:active {
	text-decoration : underline;	
	color : #000080;		
}

a:visited {
	text-decoration : underline;	
	color : #000080;		
}

a:visited:hover {
	color : #0000FF;		
	text-decoration : underline;
}

div.content {
  margin-left : 5px; 
  margin-right : 5px;
}

div.bottom {
  margin-left : 5px; 
  margin-right : 5px;
}

div.footer {
  margin-left : 5px; 
  margin-right : 5px;
}

ul { 
	list-style-image: url(../images/bullet-rot-10.png); 
}

li {
  margin-bottom : 5px;
}

b { color:#000080; font-weight: bold; }
strong { color:#000080; font-weight: bold; }

p {
  margin-top : 5px; 
  margin-bottom : 10px;
}

h1 {
  font: 1.5em Arial,Helvetica,sans-serif;
  color:#000080;
  text-align: left;
  margin-top : 5px; 
  margin-bottom : 5px;
}

h2 {
  font: 1.3em Arial,Helvetica,sans-serif;
  color:#000080;
  margin-top : 5px; 
  margin-bottom : 5px;
}

h3 {
  font: 1.2em Arial,Helvetica,sans-serif;	
  color:#000080;
  margin-top : 5px; 
  margin-bottom : 5px;
}

h4 {
  font: italic 1.1em Arial,Helvetica,sans-serif;
  color:#000080;
  margin-top : 5px; 
  margin-bottom : 5px;
}

h5 {
  font: normal bold 1em Arial,Helvetica,sans-serif;
  color:#000080;
  margin-top : 5px; 
  margin-bottom : 5px;
}


.iiit-body .document a.reference[href ^="http://"]{
	background: url(../images/external.png) center right no-repeat;
	padding-right: 16px;
}

p.external a.reference{
	background: url(../images/external.png) center right no-repeat;
	padding-right: 16px;
}

.iiit-body .document a.reference[href ^="http://www.iiit.de"]{
	background: none;
	padding-right: 0px; 
}

.iiit-body .contents.topic a.reference {
    background: none;
    padding-right: 0px;
}