Geografic-Information-System/man/parser_standard_options.js

$(document).ready(function() {
  $('#opts_table').fixedHeaderTable({footer: false, cloneHeadToFoot: true,
                                     fixedColumn: true});
});