@charset "iso-8859-1";

/*
	(c) in 2003 by Guido Appenzeller
	
	Feel free to copy and modify as long as you mention me somewhere.
 */

.main a:link, .main a:visited, .nav  a:link, .nav  a:visited
{
	color: #600;
}

.main a:hover,  .nav  a:hover {
	color: #F00;
}

.main a:target {
}

body {
	background: url("img/back3.png") repeat-y;
	margin: 1ex 0 0 1ex;
	font-family: lucida sans unicode, verdana, sans, arial, helvetica, sans-serif;
	max-width: 122ex;
}

/* --- Top ------------------------------------ */

div.top {
	background: url("img/name.png") no-repeat;
	height: 20px;
	margin: 0;	
	padding: 21px 10px 0px 8px;
	vertical-align: middle;
	border-style: none;
	font-size: 60%;
}

/* --- Main ----------------------------------- */

div.main {
	min-height: 2ex;
	margin: .4em 1ex 0 9.5em;
	padding: 1ex 1ex 1ex 4ex;
	font-size: 90%;
	border-style: none;
}

div.main div.news {
    text-align: left;
    width: 450px;
    margin-right: auto;
    margin-left: auto;
    padding: .5ex 2ex .5ex 2ex;
    border: #aaa 1px solid;
    background-color: #FFC;
}

h1 {
    font-size: 300%;
    color: #DDD;
    margin-top: 0;
}

h2 {
    font-size: 150%;
    color: #000;

    line-height: 14px;
    border-width: 1px;
	border-top-style: dotted;
	border-right-style: none;
	border-bottom-style: dotted;
	border-left-style: none;
	border-color: #CCC;
	padding-bottom: 5px;
	padding-top: 5px;
	padding-left: 10px;
}

h3 {

}

/* --- Publications --------------------------------- */

div.publication {
	background-color: #f8f8f8; 
        border: 1px solid #aaa;*/
        max-width:90ex;
        margin-bottom: 2ex;
        padding: 0.75ex;
        clear: both;
}

div.publication img {
	border: none;
}

div.publication h3 {
        font-size: 100%;
        font-weight: bold;
        background-color: transparent;
        color: #335;
        margin: 0ex 0 1ex 0;
        padding: 0px;
}

div.author {
        margin: -1ex 1ex 0.5em 0ex;
        font-style: italic;
        font-size: 90%;
        color: #666;
        background: transparent;
}

div.publication div.desc {
        color: black;
        background-color: transparent;
}

div.desc code {
        display: inline;
}

div.publication div.links {
	margin-top: 0.5ex;
        clear:both;
        color: #444444;
        background-color: transparent;
}

/* --- Navbar --------------------------------- */

div.nav {
	left: 0.6em;
	padding: 2ex 1ex 1ex 1ex;
	width: 7.4em;
	position: absolute;
	top: 55px;
	border-style: none;
}

div.nav dt {
	font-weight: bold;
	font-size: 90%;
}

div.nav dd {
	font-size: 80%;
	margin-left: .3ex;
	padding-left: 0px;
}

div.nav div.copyrights {
	font-size: 50%;
}