I've been trying LobsterPot HTML5 pivotviewer at http://data.oceandrilling.org/labs/html5pivot/

Is there some way to designate how may items show up in a facet box so that the div then presents a scrolling list?   Is this just setting a max height on a div in the CSS somewhere or is this in the js file?

Thanks much..  wonderful package!