A JavaScript table widget for large tabular data sets