div#search-results * {
    margin: 0;
    padding: 0;
}

div#search-results {
}

#search-results form#searchform {
    margin: 0 0 20px 0;
}

div.results {
    font-weight: bold;
}

div.result_title {
    font-size: 125%;
    border-bottom: 1px solid #ccc;
}

div.result_title a {
    font-size: 125%;
    color: #600;
    text-decoration: none;
}

div.result_title a:hover {
    color: #009;
}

div.context {
    font-size: 90%;
    letter-spacing: 2px;
}

span.highlight {
    text-decoration: underline;
    background: #ff0;
}