@CHARSET "ISO-8859-1";

#result_report { color: #386DA3; background-color: #CCE2F5; padding: 5px; }
#results { margin-top: 10px; }
#results div.url { font-style: italic; margin-top: 5px; }
#did_you_mean a, #results a, #other_pages a { color: #386DA3; }

#other_pages { color: #000; background-color: #CCE2F5; padding: 5px; }

#search-body-form .text { border: 1px solid #CCE2F5; padding: 3px; }
#search-body-form .submit { border: 2px outset #386DA3; background-color: #386DA3; color: white; padding: 2px; }