WeBWorK::HTML::ScrollingRecordList - HTML widget for a scrolling list of records.