3 function _(s) { return s } // dummy function for gettext
5 $(document).ready(function() {
7 $('#toplevelmenu').clickMenu();
8 $('#header_search').tabs({
10 $('#header_search').find('div:visible').find('input').eq(0).focus();
13 $(".close").click(function(){
19 // http://www.oreillynet.com/pub/a/javascript/2003/10/21/amazonhacks.html
20 function verify_patron_images() {
21 for (var i = 0; i < document.images.length; i++) {
22 img = document.images[i];
23 if ((img.src.indexOf('patronimages') >= 0)) {
26 if ((w == 0) && (h == 0) || ((img.complete != null) && (!img.complete))) {
27 img.src = '/intranet-tmpl/prog/img/patron-blank.png';