/**********************************************************/
/*   CSS-Style cosec.bit.uni-bonn.de                      */
/*   written by Tilman-M. Jahn                            */
/*   updated by M. Nüsken and A. Pfister and others       */
/*   for the Department of Computer Security, b-it, Bonn  */
/**********************************************************/

body
{
  background: rgb(246,249,255);
  padding:0px;
  margin:0px;
  text-align:justify;
}

#empty-sep {
  display:block;
  clear:both;
}

#imprint {
  right:10px;
  font-family:Arial, Helvetica, sans-serif;
  font-size:10pt;
  text-align:right;
  padding-right:5px;
  padding-bottom:20px;
  }

#headbackground
{
  position:absolute;
  left:0px;
  top:0px;
  right:0px;
  bottom:0px;
  width:auto;
  height:66px;
  background:#FFFFFF;
  border-bottom: 2px solid #3180FF;
}
  

#b-it-logo {
  position:absolute;
  left:0px;
  top:0px;
  padding:10px;
  width:120px;
  height:56px;
  border:0px;
  overflow:hidden;
}

#cosec-logo {
  position:absolute;
  left:90px;
  top:10px;
  padding:10px;
  width:90px;
  height:56px;
  border:0px;
  overflow:hidden;
}

.b-it-menu {
  position:absolute;
  top:10px;
  width:400px;
  height:80px;
  overflow:hidden;
  border:0px;
  text-align:center;
  font-family:Arial, Helvetica, sans-serif;
  font-size:10pt;
  font-weight:bold;
  color:#808080;
  line-height:17pt;
  width:60px;
}

#b-it-menu1 {
  display:none;
}

#b-it-menu2 {
  left:220px;
}

#b-it-menu3 {
  left:290px;
}

#b-it-menu4 {
  left:360px;
}

#b-it-menu5 {
  left:430px;
}

#b-it-menu6 {
  left:500px;
}

#bitkey {
  position:absolute;
  left:5px;
  top:80px;
  cursor:pointer;
}

#b-itLogin {
  visibility:hidden;
  font-size:x-small;
  line-height:10px;
}
#b-itLogin, #b-itLogin2 { width:180px; }
* #b-itLogin, * #b-itLogin2 { width:auto; }
#b-itLogin, #b-itLogin2 {
  position:absolute;
  left:30px;
  top:70px;
  color:#808080;
  line-height:20px;
  background-color: #F6F9FF;
  padding:4px;
  min-height:50px;
  min-width:180px;
  border: 1px outset #c2c2c2;
}
#b-itLogin .label    {font-size:small;line-height:15px;margin-left:2px;width:70px;margin-bottom:5px;margin-top:3px;}
#b-itLogin .alabel   {font-size:x-small;line-height:15px;color:blue;cursor:pointer;}
#b-itLogin .inpLogin {width:80px;position:absolute;left:80px;top:5px;}
#b-itLogin .inpPassw {width:80px;position:absolute;left:80px;top:28px;}
#b-itLogin .btnSubmi {position:absolute;left:160px;top:4px;}
#b-itLogin .regis    {position:absolute;left:155px;top:28px;font-size:x-small;}

#b-itLogin .inpLogin, .inpPassw {
    border:1px solid #C2C2C2;
    margin-top:0px;
    margin-bottom:2px;
    background-color:white;
    height:15px;
}

#b-it-name {
  position:absolute;
  right:10px;
  top:10px;
  width:auto;
  height:56px;
  border:0px;
  margin-right:10px;
  font-family:Arial,Helvetica,sans-serif;
  font-size:12pt;
  color:#808080;
  background:#FFFFFF;
  font-weight:bolder;
  text-align:right;
}

#navigation {
  position:absolute;
  left:20px;
  top:110px;
  width:180px;
}

#locationar
{
  right:0px;
  margin-right:10px;
  margin-top:117px;
  margin-bottom:2px;
  font-family:Arial,Helvetica,sans-serif;
  font-size:7pt;
  color:#808080;
  width:auto;
  text-align:right;
}

#content
{
  position:relative;
  bottom:10px;
  margin-bottom:0px;
  margin-top:15px;
  margin-left:220px;
  margin-right:5px;
  min-height:500px;
  padding:0px 10px;
  padding-bottom:10px;
  background:#FFFFFF;
  border:1px solid #c2c2c2;
  font-family:Arial,Helvetica,sans-serif;
  font-size:10pt;
}

.menu1 {
  list-style-type:circle;
  margin-top:12px;
  margin-left:0px;
  padding: 0px;
  font-family:Arial,Helvetica,sans-serif;
  font-size:9pt;
  font-weight:bold;
}

.menu1 li {
  padding-top:12px;
  color:#3180FF;
}

.menu1 A {
  text-decoration:none;
  color:#3180FF;
}

.menu1 A.siteactive {
  text-decoration:none;
  font-weight:bolder;
  color:#3180FF;
}

.menu1 A:hover {
  text-decoration:underline;
}


