span.smaller{
    font-size: 100%;
}

dl.articles dd p.lead, dl.articles dd dd.lead, dl.sections dd.lead, dl.column dd.lead {
    font-size:85%;
}

div #extra{
    padding-top:20px;
}

div.nav_cnt h1{
    margin-bottom:0;
}