#site-index DIV.nav { margin-bottom: 10px; padding-bottom: 10px; border-bottom: 1px dotted #CCC; }
#site-index DIV.nav A { padding: 3px; font-weight: bold; }
#site-index DIV.nav SPAN { padding: 3px; }
#site-index DIV.nav SPAN.current { font-weight: bold; }