TableSorter (jQuery plugin) now used to sort the search result table.