/*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 {} 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;}