제 홈에선 잘 되고 있는지라, 신경 안쓰고 있다가...
//  <-- 이거 안된다는 분이 사방팔방에다가 안된다는 글을 남겨... 잠깐 만져 보았습니다.

참고로 구글에서도 // 검색은 안되더군요.

gnuboard.lib.php 의 밑에 펑션을 찾습니다. (약 29 라인쯤)

-----------------------------------------------
// set_search_font(), get_search_font() 함수를 search_font() 함수로 대체
function search_font($stext, $str)
-----------------------------------------------

위 펑션부분이 나오면 밑의 소스로 그 펑션을 바꿉니다.


//-----------소스 시작-------------------------------------
// set_search_font(), get_search_font() 함수를 search_font() 함수로 대체
function search_font($stext, $str)
{
    global $default;

    // 검색어 전체를 공란으로 나눈다
    $s = explode(" ", $stext);
    // "/(검색1|검색2)/i" 와 같은 패턴을 만듬
    $pattern = "";
    $bar = "";
   
    for ($m=0; $m<count($s); $m++) {
        $pattern .= $bar . quotemeta($s[$m]);
        $bar = "|";
    }
    $pattern = "/($pattern)/i";
    if (eregi("/", $pattern)) {
      $pattern = str_replace("/", "", $pattern);
      } else {
      $pattern = $pattern; 
    // 지정된 검색 폰트의 색상, 배경색상으로 대체
    $replace = "<span style='background-color:$default[de_search_bgcolor]; color:$default[de_search_color];'>\\1</span>";
      }
    return preg_replace($pattern, $replace, $str);
}
//----------여기 까지--------------------------------------





ps.. 완벽하게 처리 되는것은 아닙니다만,
      담부터 이리저리 안된다고 글 남기지 말아 주세요.