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 {
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;
}