twitter/bootstrap — pull request #5106 by uberspeck (2012-09-12 20:32:14+00:00)
Title: Add size options to pagination

Updated pagination to support .pagination-large, .pagination-small, .pagination-mini matching button sizes. Updated related docs.