/* global */

* {
    margin: 0px;
}

/* article */

div#article {
    padding: 1em;
    padding-top: 1.2em;
    padding-right: 1.7em;
    /* text-shadow: 1px 1px 1px #aaa; */
}

/* sidebar */

ul#navigation {
    padding: 0px;
}

ul#navigation li a {
    padding-left: 8px;
}

ul#navigation li ul {
    margin-top: 2px;
    padding: 0px;
}

ul#navigation li ul li {
    margin: 0em;

}

ul#navigation li ul li a {
    padding-left: 8px;
    margin-left: 8px;
    font-size: 10pt;
}

div#info {
    padding: 0 24px 24px 24px;
}

table#sprechzeiten_table td {
    padding: 0px;
    padding-top: 2px;
}