/* option with no margin */
.pagination.pagination-no-margin {
    margin-top: 0;
    margin-bottom: 0;
}