var SearchBox = {
  elem: function() { return document.getElementById('search-results'); },
  init_search: function() { this.content('Searching...'); },
  hide_results: function() { this.content(''); },
  content: function(html) { this.elem().innerHTML = html; }
};

Search.onSearchComplete(function(results, search_text) {
  var output = "";
  
  if (results.length == 0) {
    
    with(HTML) SearchBox.content(
      fieldset ({'class':'search-box'},
        legend ('Search Results'),
        a ({id:'hide-results', href:'javascript:SearchBox.hide_results();'},
          'Hide Results'
        ),
        p ( 
          "Nothing was found matching ", 
          b ("'", search_text, "'")
        )
      )
    );
  
  } else {
  
    var match_html = "";
    for(var i=0; i<results.length; i++) {
      var page = results[i];
      with(HTML) match_html += div (
        li ({'class':page.type}, 
          a ({href:page.url},
            page.title 
          ) //, " ",
          //span ( page.url, {style:'font-size:smaller; color:gray'})
        )
      );
    }
    
    with(HTML) SearchBox.content(
      fieldset ({'class':'search-box'},
        legend (
          'Search Results'
        ),
        a ({id:'hide-results', href:'javascript:SearchBox.hide_results();'},
          'Hide Results'
        ),
        p ( 
          results.length, 
          ' match', 
          (results.length>1 ? 'es' : ''),
          ' found for ', 
          b ("'", search_text, "'")
        ),
        ul ( match_html )
      )
    );
  }
});

Search.onFetchIndex(function(complete){ if(!complete) { SearchBox.init_search() } });



// CSS Browser Selector   v0.2.1b
// Documentation:         http://rafael.adm.br/css_browser_selector
// License:               http://creativecommons.org/licenses/by/2.5/
// Author:                Rafael Lima (http://rafael.adm.br)
// Contributors:          http://rafael.adm.br/css_browser_selector#contributors
// Additions:             M@ McCray - Added platform, and support for detecting 
//                                    when there is no javascript enabled
var css_browser_selector = function() {
	var 
		ua = navigator.userAgent.toLowerCase(),
		is = function(t){ return ua.indexOf(t) != -1; },
		h = document.getElementsByTagName('html')[0],
		c = (!(/opera|webtv/i.test(ua)) && /msie (\d)/.test(ua)) ? ((is('mac') ? 'ieMac ' : '') + 'ie ie' + RegExp.$1)
			: is('gecko/') ? 'gecko' : is('opera') ? 'opera' : is('konqueror') ? 'konqueror' : is('applewebkit/') ? 'webkit safari' : is('mozilla/') ? 'gecko' : 0;
		c += (is('x11') || is('linux')) ? " linux" : is('mac') ? ' mac' : is('win') ? ' windows' : '';
	h.className = h.className.replace('noscript', '');
	if (c) h.className += h.className ? ' ' + c : c;
}();