anchor.diff:        li.dropdown
           - delete(params.page)
           a.more.dropdown-toggle(href=link_to(route, params), data-target="#", data-toggle='dropdown') ...
  -        form.dropdown-menu
  -          - var pgmpid = 'pgmid' + ~~(Math.random()*100000000);
  -          label.pgn-jump.input(for=pgmpid) Jump to:
  -          .input-append
  -            input.input-small(id=pgmpid, type='text', size='8', placeholder='Page number')
  -            button.btn.btn-inverse(type='button') Go!
  +        mixin _pagination_dropdown_menu
   
       //- left surrounding pages displayed if current page > 2
       - for (var i=PAGES_INTERVAL; i > 0; i--) {
  
positive.code:     li.dropdown
        - params.page = current
        a.current.dropdown-toggle(href=link_to(route, params), data-target="#", data-toggle='dropdown') #{current}
        form.dropdown-menu
          - var pgmpid = 'pgmid' + ~~(Math.random()*100000000);
          label.pgn-jump.input(for=pgmpid) Jump to:
          .input-append
            input.input-small(id=pgmpid, type='text', size='8', placeholder='Page number')
            button.btn.btn-inverse(type='button') Go!
  
      //- right surrounding pages displayed if current page < (bottom-1)
      - for (var i=1 ; i <= PAGES_INTERVAL; i++) {
  
negative.code:       li.dropdown
          - delete(params.page)
          a.more.dropdown-toggle(href=link_to(route, params), data-target="#", data-toggle='dropdown') ...
          mixin _pagination_dropdown_menu
  
      //- last page always displayed, except it's current one
      //- (then we skip last half of paginator)
  