0136be694cfbe0f1d7f3c11c39bb90c19b28e95c
larrym
  Tue Sep 7 19:18:37 2010 -0700
set font-family for tabs div to fix problem where it was getting set to Arial (I think via jquery-ui.css)
diff --git src/hg/js/hgTracks.js src/hg/js/hgTracks.js
index b9e4758..fe29252 100644
--- src/hg/js/hgTracks.js
+++ src/hg/js/hgTracks.js
@@ -1266,6 +1266,7 @@
                         });
         $('#tabs').show();
         $("#tabs").tabs('option', 'selected', '#' + val);
+        $("#tabs").css('font-family', jQuery('body').css('font-family'));
         $('#simpleSearch').keydown(searchKeydown);
         $('#descSearch').keydown(searchKeydown);
         $('#nameSearch').keydown(searchKeydown);