.menu2 {
  list-style-type:disc;
  margin-left:0px;
  padding-left:10px;
  font-family:Arial,Helvetica,sans-serif;
  font-size:8pt;
  font-weight:normal;
}

.menu2 li {
  padding-top:2px;
}

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

.menu2 A.siteactive {
  text-decoration:none;
  font-weight:bold;
  color:#3180FF;
}

.menu2 A:hover {
  text-decoration:underline;
}

.menu3 {
  list-style-type:disc;
  margin-left:0px;
  padding-left:15px;
  font-family:Arial,Helvetica,sans-serif;
  font-size:8pt;
  font-weight:normal;
}

.menu3 li {

  padding-top:2px;
}

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

.menu3 A.siteactive {
  text-decoration:none;
  font-weight:bold;
  color:#000000;
}

.menu3 A:hover {
  text-decoration:underline;
}


h1 {
  font-size:18pt;
  font-weight:bold;
  margin-top:10px;
  margin-bottom:20px; 
  color:#3180FF; 
}

p {
  text-align:inherit;
  margin: 10px 0px;
  }

.free-table p {
  margin:0px;
}

dd {
  margin-bottom:10px;
  }

h2 {
  font-size:12pt;
  font-weight:bold;
  margin-top:3px;
  color:#3180FF; 
}

h3 {
  font-size:10pt;
  font-weight:bold;
  margin-top:15px;
  margin-bottom:0px;
}


h4 {
  font-size:10pt;
  font-weight:bold;
  margin-top:20px;
  margin-bottom:0px;
  color:#3180FF; 
}


dt.lecture {
  background:#ECF3FF;
  padding:10px;
  margin-top:10px;
}

dd.lecture {
  padding-left:10px;
  padding-top:3px;
  margin-left:0px;
  display:none;
}

dt.lecture li {
  padding-left:10px;
  padding-top:3px;
  margin-left:0px;
  list-style:none outside;
}

A.rootlinelink {
  color:#808080;
}

A {
  text-decoration:none;
  color:#3180FF;
}
A:hover {
  text-decoration:underline;
}

/* Event style */

.eventhead {
  left:0px;
  margin-top:35px;
  padding:10px;
  margin-bottom:10px;
  background: #ecf3ff;
}

.eventtime {
  right:0px;
  width:auto;
  font-size:8pt;
  font-weight:bold;
  text-align:right;
  float:right;
}

.eventtime ul {
  margin-top:-5px;
  list-style-type:none;
}

.eventtitle {
}

.eventheadlast {
  clear:both;
}

h4.event {
  margin-top:0px;
  margin-bottom:10px;
  font-size:12pt;
}

h2.bib {
  margin-top:20px;
  }

.eventinformation {
  padding:0px 10px;
}


/*  Sidebar style (some parameters eat the empty-sep room) */

#sidebar {
  margin: 0px 0px -10px 10px;
  border-left: 1px solid #c2c2c2;
  padding: 0px 6px 10px;
  float: right !important;
  width: 150px;
  font-size: 8pt;
}

#sidebar h3 {
  font-size:8pt;
  font-weight:bold;
  margin-top:5px;
  margin-bottom:0px;
}

#sidebar .footer {
  display:none;
}

#sidebar .article {
    border-bottom: 5px solid #eee;
}


.mainhead {
  font-size:12pt;
  font-weight:bold;
  margin-top:3px;
  color:#3180FF; 
}

.newsticker-entry {
  font-size: 10pt;
}

a.newsticker-link2 {
  color: #444;
  display:block;
  text-decoration:none;
  margin: 0pt;
  padding: 0pt;
}
a.newsticker-link2:hover {
  background:#B8D0FF;
}

.newsticker-headline {
  font: bold 100% Times;
}

.schedule th { text-align: center; }
.schedule td { padding-left: 5px; padding-right: 5px; }


/* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
.MATH    { font-family: "Century Schoolbook", serif; }
.MATH I  { font-family: "Century Schoolbook", serif; font-style: italic }
.BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }

/* implement both fixed-size and relative sizes */
SMALL.XTINY		{ font-size : xx-small }
SMALL.TINY		{ font-size : x-small  }
SMALL.SCRIPTSIZE	{ font-size : smaller  }
SMALL.FOOTNOTESIZE	{ font-size : small    }
SMALL.SMALL		{  }
BIG.LARGE		{  }
BIG.XLARGE		{ font-size : large    }
BIG.XXLARGE		{ font-size : x-large  }
BIG.HUGE		{ font-size : larger   }
BIG.XHUGE		{ font-size : xx-large }



/* mathematics styles */
DIV.displaymath		{ }	/* math displays */
TD.eqno			{ }	/* equation-number cells */

/* Error Messages AND "Ok" Messages */
div.bit-Error, div.bit-Ok {
	border:1px dashed black;	
	padding:4px;
	margin:10px;
	width:97%;
}
div.bit-Error {background-color:#ffc5c5;}
div.bit-Ok {background-color:#c5ffc5;}