/*body {*/
/*background: #96a6c7; font-family:Verdana, Arial, Helvetica, sans-serif; margin-top:10px; font-size:13px;*/

/*==============================================*/
#Nav {width: 100%; margin-top: 0; border-top: 1px solid #ffffff; border-bottom: 1px #ffffff; background: #ffffff;}
#Nav ul {padding: 3px 10px 3px 10px; margin:0 0 .15em 0; font-size:12px; font-weight:bold; background: #b0b0b0; text-align:left; }
#Nav ul li {list-style-type:none; display:inline; font-size:10px;}
#Nav ul li a {color:white; text-decoration:none;}
#Nav ul li a:link, #Nav ul li a:visited {padding: 2px 8px 2px 7px;}
#Nav ul li a:hover {color:orange;}

/*===============================================*/
#Nav2 {width: 100%; margin-top: 0; border-top: 1px solid #ffffff; border-bottom: 1px #ffffff; background: #ffffff;}
#Nav2 ul {padding: 3px 10px 3px 10px; margin:0 0 .15em 0; font-size:12px; font-weight:bold; background: #c0c0c0; text-align:left; }
#Nav2 ul li {list-style-type:none; display:inline;}
#Nav2 ul li a {color:white; text-decoration:none;}
#Nav2 ul li a:link, #Nav2 ul li a:visited {padding: 2px 8px 2px 7px;}
#Nav2 ul li a:hover {color:orange;}

img#Header {width: 100%}

/*======================================================== */
/* Page Head with Navigation -funktioniert nicht- */
#Head {width:100%;  
margin-right:auto; 
margin-left:0px; 
margin-top:-60px;
margin-bottom:400px; 
color:black;	
/*background-image:(http://www.ibr.cs.tu-bs.de/alg/member/fekete/pics/head.jpg);	*/
}


/*=========================================================*/

a:link, a:visited {text-decoration:underline; border:none;}

p {font-size: 12px; line-height: 140%; }
table {border:none; border-collapse:collapse;}
tr {vertical-align:top;}
td {font-size: 12px; line-height: 140%; }


.Italic {font-style:italic;}
.Superscript {vertical-align:super; font-size:8px;}
.Bold {font-weight:bold; color:#333333;}

/* ==================================================== */
/* For home and software pages: */

#Box {width:100%; margin:0px 0px; background:white; color:black;}

div.Content {padding:0  20px 0 5px;}

div.Author {font-size: 10px; font-style:italic; color:#999999; padding: 5px 20px 0  15px;}

div.BorderTop {border-top: 2px solid #335392; margin-left: 5px; margin-right:0px;}

#Students a:link, #Students a:visited {color:black;}
ul.Students {margin-left:13px; padding-left:0; line-height:160%; list-style-type:square;}

#Teaching tr.BgdColor {background:#FDF1D9;}
#Teaching td {padding:4px 20px 5px 6px;}
#Teaching td, #Teaching td a:link, #Teaching td a:visited {color:black;}

#Right {float:right; width:45%;}
#Left {float:left; width:45%;}
#LEFT {width:45%;}

table#Software {width: 560px; margin-top: 10px; margin-left:25px;}
table#Software img {border:0;}
td.SWColOne {padding-right:25px;}
td.SWColTwo {padding-right:10px;}
table#Software td {border-top: 6px solid silver; padding-top: 20px; padding-bottom:15px;}

/* ==================================================== */
/* For pubs pages: */


#PubsWrapper {width: 600px; margin-right:auto; margin-left:auto; padding-bottom: 30px; background:#660000; color:white; position:relative; border-top: 1px solid brown; border-bottom: 1px solid brown;}

div#PubsSubMenu {background: brown; font-size:10px; font-weight:bold; margin-top:0; padding: 2px 20px 2px 0px;  text-align:right;}
div#PubsSubMenu a:link, div#PubsSubMenu a:visited {text-decoration:none;}
div#PubsSubMenu a:hover {color:orange;}

h2.PubsPageTitle {font-size: 20px; font-weight:normal; margin-bottom: 20px; padding-left:25px;}

div#PubsContent {padding: 0 30px 0 20px;}

#PubsWrapper a:link, #PubsWrapper a:visited {color:white;}

#LinkToSections {font-size:12px; border: 1px dotted orange; padding:10px 20px 10px 20px; line-height:140%; background:#581714;}

.PapersSectionHead {font-size: 20px; color:orange; margin-top:12px;}

ul.PubsList {margin-left: 0; padding-left:16px; list-style-type:square;}

li.PubsItem {font-size: 14px; line-height: 120%; margin-bottom: 10px;}

/* ==================================================== */

.TextToTop {text-align:right; font-size:10px;}
.ToTop {text-align:right;}