div.searchResults dl {
    margin: 0;
    padding: 0;
}
div.searchResults dt {
    margin-top: 1em;
}
div.searchResults dt a {
    font-size: 150%;
}
div.searchResults dt a strong {
    font-size: 100%;
}
div.searchResults dd {
    margin: 0;
}
div.searchResults dd.url {
    color: #008b00;
}
div.searchResults dd.relevance {
    font-size: 90%;
}
div.searchResults div.pagesTop,
div.searchResults div.pagesBottom {
    margin-top: 1em;
    text-align: right;
    border-top: 1px solid #eee;
    font-size: 120%;
}
div.searchResults div.pagesTop,
div.searchResults div.pagesBottom {
    margin-top: 0;
    margin-bottom: 1em;
    border-top: none;
    border-bottom: 1px solid #eee;
}
div.searchResults div.pagesTop a,
div.searchResults div.pagesBottom a,
div.searchResults div.pagesTop strong,
div.searchResults div.pagesBottom strong {
    text-decoration: none;
    font-size: 100%;
}
div.searchResults div.pagesTop a:hover,
div.searchResults div.pagesBottom a:hover {
    text-decoration: underline;
}