h1 {
    font-size: 100%;
    font-weight: bold;
}

h2 {
    margin: 10px;
    margin-bottom: 5px;
    font-weight: bold;
    font-size: 120%;
}

p.foot {
    padding: 5px;
    margin: 0px;
    margin-bottom: 5px;
    font-size: 100%;
    text-align: right;
    border-top: 1px solid #e2e2e2;
}

li h1 {
    display: inline;
}

div.fotoframe {
    float: right;
    padding: 5px;
    margin: 0px;
    background-color: black;
    height: 100%;
    background-color: #f2f2f2;
    border-left: 1px solid #e2e2e2;
    border-bottom: 1px solid #e2e2e2;
    margin-left: 10px;		
    font-size: 80%;
    font-style: italic;
    text-align: center;
}

div.abstract-title h1 {
    display: inline;
}


p.column {
    float: left;
    margin-top: 10px;
}

p {
    padding-left: 10px;
    padding-right: 10px;
}

table {
    padding-left: 0px;
}

img {
    border: 3px solid #e2e2e2;
    margin: 10px;
    -moz-border-radius: 5px;
    -webkit-border-radius: 5px;
    border-radius: 5px;
}

div.fotoframe img {
    margin: 5px;
}

img.langpic {
    border: 1px solid black;
    -moz-border-radius: 0px;
    -webkit-border-radius: 0px;
    margin: 0px;
    padding: 0px;
}

ul.publist li {
    margin-bottom: 1em;
    list-style-image: url(tri.gif);
}

.header {
    background-color: #FCBB06;
    border-bottom: 1px solid #dC9B00;
    padding: 5px;
    margin: 0px;
    font-size: 100%;
}

.header ul {
    margin-left: 0px;
    font-size: 100%;
}

ul {
    margin-right: 10px;
    margin-left: 10px;
}

dl {
    margin-left: 10px;
    margin-right: 10px;
}

ul.navi li {
    display: inline;
    font-size: 100%;
    padding-right: 1em;
}

ul.tree li.first {
    background-image: none;
    padding-left: 0em;
    margin-left: 0em;
}

ul.tree li {
    display: inline;
    background-image: url("tri.gif");
    background-repeat: no-repeat;
    background-position: 0 50%;
    padding-left: 1em;
    margin-left: 0.5em;
}

.abstract-title {
    font-size: 90%;
    padding: 5px;
    padding-left: 7px;
    background-color: #f2f2f2;
    -moz-border-radius: 5px;
    -webkit-border-radius: 5px;
    border-radius: 5px;
    border: 1px solid #e2e2e2;
}

div.abstract-title {		
    margin-left: 10px;
    margin-right: 235px;
    margin-top: 10px;

}

pre {
    margin-left: 10px;
    margin-right: 10px;
}


.ad {
    position: fixed;
    left: 720px;
    top: 3em;
    padding: 0em;
    border: 0;
}

body {
    padding: 0px;
    background-color: white;
    margin: 0px;
    text-align: left;
}

td {
    padding-left: 5px;
}