a:link, a:visited {
  color: #07A; /*#00aa00;*/
}

h1 {font-size:2em;line-height:1.74em;letter-spacing:-.03em;margin:0px 0px .5em 0px;}
h2 {color: #333; font-size:1.2em;line-height:2em;letter-spacing:-.03em;margin:0px 0px .5em 0px; }
h3 {color: #333; font-size:1em;line-height:2.45em;letter-spacing:-.03em;margin:0px 0px .5em 0px;;}
h4 {color: #333; font-size:1em;line-height:2.45em;letter-spacing:-.03em;margin:0px 0px .5em 0px;}
h5 {color: #333; font-size:1em;line-height:2.45em;letter-spacing:-.03em;margin:0px 0px .5em 0px;}
h6 {color: #333; font-size:1em;line-height:2.45em;letter-spacing:-.03em;margin:0px 0px .5em 0px;}

#header {
    position: relative;
    border-bottom: 1px dotted #777777;
    padding-bottom: 0px;
    margin-top: 20px;
    margin-bottom: 0px;
}

#header h1 {
    position: relative;
    left: 0px; bottom: 0px;
    font-size: 2em; line-height: 1em; letter-spacing:-.03em; 
    margin-bottom: 0px; 
    padding-bottom: .1em;
    float: left;
    display: inline;
    color: #333333;
}

#header h1 emph {
    font-style: normal; 
    color: #777777;
}

#header ul {
    position: absolute;
    bottom: 0em; right: 0px;
    font-family: 'Droid Sans', Verdana, Arial, Helvetica, sans-serif;
    font-weight: normal;
    font-size: 1em;
    line-height: 1em;
    margin: .35em 0 .35em 0; padding: 0;
    float: right;	
    border-right: 1px solid #777777;

}

#header li {
	margin: 0px; 
	padding: 0px;
	display: inline;
	list-style-type: none;
}
	
#header ul a:link, #header ul a:visited {
	float: left;
	margin: 0;
	padding: .25em .8em .25em .8em;
	text-decoration: none;
	text-align: center;
	border-left: 1px solid #777777;	
	color: black;
	display: block;
}

#header ul a:hover, #header ul a.active:hover, #header ul a.active:link, #header ul a.active:visited {
	background-color: #000000;
	color: #ffffff;
	border-top-left-radius: 9px;
	-webkit-border-top-left-radius: 9px;
	-moz-border-top-left-radius: 9px;
}


#sidebar {
    float: right;
    position: relative;
    padding-top: 20px;
    margin-top: 20px;
}

#sidebar .top {
    margin-top: .69em;
}

#main {
    float: right;
    position: relative;
    padding-top: 20px;
    margin-top: 20px;
    margin-left: 0px;
}

#contact {
    float: left;
    position: relative;
    padding-top: 20px;
    margin-top: 20px;
    margin-left: 0px;
}

#footer {
    position: relative;
    font-family: 'Droid Sans', Verdana, Arial, Helvetica, sans-serif; letter-spacing: -.03em;
    font-size: 80%; 
    padding-bottom: 20px;

    padding-top: 10px;
    border-top: 1px dotted #777777;
}

#kodkod {
    margin-top: 6em;
    text-align: center;
}
#kodkod a img, #kodkod a:link img {  }
#kodkod a:hover img  {  }
#kodkod img { width: 85px; display: inline; }
 
div.figure img {
    display: block;
    margin-left: .5em;
    margin-right: auto;
}

div.figure .caption {
    display: block;
    text-align: left;
    margin-left: .5em;
    vertical-align:middle;   
    font-weight: 600;
    font-family: 'Droid Sans', Verdana, Arial, Helvetica, sans-serif;
    letter-spacing:-.03em;
}


dl {  
    clear: both;
 }

.projects dt {
    float: left;
    clear: left;
    margin-right: 1em;
    width: 5em;
    text-align: left;
    display: block;
    font-weight: bold;
    letter-spacing: 0;
  }

.projects dd {
    display: block;
    margin-bottom: .5em;  
    margin-left: 7.5em;  
    
}


dl.menu {
    display: block;
    width: 15em;
    font-family: 'Droid Sans', Verdana, Arial, Helvetica, sans-serif; letter-spacing: -.03em;
    margin-left: auto;
    margin-right: auto;
}

.menu dt {
    margin:0; 
    padding: 5px 5px 5px 10px; 
    color: #fff; 
    border-top: 1px solid transparent;
    border-left: 1px solid transparent;
    border-right: 1px solid transparent;
    background-color: #555555;
    -moz-border-top-left-radius:10px;
    -webkit-border-top-left-radius:10px;
    border-top-left-radius:10px;
}

.menu dd {
    position: relative;
    margin:0; padding:0; color: black;     
    border-bottom:1px dotted #777777; 
    border-left:1px dotted #777777; 
    border-right:1px dotted #777777; 
}

.menu dd a {
    position: relative;
    right: 1px;
    display: block;
    margin: 0;
    padding:5px 5px 5px 10px; color:black;
    border-left: 4px solid transparent;
}

.menu dd a.active, .menu dd a:hover {
    border-left:  4px solid #555555;
    text-decoration: none;
}

dl.pubs {
    margin-top: .5em;
    font-size: 1em;
    margin-bottom: 1.5em;
    margin-left: 1em;
}

.pubs dt {
    margin-top: 1em;
    margin-left: -1em;
    margin-bottom: 0em;
}
.pubs dd {
   margin-left: 0;
}
.pubs dd.authors {
   display: inline;
   margin-right: .2em;
    
}
.pubs dd.venue {
    display: inline;
    margin-right: .2em;

}
.pubs dd.download {
    /* display: inline;  */
    white-space: nowrap; 
}