/* Search Highlight */
span.highlight {
    color: #db7e17;
    /* background-color: yellow; */
    /* font-weight: bold; */
}