#verzeichnisspager {
   font-size: 12px;
}


#verzeichniss td {
    font-size: 12px;
    line-height: 13px;
    padding: 10px 0 10px 10px;
    vertical-align: top;
    border-bottom: 1px dotted #aaaaaa;
}

#verzeichniss td.noborder {
    border: 0;
}


#verzeichniss {
    width: 518px;
    padding-left: 25px;
}
    * html #container #content #verzeichnis {margin-left: 21px;}

#verzeichnissuche {
    margin-left: 24px;
}

#verzeichnissindex {
    margin: 15px 0 20px 25px;
    font-size: 11px;
}