added Pagination/KEY_STYLE_PAGE_SIZE_SELECT_NAME; updated generating
page size box string in Pagination/makeTableString(..);