/*
**********************************
*** BODY and DIVS ****************
*/
BODY {
	background-color: #DBDBEB;
	      background-image: url('http://www.l3s.de/~herder/style/pics/bodybackground.png');
	      background-repeat: repeat-x;
	font-family: Arial;
	font-style: normal;
	font-weight: normal;
	font-size: 11pt;
	color: #000000;
	padding: 0px;
	margin: 0px;
   }



#menubar {
    position: absolute;
    background-color: #EEEEEE;
    background-image: url('http://www.l3s.de/~herder/menu/pics/menubackground2.png');
    border-width: 1px;
    border-color: #000000;
    border-style: solid;
    left: 0px;
    top: 5px;
    width:170px;
    max-width: 170px;
    height: 90%;
    padding: 5px;
    margin: 5px;
    z-index: 2;
}

#title {
    position: absolute; 
    left: 0;
    right: 0;
    top: 0px;
    height: 45px;

    margin: 0px;
    padding-top: 10px;
    padding-left: 205px;
    vertical-align: bottom;
    z-index: 1;
}

#body {
    position:relative;
    background-image: url('http://www.l3s.de/~herder/style/pics/textbackground.png');
    background-repeat: repeat-y;
    left: 0;
    top: 60px;
    margin-left: 195px;
    margin-right: 40px;
    margin-bottom: 100px;
    padding-left: 30px;
    padding-right: 20px;
    padding-top: 10px;
    padding-bottom: 10px;
    background-color: #FFFFFF;
    border-width: 2px;
    border-color: #000000;
    border-style:solid;
    overflow: hidden;
    min-width: 600px;
    z-index: 2;
    text-align: justify;
}

/*
Images have no padding, and a margin of 10px
*/
        
IMG {
    margin: 20px;
    margin-top: 10px;
    margin-bottom: 10px;
    padding: 0px;
    border: 0px;
    position: relative;
    }

    
HR {
    border-color: #000000;
    border-width: 1px;
    background-color: #000000;
    borderstyle: solid;
    }
/*
*******************************
*** Text formatting ***********
*******************************
*/
    
P {
    text-align: justify;
    margin-top: 0px;
    margin-bottom: 8px;
    margin-left: 0px;
    margin-right: 20px;
    }
    
P#noindent {
    text-align: justify;
    margin-top: 0px;
    margin-bottom: 8px;
    margin-left: 0px;
    margin-right: 20px;
    }

P#small
   {
      text-align: center;
      margin: 0px;
      padding: 0px;
      font-size: 9pt;
    }   
    
    
H1 {
	font-family: Verdana;
	font-style: normal;
	font-weight: normal;
	font-size: 16pt;
	text-align:left;
	color: #000000;
	margin-top: 16px;
	margin-bottom: 4px;
	}

H1#firsttime {
    margin-top: 10px;
   }

H2 {
	font-family: Verdana;
	font-style: normal;
	font-weight: normal;
	font-size: 13pt;
	color: #000000;
	margin-top: 12px;
	margin-bottom: 4px;
	text-align:left;
}


H3 {
	font-family: verdana;
	font-style: normal;
	font-weight: normal;
	font-size: 12pt;
	color: #000000;
	margin-top: 25px;
	margin-bottom: 4px;
	text-align:left;
	}
	
H1.menu {
	font-family: Arial;
	font-style: normal;
	font-weight: bold;
	font-size: 16px;
	text-align:left;
	color: #000000;
	margin-top: 0px;
	margin-left: 0px;
	margin-bottom: 2px;
   }


H2.menu {
	font-family: Arial;
	font-style: normal;
	font-weight: normal;
	font-size: 14px;
	color: #000000;
	margin-top: 0px;
	margin-left: 16px;
	margin-bottom: 2px;
		text-align: left;
}


H3.menu {
	font-family: Arial;
	font-style: normal;
	font-weight: bold;
	font-size: 12px;
	color: #000000;
	margin-top: 0px;
	margin-bottom: 0px;
	margin-left: 32px;
		text-align: left;
	}
/*
Page caption is in a yellow font with a black
background fading into yellow (captionbackground.png)
*/

H1#caption {
font-family: Arial;
    margin-top: 0px;
    border-color: #FFE030;
    background-color: #EE2200;
    padding-top: 4px;
    padding-bottom: 4px;
    padding-left: 10px;
    padding-right: 10px;
    margin-left: -10px;
    margin-right: -10px;
    margin-top: -10px;
    text-align: left;
    font-size: 19pt;
    font-weight: bold;
    color: #FFE030;
    height: 30px;
    min-width: 100%;
    display: block;
     }

/*
id name is used for displaying Kristof's name
at the top of the page
*/

H1#name {
    color: #ffffff;
    font-family: Verdana;
    margin-top: 0px;
    margin-bottom: 0x;
    padding: 0px;
    font-size:20pt;
    text-align: left;
    vertical-align: bottom;
    background-image: none;
    }
    

/*
************************************************
********* Bilderspalte rechts ******************
************************************************
*/

#imgcol {
    position: absolute;
    right: 20px;
    margin-top: 50px;
    border: solid 0px #000;
    padding: 0px;
    width: 260px;
    height: 100%;
    background-color: #000000;
}

/*
************************************************
****** Hyperlinks ******************************
************************************************
*/

	
A {
	text-decoration: none; color: #A00000
	}

A#klein {
    font-style: normal
	}


A:visited {
	color: #800000;
	}

A:active {
	color: #D00000;
   }

A:hover {
    color: #D00000;
   }

A.menu {
	text-decoration: none; color: #000000;
		}



A.menu:visited {
	color: #666666;
	}

A.menu:active {
	color: #737337;
   }

A.menu:hover {
	color: #737337;
	background-color: none;
   }


    
/*
Link vom Icon oder Bild ohne roten Rahmen
Silly temporary solutation: for some reason background: none does
not work
*/
		
A.shortcut:hover {
	background-color: #FFE030;
	}


/*
***************************
****** General things *****
***************************
*/

/*
Make sure that default font also works in tables
*/

TABLE {
    position: relative;
    min-width:0px;
    }
    
TD {
    position: relative;
    vertical-align: top;
	font-family: Arial;
	font-style: normal;
	font-weight: normal;
	font-size: 11pt;
	padding-right: 16px;
	min-width: 0px;
   }
   


TD#leftside {
    width: 100%;
    }
    
TD#rightside {
    width: 240px;
    text-align: right;
    }