html {
	background-color: black ;
}

pre	{ 
  background-color:rgb(100,100,100) ; 
  color: rgb(200,200,200) ;
  margin-right:1%; 
  border: 5px solid rgb(210,210,150) ; 
  text-align: left;
  font-size:normal; 
  font-family:Monospace; 
}

body {
  position: relative;
  color: rgb(20,20,20) ;
  background-color: rgb(240,240,240) ;
}

#intro,
#supportingText{
}

h1,
h2,
h2 a,
h2 a:active,
h2 a:visited,
h3,
h4{
  color: rgb(100,100,100) ;
  background-color: rgb(200,200,200) ;
  font-weight:normal;
  padding-left:1%;
}


#pagetitle {
  color: rgb(210,210,150) ;
  background-color: rgb(70,70,70) ;
  font-size: 150%;
  font-weight:bold;
}

#screenshots {
    width : 100%;
}

strong{
	color: rgb(142,42,42)  ;
}

a,
a:active,
a:visited{
	color: rgb(142,42,42) ;
	text-decoration:none;
}
a:hover{
	text-decoration:underline;
}

.icon {
  size:1.45em;
}

img{
  vertical-align : middle;
	border: 5px;
}

a img{
	border:0px;
}


dt {
  font-weight:bold;
}


dd{
  padding-bottom:1%;
}

ul > li {
    list-style-type : circle;
}

ul > li:hover {
  list-style-type : disc;
}

#header {
  margin: .15ex 0ex 0ex 0ex;
  font-size: 200%;
  font-weight:bold;
}

#header,
#footer {
  color: rgb(210,210,150) ;
  background-color: rgb(70,70,70) ;
  line-height: 1.45em;
  padding: 0em 2.5mm 0.5ex 2.5mm;
}

.left {
  float: left;
  clear: left;
}


#header .right,
#footer .right {
  text-align: right;
}

#header a,
#footer a {
  color: rgb(210,210,150) ;
  text-decoration: underline;
}

#header a:hover,
#footer a:hover {
  text-decoration: none;
}

.topOfPage {
  /* /\* background-color: transparent; *\/ */
  font-size: 81%;
  /* font-weight: bold; */
  /* /\* text-decoration: none; *\/ */
  margin: -2.5ex 5ex 0 0;
  /* padding: 0; */
  float: right;
}


#mainmenu {
  background-color: black ;
  height: 2.1em;
  line-height: 1.7em;
  font-weight: bold;
  margin: 0px 0px .2px 0px;
}

#mainmenu .menu {	
  background-color: black ;
  text-align: center;
	width: 22%;
  float: right;
	color: rgb(210,210,150) ;
	border: 2px outset rgb(190,190,190) ;
}

#mainmenu .menu a { 
	color: rgb(210,210,150) ;
  text-decoration: none;
}

#mainmenu .aca {
	border: 2px inset rgb(200,200,200) ;
  background-color: rgb(70,70,70) ;
}

#mainmenu .menu ul {		
	position:absolute;
	width: 22%;
	display: none; 
	border: 2px solid rgb(70,70,70) ;
}

#mainmenu .menu:hover { 
	color: rgb(142,42,42)  ;
  background-color: rgb(130,130,130) ;
}

#mainmenu .menu a:hover { 
	color: rgb(142,42,42)  ;
}

#mainmenu ul li{
	list-style-type:none;
	text-align:center;
}


#mainmenu .menu:hover ul li{
	color: rgb(142,42,42)  ;
	border: 3px outset rgb(130,130,130) ;
  padding-left:1em;
	margin: 0px;
}

#mainmenu .menu ul li:hover{
	color: rgb(142,42,42)  ;
	background-color: rgb(130,130,130) ;
	border: 3px inset rgb(190,190,190) ;
}

#mainmenu .menu:hover > ul {
	display:block;
  background-color: rgb(70,70,70) ;
	margin: 0px; 
	padding: 0;
	list-style-type:none ; 
}


#right-panel{
  color: black;
  text-align: justify;
  /* line-height: 1.5em; */
  margin: 0 0 0em 14em;
  /* padding: 0.5mm 5mm 5mm 5mm; */
  padding: 0.5mm;
  border-left: 3px solid rgb(200,200,200) ;
}

/* This is for the Side Bar  */
#left-panel
{
  width: 14em;
  float: left;
  clear: left;
}

/* div#left-panel { */
/*   border-bottom: 1px solid rgb(153,153,153); */
/* } */

.sideBarTitle {
  font-weight: bold;
  margin: 0 0 0.5em 0.5em;
  padding: 1em 0 0 0;
  text-decoration:underline;
}

#left-panel ul {
  list-style-type: none ;
  list-style-position: outside;
  margin: 0;
  padding: 0 0 1.1em 0;
}
#left-panel ul > li {
  list-style-type : none;
}
#left-panel li {
  margin: 0;
  border-right: 5px;
  padding: 0.1ex 0;  /* Circumvents a rendering bug (?) in MSIE 6.0 */
}

#left-panel a:hover {
    color: #411; 
    background: #AAA;
    border-right: 5px double white;}

#left-panel li span.expl{display: none;}
#left-panel li:hover span.expl{display: block;
   position: absolute; top: 330px; left: 0; width: 150px;
   padding: 3px; margin: 10px; z-index: 100;
   color: #411;
   text-align: center;}

#left-panel a, 
.thisPage {
  color: #411;
  background-color: transparent;
  text-decoration: none;
  font-weight: bold;
  margin: 0;
  padding: 0.25em 0.5ex 0.25em 0.5ex;
  display: block;
}

 /* This is for the bibliography */
.title a,
.title {
  font-weight: bold;
	color: rgb(20,20,20) ;
}

ol.bibliography li{
	margin-bottom:0.5em;
}

.journal {
  font-style: italic;
}

.journal:after {
content:", ";
}

.authors {
display:block;
}

.volume {
  font-weight: bold;
}

.button {
display:inline; 
border: 3px ridge;
line-height:2.2em;
padding:1pt;
}

.masterthesis{content:"Master Thesis"}
.phdthesis{content:"Phd Thesis"}

div.abstracts {
  display: inline;
  font-weight: bold;
  text-decoration : none; 
  border: 3px ridge;
}

div.abstract {
	display: none;
	padding: 0em 1% 0em 1%;
  border: 3px double rgb(70,70,70) ;
  text-align: justify;
}