/* slow & ugly, but who cares? */
@import url(https://fonts.googleapis.com/css?family=Lato:400,400italic,700);

BODY
{
    font-family: "Lato", sans-serif;
    FONT-SIZE: 12pt;
}
P
{
    FONT-SIZE: 12pt;
    MARGIN-LEFT: 20px;
    MARGIN-RIGHT: 20px;
}
B
{
    FONT-SIZE: 12pt;
}
UL
{
    FONT-SIZE: 12pt;
}
OL
{
    FONT-SIZE: 12pt;
}
li
{
    FONT-SIZE: 12pt;
}
.head
{
    BACKGROUND-COLOR: #bbccee;
    FONT-SIZE: 14pt;
    FONT-WEIGHT: bold
}
.gelbhead
{
    FONT-SIZE: 14pt;
    FONT-WEIGHT: bold
}
.doc
{
    FONT-SIZE: 12pt;
}

A:hover
{
    COLOR: #193296;
    FONT-SIZE: 12pt;
    /*LINE-HEIGHT: 1;*/
    TEXT-DECORATION: none;
}
A:link
{
    COLOR: #193296;
    FONT-SIZE: 12pt;
    /*LINE-HEIGHT: 1;*/
    TEXT-DECORATION: none;
}
A:visited
{
    COLOR: #003060;
    FONT-SIZE: 12pt;
    /*LINE-HEIGHT: 1;*/
    TEXT-DECORATION: none;
}
A:unknown
{
    FONT-SIZE: 12pt;
}
TH
{
    FONT-SIZE: 12pt;
}
TD
{
    FONT-SIZE: 12pt;
}

H1
{
    FONT-SIZE: 18pt;
    COLOR:Navy;
    MARGIN-LEFT: 20px;
    MARGIN-RIGHT: 20px;
}
H2
{
    FONT-SIZE: 16pt;    
    MARGIN-LEFT: 20px;
    MARGIN-RIGHT: 20px;
}
H3
{
    MARGIN-LEFT: 20px;
    MARGIN-RIGHT: 20px;
}
H4
{
    MARGIN-LEFT: 20px;
    MARGIN-RIGHT: 20px;
}
DL
{
    FONT-SIZE: 12pt;
    MARGIN-LEFT: 20px;
    MARGIN-RIGHT: 20px;
    MARGIN-TOP: 0px;
    MARGIN-BOTTOM: 0px;
}
DT
{
    FONT-SIZE: 12pt;
    MARGIN-LEFT: 20px;
    MARGIN-RIGHT: 20px;
}
//DD
//{
//    CLEAR: right;
//    FONT-FAMILY: Helvetica, Arial, Swiss, SunSans-Regular;
//    FONT-SIZE: 12pt;
//    MARGIN-LEFT: 30px;
//    MARGIN-RIGHT: 20px;
//}
ADDRESS
{
    FONT-SIZE: 12pt;
    MARGIN-LEFT: 20px;
    MARGIN-RIGHT: 20px;
}

#lehrveranstaltungen > li {
    margin: 2ex 0;
}

.pubs > ul > li {
    margin-bottom: 0.3cm;
}

.pubs > ul {
    margin-bottom: 0.8cm;
}